-----2
1. Alsina-Jurnet, I., Gutirrez-Maldonado, J.: Influence of personality and individual abilities on the sense of presence experienced in anxiety triggering virtual environ- ments. International Journal of Human-Computer Studies 68(10), 788801 (2010) 
2. Beale, R., Creed, C.: Affective interaction: How emotional agents affect users. In- ternational Journal of Human-Computer Studies 67(9), 755776 (2009) 
3. Dodds, T.J., Mohler, B.J., Blthoff, H.H.: Talk to the Virtual Hands: Self- Animated Avatars Improve Communication in Head-Mounted Display Virtual En- vironments. PLoS ONE 6(10), e25759 (2011) 
4. Hudlicka, E.: To feel or not to feel: The role of affect in human-computer interac- tion. International Journal of Human-Computer Studies 59(1-2), 132 (2003) 
5. Jaimes, A., Sebe, N.: Multimodal human-computer interaction: A survey. Com- puter Vision and Image Understanding 108(1-2), 116134 (2007) 
6. Lin, H., Pan, F., Wang, Y.: Affective Computing in E-learning, E-learning, pp.118128. InTech (2010) ISBN 978-953-7619-95-4 
7. Palmer, S., Cooper, C., Thomas, K.: Creating a Balance: Managing Stress. British Library, London (2003) 
8. Picard, R.W.: Affective Computing. The MIT Press (2000) 
9. Rodrigues, M., Fdez-Riverola, F., Novais, P.: Moodle and Affective Computing - Knowing Whos on the Other Side. In: ECEL 2011 - 10th European Conference on E-learning, Brighton, UK, pp. 678685 (2011); ISBN: 978-1-908272-22-5 
10. Shen, L., Wang, M., Shen, R.: Affective e-Learning: Using "Emotional" Data to Improve Learning in Pervasive Learning Environment. Educational Technology & Society 12(2), 176189 (2009) 
-----2
1. Buyya, R., Yeo, C.S., Venugopal, S.: Market-oriented cloud computing: Vision, hype, and   reality for delivering it services as computing utilities. In: 10th IEEE International Conference  on High Performance Computing and Communications, HPCC 2008, pp. 513. IEEE   (September 2008)  
2. Peng, J., Zhang, X., Lei, Z., Zhang, B., Zhang, W., Li, Q.: Comparison of several cloud  computing platforms. In: 2nd International Symposium on Information Science and Engi- neering, ISISE 2009, pp. 2327. IEEE Computer Society (2009)  
3. Mell, P., Grance, T.: The Nist Definition of Cloud Computing. In: NIST Special Publica- tion 00-145, pp. 13. NIST (2011)  
4. Heras, S., De la Prieta, F., Julian, V., Rodrguez, S., Botti, V., Bajo, J., Corchado, J.M.:  Agreement technologies and their use in cloud computing environments. Progress in Ar- tificial Intelligence 1(4), 277290 (2012)  
5. De la Prieta, F., Rodrguez, S., Bajo, J., Corchado, J.M.: A multiagent system for resource  distribution into a Cloud Computing environment. In: Demazeau, Y., Ishida, T., Corchado,  J.M., Bajo, J. (eds.) PAAMS 2013. LNCS, vol. 7879, pp. 3748. Springer, Heidelberg  (2013)  
-----2
1. Bishop, C.M.: Neural Networks for Pattern Recognition. Oxford University Press (1995)  
2. Cai, M., Yin, Y., Xie, M.: Prediction of hourly air pollutant concentrations near urban arte- rials using artificial neural network approach. Transportation Research Part D: Transport  and Environment 14, 3241 (2009)  
3. Chan, K.Y., Jian, L.: Identification of significant factors for air pollution levels using a  neural network based knowledge discovery system. Neurocomputing 99, 564569 (2013)  
4. Cybenko, G.: Aproximation by superpositios of a sigmoidal function. Math. Control Sig- nals System 2, 303314 (1989)  
5. Directive 2008/50/EC: European Parliament and of the Council of 21 May 2008 on am- bient air quality and cleaner air for Europe entered into force on 11June 2008  
6. Haykin, S.: Neural Networks and Learning Machines, 3rd edn. Prentice Hall (2009)   Application of ANN to Predict the Impact of Traffic Emissions on Human Health 29    
7. Ibarra-Berastegi, G., Elias, A., Barona, A., Saenz, J., Ezcurra, A., Argandona, J.D.: From  diagnosis to prognosis for forecasting air pollution using neural networks: Air pollution  monitoring in Bilbao. Environmental Modelling & Software 23, 622637 (2008)  
8. Marques de S, J., Silva, L.M., Santos, J.M., Alexandre, L.A.: Minimum Error Entropy  Classification. SCI, vol. 420. Springer (2012)  
9. MathWorks, MATLAB and Statistics Toolbox Release 2012, The MathWorks, Inc., Na- tick, Massachusetts, United States (2012)  
10. Matsuoka, K., Yi, J.: Backpropagation based on the logarithmic error function and elimi- nation of local minima. In: Proceedings of the 1990 IEEE International Joint Conference  on Neural Networks (1991)  
11. Nagendra, S.S.M., Khare, M.: Modelling urban air quality using artificial neural network.  Clean Techn. Environ. Policy 7, 116126 (2005)  
12. Slini, T., Kaprara, A., Karatzas, K., Moussiopoulos, N.: PM10 forecasting for Thessaloni- ki, Greece. Environmental Modelling & Software 21, 559565 (2006)  
13. Solla, S., Levin, E., Fleisher, M.: Accelerated learning in layered neural networks. Com- plex Systems 2(6), 625639 (1988)  
14. Viotti, P., Liuti, G., Di, P.: Atmospheric urban pollution: applications of an artificial neural  network (ANN) to the city of Perugia. Ecological Modelling 148, 2746 (2002)  
15. Voukantsis, D., Karatzas, K., Kukkonen, J., Rasanen, T., Karppinen, A., Kolehmainen, M.:  Intercomparison of air quality data using principal component analysis, and forecasting of  PM10 and PM2.5 concentrations using artificial neural networks. Thessaloniki and Hel- sinki, Science of The Total Environment 409, 12661276 (2011)  
16. Zolghadri, A., Cazaurang, F.: Adaptive nonlinear state-space modeling for the prediction  of daily mean PM10 concentrations. Environmental Modelling & Software 21, 885894  (2006)  
17. WMO, Guide to meteorological instruments and methods of observation, 6th edn., World  Meteorological Organization, No. 8 (1996)  
-----2
1. Swedberg, C.: SF Uses Wireless Sensors to Help Manage Parking. RFID Journal (2007)  
2. Degerman, P., Pohl, J., Sethson, M.: Hough transform for parking space estimation using  long range ultrasonic sensors. SAE Paper. Document Number: 2006-01-0810 (2006)  
3. Satonaka, H., Okuda, M., Hayasaka, S., Endo, T., Tanaka, Y., Yoshida, T.: Development  of parking space detection using an ultrasonic sensor. In: 13th World Congress on Intelli- gent Transportation Systems and Services (2006)  
4. Jung, H.G., Cho, Y.H., Yoon, P.J., Kim, J.: Integrated side/rear safety system. In: 11th Eu- ropean Automotive Congress (2007)  
5. Schanz, A., Spieker, A., Kuhnert, D.: Autonomous parking in subterranean garages: a look  at the position estimation. In: IEEE Intelligent Vehicle Symposium, pp. 253258 (2003)  
6. Gorner, S., Rohling, H.: Parking lot detection with 24 GHz radar sensor. In: 3rd Interna- tional Workshop on Intelligent Transportation (2006)  
7. Foresti, G.L., Micheloni, C., Snidaro, L.: Event classification for automatic visual-based  surveillance of parking lots. In: 17th International Conference on Pattern Recognition,  vol. 3, pp. 314317 (2004)  
8. Wang, X.G., Hanson, A.R.: Parking lot analysis and visualization from aerial images. In:  4th IEEE Workshop Applications of Computer Vision, pp. 3641 (1998)   Outdoor Vacant Parking Space Detector for Improving Mobility in Smart Cities 41    
9. Lee, C.H., Wen, M.G., Han, C.C., Kou, D.C.: An automatic monitoring approach for un- supervised parking lots in outdoors. In: 39th Annual International Carnahan Conference,  pp. 271274 (2005)  
10. Masaki, I.: Machine-vision systems for intelligent transportation systems. In: IEEE Confe- rence on Intelligent Transportation System, vol. 13(6), pp. 2431 (1998)  
11. Dan, N.: Parking management system and method. US Patent, Pub. No.: 20030144890A1  (2003)  
12. Pecharromn, A., Snchez, N., Torres, J., Menndez, J.M.: Real-Time Incidents Detection  in the Highways of the Future. In: 15th Portuguese Conference on Artificial Intelligence,  EPIA 2011, Lisbon, pp. 108121 (2011)  
13. Chen, L., Hsieh, J., Lai, W., Wu, C., Chen, S.: Vision-Based Vehicle Surveillance and  Parking Lot Management Using Multiple Cameras. In: 6th International Conference on In- telligent Information Hiding and Multimedia Signal Processing, Washington, DC, pp.  631634 (2010)  
14. True, N.: Vacant Parking Space Detection in Static Images, Projects in Vision & Learning,  University of California (2007)  
15. SFPark project, http://sfpark.org/ (accessed May 2013)  
16. SiPark SSD car park guidance system, Siemens AG (2011)   
17. IdentiPark, Nortech Internacional (2013)  
18. Kang, S.B., Weiss, R.: Can We Calibrate a Camera Using an Image of a Flat, Textureless  Lambertian Surface? In: Vernon, D. (ed.) ECCV 2000, Part II. LNCS, vol. 1843, pp. 640 653. Springer, Heidelberg (2000)  
19. Torres, J., Menendez, J.M.: A practical algorithm to correct geometrical distortion of im- age acquisition cameras. In: IEEE International Conference on Image Processing, vol. 4,  pp. 24512454 (2004)  
20. Brown, D.C.: Decentering distortion of lenses. In: Photogrommetric Eng. Remore Sensing,  pp. 444462 (1966)  
21. Zhang, Z.: A flexible new technique for camera calibration. IEEE Transactions on Pattern  Analysis and Machine Intelligence 22(11), 13301334 (2000)  
22. Faugeras, O.D., Luong, Q.-T., Maybank, S.J.: Camera Self-Calibration: Theory and Expe- riments. In: 2nd European Conference on Computer Vision, pp. 321334. Springer, Lon- don (1992)  
23. Hartley, R., Zisserman, A.: Multiple View Geometry in computer vision. Cambridge Uni- versity Press, Cambridge (2003)  
24. Bosch, A., Zisserman, A., Munoz, X.: Representing shape with a spatial pyramid kernel.  In: 6th ACM International Conference on Image and Video Retrieval, pp. 401408. ACM,  New York (2007)  
25. Frstner, W., Moonen, B.: A metric for covariance matrices. Technical Report, Depart- ment of Geodesy and Geoinformatics, Stuttgart University (1999)  
-----2
1. Wardrop, J.G.: Some theoretical aspects of road traffic research. Proceedings of the Institute of Civil Engineers 1, 325362 (1952) 
2. Koutsoupias, E., Papadimitriou, C.: Worst-case equilibria. In: Meinel, C., Tison, S. (eds.) STACS 1999. LNCS, vol. 1563, pp. 404413. Springer, Heidelberg (1999) 
3. Papadimitriou, C.H.: Algorithms, games, and the internet. In: Proc. of the 33rd ACM Symp. on Theory of Computing (STOC), pp. 749753. ACM Press (2001) 
4. Roughgarden, T., Tardos, E.: How bad is selfish routing? J. ACM 49, 236259 (2002) 
5. Braess, D.: Uber ein Paradoxon aus der Verkehrsplanung. Un- ternehmensforschung 12, 258 (1968) 
6. Fudenberg, D., Levine, D.K.: The Theory of Learning in Games. The MIT Press (1998) 
7. Borgers, T., Sarin, R.: Learning through reinforcement and replicator dynamics.Journal of Economic Theory 77, 114 (1997) 
8. Tuyls, K., Hoen, P.J., Vanschoenwinkel, B.: An evolutionary dynamical analysis of multi-agent learning in iterated games. Autonomous Agents and Multiagent Systems 12, 115153 (2006) 
9. Claus, C., Boutilier, C.: The dynamics of reinforcement learning in cooperative multiagent systems. In: Proceedings of the Fifteenth National Conference on Ar- tificial Intelligence, pp. 746752 (1998) 
10. Panait, L., Luke, S.: Cooperative multi-agent learning: The state of the art. Au- tonomous Agents and Multi-Agent Systems 11, 387434 (2005) 
11. Shoham, Y., Powers, R., Grenager, T.: If multi-agent learning is the answer, what is the question? Artificial Intelligence 171, 365377 (2007) 
12. Webb, J.N.: Game Theory  Decisions, Interaction and Evolution. Springer, Lon- don (2007) 
-----2
1. Rosenblatt, F.: The perceptron: a probabilistic model for information storage and organization in the brain. Psychological Review 65(6), 386 (1958) 
2. Schaller, B.: Entry controls in taxi regulation: Implications of us and canadian experience for taxi regulation and deregulation. Transport Policy 14(6), 490506 (2007) 
3. Wong, K., Wong, S., Bell, M., Yang, H.: Modeling the bilateral micro-searching be- havior for urban taxi services using the absorbing markov chain approach. Journal of Advanced Transportation 39(1), 81104 (2005) 
4. Moreira-Matias, L., Gama, J., Ferreira, M., Mendes-Moreira, J., Damas, L.: Online predictive model for taxi services. In: Hollmen, J., Klawonn, F., Tucker, A. (eds.) IDA 2012. LNCS, vol. 7619, pp. 230240. Springer, Heidelberg (2012) 
5. Yuan, J., Zheng, Y., Zhang, C., Xie, W., Xie, X., Sun, G., Huang, Y.: T-drive: driving directions based on taxi trajectories. In: Proceedings of the 18th SIGSPA- TIAL International Conference on Advances in Geographic Information Systems, pp. 99108. ACM (2010) On Predicting the Taxi-Passenger Demand: A Real-Time Approach 65 
6. Deng, Z., Ji, M.: Spatiotemporal structure of taxi services in Shanghai: Using ex- ploratory spatial data analysis. In: 2011 19th International Conference on Geoin- formatics, pp. 15. IEEE (2011) 
7. Liu, L., Andris, C., Biderman, A., Ratti, C.: Uncovering taxi drivers mobility intelligence through his trace. IEEE Pervasive Computing 160, 117 (2009) 
8. Yue, Y., Zhuang, Y., Li, Q., Mao, Q.: Mining time-dependent attractive areas and movement patterns from taxi trajectory data. In: 2009 17th International Conference on Geoinformatics, pp. 16. IEEE (2009) 
9. Li, B., Zhang, D., Sun, L., Chen, C., Li, S., Qi, G., Yang, Q.: Hunting or waiting? Discovering passenger-finding strategies from a large-scale real-world taxi dataset.In: 2011 IEEE International Conference on Pervasive Computing and Communi- cations Workshops (PERCOM Workshops), pp. 6368 (March 2011) 
10. Lee, J., Shin, I., Park, G.: Analysis of the passenger pick-up pattern for taxi location recommendation. In: Fourth International Conference on Networked Computing and Advanced Information Management (NCM 2008), pp. 199204. IEEE (2008) 
11. Moreira-Matias, L., Gama, J., Ferreira, M., Damas, L.: A predictive model for the passenger demand on a taxi network. In: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC), pp. 10141019 (2012) 
12. Cryer, J., Chan, K.: Time Series Analysis with Applications in R. Springer, USA (2008) 
13. Ihler, A., Hutchins, J., Smyth, P.: Adaptive event detection with time-varying pois- son processes. In: Proceedings of the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 207216. ACM (2006) 
14. Burke, E., Hyde, M., Kendall, G., Ochoa, G., Ozcan, E., Woodward, J.: A classi- fication of hyper-heuristic approaches. In: Handbook of Metaheuristics, vol. 146, pp. 449468. Springer, US (2010) 
15. Chalup, S.: Incremental learning in biological and machine learning systems. In- ternational Journal of Neural Systems 12(06), 447465 (2002) 
16. Huang, G.B., Zhu, Q.Y., Siew, C.K.: Real-time learning capability of neural net- works. IEEE Transactions on Neural Networks 17(4), 863878 (2006) 
17. Holt, C.: Forecasting seasonals and trends by exponentially weighted moving av- erages. International Journal of Forecasting 20(1), 510 (2004) 
18. Wang, H., Fan, W., Yu, P., Han, J.: Mining concept-drifting data streams using ensemble classifiers. In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 226235. ACM (2003) 
19. Gama, J., Pinto, C.: Discretization from data streams: applications to histograms and data mining. In: Proceedings of the 2006 ACM Symposium on Applied Com- puting, pp. 662667. ACM (2006) 
20. R Core Team: R: A Language and Environment for Statistical Computing. R Foun- dation for Statistical Computing, Vienna, Austria (2012) 
21. Makridakis, S., Hibon, M.: The m3-competition: results, conclusions and implica- tions. International Journal of Forecasting 16(4), 451476 (2000) 
22. Jaynes, E.: Probability theory: The logic of science. Cambridge University Press (2003) 
-----2
1. Shao, W., Terzopoulos, D.: Populating reconstructed archaeological sites with autonomous virtual humans. In: Gratch, J., Young, M., Aylett, R. (eds.) IVA 2006. LNCS (LNAI), vol. 4133, pp. 420433. Springer, Heidelberg (2006) 
2. Huerre, S.: Agent-based crowd simulation tool for theme park environments. In: 23rd Inter.Conf. on Comp. Anim. and Social Agents (CASA), St-Malo, France (2010) An Ecosystem Based Model for Real-Time Generative Animation of Humanoid NPCs 77 
3. Electronic Arts: The Sims, http://gb.thesims3.com/ 
4. Rockstar Games: Grand Theft Auto 5., http://www.rockstargames.com/ grandtheftauto/ 
5. Helbing, D.: A Fluid Dynamic Model for the Movement of Pedestrians. Complex Systems 6, 391415 (1992) 
6. Banerjee, B., Abukmail, A., Kraemer, L.: Advancing the layered approach to agent-based crowd simulation. In: Wksh on Princip. Adv. and Distrib. Simul. (PADS), pp. 185192 (2008) 
7. Reynolds, C.W.: Flocks, Herds and Schools: A Distributed Behavioral Model. ACM SIG- GRAPH Comp. Graphics 21(4), 2534 (1987) 
8. Ahn, J., Wohn, K., Oh, S.: Optimized Solution Simplification for Crowd Anim. Comp. Anim.and Virtual Worlds 17, 155165 (2006) 
9. Durupinar, F., Allbeck, J., Pelechano, N., Badler, N.: Creating Crowd Variation with the OCEAN Personality Model. In: Proc. of the 7th Inter. Joint Conf. on Autonomous Agents and Multiagent Syst., pp. 12171220 (2008) 
10. Pelechano, N., Stocker, C., Allbeck, J., Badler, N.: Being a Part of the Crowd: Towards Validating VR Crowds Using Presence. In: Proc. Auton. Agents and Multiagent Systems (AAMAS), pp. 136142. ACM Press (2008) 
11. Pelechano, N.: Virtual Crowds: Methods, Simulation, and Control. Synth. Lect. on Comp.Graphics and Anim. Morgan and Claypool Publish. (2008) 
12. Thalmann, D., Musse, S.: Crowd Simulation. Springer (2007) 
13. Antunes, R.F.: Where is Loureno Marques?: A Mosaic of Voices in a 3D Virtual World.Leonardo Electronic Almanac 18 (Touch and Go) (3), 114121 (2012) 
14. Dorin, A.: Pandemic - Generat. Software Installation, Exhib.: Bouillants 4, Vern-sur-Seiche, Brittany, France, G., Allin, L. Dupuis (artistic dir.) (April 22-May 20 2012) 
15. Eldridge, A., Dorin, A.: Filterscape: Energy recycling in a creative ecosystem. In: Giacobini, M., Brabazon, A., Cagnoni, S., Di Caro, G.A., Ekrt, A., Esparcia-Alczar, A.I., Farooq, M., Fink, A., Machado, P. (eds.) EvoWorkshops 2009. LNCS, vol. 5484, pp. 508517. Springer, Heidelberg (2009) 
16. Antunes, R.F., Leymarie, F.F.: Generative choreography: Animating in real-time dancing avatars. In: Machado, P., Romero, J., Carballal, A. (eds.) EvoMUSART 2012. LNCS, vol. 7247, pp. 110. Springer, Heidelberg (2012) 
17. Jones, D.: AtomSwarm: A framework for swarm improvisation. In: Giacobini, M., Brabazon, A., Cagnoni, S., Di Caro, G.A., Drechsler, R., Ekrt, A., Esparcia-Alczar, A.I., Farooq, M., Fink, A., McCormack, J., ONeill, M., Romero, J., Rothlauf, F., Squillero, G., Uyar, A.S., Yang, S. (eds.) EvoWorkshops 2008. LNCS, vol. 4974, pp. 423432. Springer, Heidelberg (2008) 
18. Saruwatari, T., Toqunaga, Y., Hoshino, T.: ADIVERSITY: Stepping Up Trophic Levels. In: Brooks, R.A., Maes, P. (eds.) Proc. of the 4th Inter. Workshop on the Synthesis and Simul.of Living Systems, pp. 424429 (1994) 
19. Holland, J.: Hidden Order: How Adaptation Builds Complexity. Helix Books (1996) 
20. Forrest, S., Jones, T.: Modeling Complex Adaptive Syst. with Echo. In: Stonier, R., Yu, X.(eds.) Complex Systems: Mechanisms of Adapt., pp. 321. IOS Press (1994) 
21. McCormack, J.: Eden: An evolutionary sonic ecosystem. In: Kelemen, J., Sosk, P. (eds.) ECAL 2001. LNCS (LNAI), vol. 2159, pp. 133142. Springer, Heidelberg (2001) 
22. Petty, M., McKenzie, F., Gaskins, R.: Requirements, Psychological Models and Design Is- sues in Crowd Modelling for Military Simul. In: Proc. of the Huntsville Simul. Conf. (2003) 
23. Bentley, P., Corne, D.: Creative Evol. Systems. Academic Press (2002) 
24. Whitelaw, M.: Metacreation: Art and Artificial Life. MIT Press (2004) 
25. Wakefield, G., Ji, H(H.): Artificial Nature: Immersive World Making. In: Giacobini, M., et al. (eds.) EvoWorkshops 2009. LNCS, vol. 5484, pp. 597602. Springer, Heidelberg (2009) 
-----2
1. Beadle, L., Johnson, C.: Semantically driven crossover in genetic programming. In: Proc. of the IEEE World Congress on Comput. Intelligence, pp. 111116. IEEE Press (2008) 
2. Capodanno, D., Angiolillo, D.J.: Antithrombotic therapy in the elderly. Journal of the Amer- ican College of Cardiology 56(21), 16831692 (2010) 
3. Anderson Jr., F.A., Wheeler, H.B., Goldberg, R.J., et al.: A population-based perspective of the hospital incidence and case-fatality rates of deep vein thrombosis and pulmonary em- bolism: The worcester dvt study. Archives of Internal Medicine 151(5), 933938 (1991) 
4. Fang, M.C., Chen, J., Rich, M.W.: Atrial fibrillation in the elderly. Am. J. Med. 120(6), 481 487 (2007) 
5. Fang, M.C., Machtinger, E.L., Wang, F., Schillinger, D.: Health literacy and anticoagulation- related outcomes among patients taking warfarin. J. Gen. Intern. Med. 21(8), 841846 (2006) 
6. Jowett, S., Bryan, S., Poller, L., Van Den Besselaar, A.M.H.P., Van Der Meer, F.J.M., Palareti, G., Shiach, C., Tripodi, A., Keown, M., Ibrahim, S., Lowe, G., Moia, M., Turpie, A.G., Jespersen, J.: The cost-effectiveness of computer-assisted anticoagulant dosage: results from the European action on anticoagulation (eaa) multicentre study. J. Thromb. Haemost. 7(9), 14821490 (2009) 
7. Klein, T.E., Altman, R.B., Eriksson, N., Gage, B.F., Kimmel, S.E., Lee, M.-T.M., Limdi, N.A., Page, D., Roden, D.M., Wagner, M.J., Caldwell, M.D., Johnson, J.A.: Estimation of the dose with clinical and pharmacogenetic data. New England Journal of Medicine 360(8), 753764 (2009) 
8. Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992) 
9. Krawiec, K.: Medial crossovers for genetic programming. In: Moraglio, A., Silva, S., Kraw- iec, K., Machado, P., Cotta, C. (eds.) EuroGP 2012. LNCS, vol. 7244, pp. 6172. Springer, Heidelberg (2012) 
10. Krawiec, K., Lichocki, P.: Approximating geometric crossover in semantic space. In: GECCO 2009, July 8-12, pp. 987994. ACM (2009) 
11. Leichsenring, I., Plesch, W., Unkrig, V., Kitchen, S., Kitchen, D.P., Maclean, R., Dikkeschei, B., van den Besselaar, A.M.H.P.: Multicentre isi assignment and calibration of the inr mea- suring range of a new point-of-care system designed for home monitoring of oral anticoagu- lation therapy. Thromb. Haemost. 97(5), 856861 (2007) 
12. Martin, B., Filipovic, M., Rennie, L., Shaw, D.: Using machine learning to prescribe warfarin.In: Dicheva, D., Dochev, D. (eds.) AIMSA 2010. LNCS, vol. 6304, pp. 151160. Springer, Heidelberg (2010) 
13. McPhee, N.F., Ohs, B., Hutchison, T.: Semantic building blocks in genetic programming. In: ONeill, M., Vanneschi, L., Gustafson, S., Esparcia Alcazar, A.I., De Falco, I., Della Cioppa, A., Tarantino, E. (eds.) EuroGP 2008. LNCS, vol. 4971, pp. 134145. Springer, Heidelberg (2008) 
14. Miners, J.O., Birkett, D.J.: Cytochrome p4502c9: an enzyme of major importance in human drug metabolism. British Journal of Clinical Pharmacology 45(6), 525538 (1998) 
15. Moraglio, A., Krawiec, K., Johnson, C.G.: Geometric semantic genetic programming. In: Coello, C.A.C., Cutello, V., Deb, K., Forrest, S., Nicosia, G., Pavone, M. (eds.) PPSN 2012, Part I. LNCS, vol. 7491, pp. 2131. Springer, Heidelberg (2012) 
16. Ryan, P.J., Gilbert, M., Rose, P.E.: Computer control of anticoagulant dose for therapeutic management. BMJ 299(6709), 12071209 (1989) 
-----2
1. Floreano, D., Keller, L.: Evolution of adaptive behaviour by means of Darwinian selection. PLoS Biology 8(1), e1000292 (2010) 
2. Floreano, D., Durr, P., Mattiussi, C.: Neuroevolution: from architectures to learn- ing. Evolutionary Intelligence 1(1), 4762 (2008) 
3. Watson, R., Ficici, S., Pollack, J.: Embodied evolution: Distributing an evolution- ary algorithm in a population of robots. Robotics and Autonomous Systems 39(1), 118 (2002) 
4. Silva, F., Urbano, P., Oliveira, S., Christensen, A.L.: odNEAT: An algorithm for distributed online, onboard evolution of robot behaviours. In: 13th International Conference on Simulation & Synthesis of Living Systems, pp. 251258. MIT Press, Cambridge (2012) 
5. McCulloch, W., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biology 5(4), 115133 (1943) 
6. Koch, C.: Biophysics of computation: information processing in single neurons.Oxford Univ. Press, Oxford (2004) 
7. Cazenille, L., Bredeche, N., Hamann, H., Stradner, J.: Impact of neuron models and network structure on evolving modular robot neural network controllers. In: 14th Genetic and Evolutionary Computation Conference, pp. 8996. ACM Press, New York (2012) 
8. Durbin, R., Rumelhart, D.E.: Product units: A computationally powerful and biologically plausible extension to backpropagation networks. Neural Computa- tion 1(1), 133142 (1989) 
9. Schmitt, M.: On the complexity of computing and learning with multiplicative neural networks. Neural Computation 14(2), 241301 (2002) 
10. Mondada, F., Bonani, M., Raemy, X., Pugh, J., Cianci, C., Klaptocz, A., Magne- nat, S., Zufferey, J., Floreano, D., Martinoli, A.: The e-puck, a robot designed for education in engineering. In: 9th Conference on Autonomous Robot Systems and Competitions, IPCB, Castelo Branco, Portugal, pp. 5965 (2009) 
11. Floreano, D., Schoeni, N., Caprari, G., Blynel, J.: Evolutionary bits n spikes. In: 8th International Conference on Simulation & Synthesis of Living Systems, pp.335344. MIT Press, Cambridge (2003) 
12. Mouret, J., Doncieux, S.: Encouraging behavioral diversity in evolutionary robotics: An empirical study. Evolutionary Computation 20(1), 91133 (2012) 
13. Fisher, R.: Statistical Methods for Research Workers. Oliver & Boyd, Edinburgh (1925) 
14. Sammon Jr., J.: A nonlinear mapping for data structure analysis. IEEE Transac- tions on Computers C-18(5), 401409 (1969) 
-----2
1. Eiben, A.E., Smith, J.E.: Introduction to Evolutionary Computing. Springer, Hei- delberg (2003) 
2. ONeill, M., Ryan, C.: Grammatical Evolution: Evolutionary Automatic Program- ming in a Arbitrary Language. In: Genetic Programming. Kluwer Academic Pub- lishers (2003) 
3. Miller, J.F.: Cartesian Genetic Programming. Natural Computing Series. Springer (2011) 
4. Ferreira, C.: Gene Expression Programming, 2nd edn. Springer (2006) 
5. Lones, M.A., Tyrrell, A.M.: Biomimetic representation with genetic programming enzyme. Genetic Programming and Evolvable Machines 3(1), 193217 (2002) 
6. Banzhaf, W.: Artificial regulatory networks and genetic programming. In: Riolo, R.L., Worzel, B. (eds.) Genetic Programming Theory and Practice, ch. 4, pp. 43 62. Kluwer (2003) 
7. Banzhaf, W., Beslon, G., Christensen, S., Foster, J., Kepe`s, F., Lefort, V., Miller, J., Radman, M., Ramsden, J.: From artificial evolution to computational evolution: a research agenda. Nature Reviews Genetics 7(9), 729735 (2006) 
8. Dwight Kuo, P., Banzhaf, W., Leier, A.: Network topology and the evolution of dynamics in an artificial genetic regulatory network model created by whole genome duplication and divergence. Bio Systems 85(3), 177200 (2006) 
9. Nicolau, M., Schoenauer, M., Banzhaf, W.: Evolving Genes to Balance a Pole. In: Esparcia-Alcazar, A.I., Ekart, A., Silva, S., Dignum, S., Uyar, A.S. (eds.) EuroGP 2010. LNCS, vol. 6021, pp. 196207. Springer, Heidelberg (2010) 
10. Lopes, R.L., Costa, E.: The Regulatory Network Computational Device. Genetic Programming and Evolvable Machines 13(3), 339375 (2012) 
11. McDermott, J., White, D.R., Luke, S., Manzoni, L., Castelli, M., Vanneschi, L., Jaskowski, W., Krawiec, K., Harper, R., De Jong, K.: Genetic programming needs better benchmarks. In: Proceedings of the Fourteenth International Conference on Genetic and Evolutionary Computation Conference, pp. 791798 (2012) 
12. White, D.R., McDermott, J., Castelli, M., Manzoni, L., Goldman, B.W., Kron- berger, G., Jaskowski, W., OReilly, U.M., Luke, S.: Better GP benchmarks: com- munity survey results and proposals. Genetic Programming and Evolvable Ma- chines (December 2012) 
13. Streeter, M.J.: Automated Discovery of Numerical Approximation Formulae via Genetic Programming. Ph.D. thesis, Worcester Polytechnic Institute, Worcester Polytechnic Institute (April 2001) 
14. Keijzer, M.: Improving symbolic regression with interval arithmetic and linear scal- ing. In: Ryan, C., Soule, T., Keijzer, M., Tsang, E.P.K., Poli, R., Costa, E. (eds.) EuroGP 2003. LNCS, vol. 2610, pp. 275299. Springer, Heidelberg (2003) 
15. R Core Team: R: A Language and Environment for Statistical Com- puting. R Foundation for Statistical Computing, Vienna, Austria (2012), http://www.R-project.org 
16. Field, A., Hole, G.: How to design and report experiments. Sage Publications Lon- don (2003) 
-----2
1. Allen Institute for Brain Science: Allen Reference Atlases (2004-2006), http://mouse.brain-map.org 
2. Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems, Oxford (1999) GPU-Based Automatic Configuration of Differential Evolution 125 
3. Das, S., Suganthan, P.: Differential Evolution: A Survey of the State-of-the-Art.IEEE Transactions on Evolutionary Computation 15(1), 431 (2011) 
4. de Veronese, L., Krohling, R.: Swarms flight: Accelerating the particles using C- CUDA. In: Proc. IEEE Congress on Evolutionary Computation, pp. 32643270 (2009) 
5. de Veronese, L., Krohling, R.: Differential evolution algorithm on the GPU with C-CUDA. In: Proc. IEEE Congress on Evolutionary Computation, pp. 17 (2010) 
6. Eiben, A.E., Smit, S.K.: Parameter tuning for configuring and analyzing evolution- ary algorithms. Swarm and Evolutionary Computation 1(1), 1931 (2011) 
7. Eiben, A.E., Smith, J.E.: Introduction to Evolutionary Computing. Springer (2003) 
8. Grefenstette, J.: Optimization of control parameters for genetic algorithms. IEEE Trans. Syst. Man Cybern. 16(1), 122128 (1986) 
9. Kennedy, J., Eberhart, R.: Particle Swarm Optimization. In: Proc. IEEE Interna- tional Conference on Neural Networks, vol. 4, pp. 19421948 (1995) 
10. Kromer, P., Sn?as?el, V., Platos?, J., Abraham, A.: Many-threaded implementation of differential evolution for the CUDA platform. In: Proc. of Genetic and Evolutionary Computation Conference (GECCO), pp. 15951602. ACM (2011) 
11. Meissner, M., Schmuker, M., Schneider, G.: Optimized Particle Swarm Optimiza- tion (OPSO) and its application to artificial neural network training. BMC Bioin- formatics 7 (2006) 
12. Mercer, R., Sampson, J.: Adaptive search using a reproductive metaplan. Kyber- netes 7, 215228 (1978) 
13. Mesejo, P., Ugolotti, R., Di Cunto, F., Giacobini, M., Cagnoni, S.: Automatic hippocampus localization in histological images using differential evolution-based deformable models. Pattern Recognition Letters 34(3), 299307 (2013) 
14. Mussi, L., Daolio, F., Cagnoni, S.: Evaluation of parallel Particle Swarm Opti- mization algorithms within the CUDA architecture. Information Sciences 181(20), 46424657 (2011) 
15. Mussi, L., Nashed, Y.S.G., Cagnoni, S.: GPU-based asynchronous particle swarm optimization. In: Proc. of the Genetic and Evolutionary Computation Conference (GECCO), pp. 15551562. ACM (2011) 
16. Nashed, Y.S.G., Ugolotti, R., Mesejo, P., Cagnoni, S.: libCudaOptimize: an open source library of GPU-based metaheuristics. In: Proc. of the Genetic and Evolu- tionary Computation Conference (GECCO) Companion, pp. 117124. ACM (2012) 
17. nVIDIA Corporation: nVIDIA CUDA Programming Guide v. 4.0 (2011) 
18. Pedersen, M.E.H.: Tuning and Simplifying Heuristical Optimization. Masters the- sis, University of Southampton (2010) 
19. Smit, S.K., Eiben, A.E.: Comparing parameter tuning methods for evolutionary algorithms. In: Proc. of the IEEE Congress on Evolutionary Computation, pp.399406 (2009) 
20. Smit, S.K., Eiben, A.E.: Beating the world champion evolutionary algorithm via REVAC tuning. In: Proc. of IEEE Congress on Evolutionary Computation, pp.18 (2010) 
21. Storn, R., Price, K.: Differential Evolution - a simple and efficient adaptive scheme for global optimization over continuous spaces. Technical report, International Computer Science Institute (1995) 
22. Ugolotti, R., Nashed, Y.S.G., Mesejo, P., Cagnoni, S.: Algorithm Configuration using GPU-based Metaheuristics. In: Proc. of the Genetic and Evolutionary Com- putation Conference (GECCO) Companion (2013) 
-----2
1. Evett, M., Fernandez, T.: Numeric Mutation Improves the Discovery of Numeric Constants in Genetic Programming. In: Proc. 3rd Annual Conference on Genetic Programming, pp. 6671. Morgan Kaufmann (1998) 
2. Fernandez, T., Evett, M.: Numeric Mutation as an Improvement to Symbolic Re- gression in Genetic Programming. In: Porto, V.W., Waagen, D. (eds.) EP 1998.LNCS, vol. 1447, pp. 251260. Springer, Heidelberg (1998) 
3. Howard, L.M., DAngelo, D.J.: The GA-P: A Genetic Algorithm and Ge- netic Programming Hybrid. IEEE Intelligent Systems 10(3), 1115 (1995), doi:10.1109/64.393137 
4. Keith, M.J., Martin, M.C.: Genetic Programming in C++: Implementation Issues.In: Kinnear Jr., K.E. (ed.) Advances in Genetic Programming (1994) 
5. Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing.Science 220, 671680 (1983) 
6. Koza, J.R.: Genetic Programming: A Paradigm for Genetically Breeding Popula- tions of Computer Programs to Solve Problems, Stanford University, Computer Science Department. Technical Report STAN-CS-90-1314 (June 1990) 
7. Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992) 
8. ONeill, M., Vanneschi, L., Gustafson, S., Banzhaf, W.: Open issues in genetic pro- gramming. Genetic Programming and Evolvable Machines 11(3-4), 339363 (2010), doi:10.1007/s10710-010-9113-2 
9. Ryan, C., Keijzer, M.: An Analysis of Diversity of Constants of Genetic Program- ming. In: Ryan, C., Soule, T., Keijzer, M., Tsang, E.P.K., Poli, R., Costa, E. (eds.) EuroGP 2003. LNCS, vol. 2610, pp. 404413. Springer, Heidelberg (2003) 
10. Topchy, A., Punch, W.F.: Faster Genetic Programming based on Local Gradient Search of Numeric Leaf Values. In: Proc. of the Genetic and Evolutionary Compu- tation Conference (GECCO 2001), pp. 155162. Morgan Kaufmann (2001) 
-----2
1. Brookmeyer, R., Johnson, E., Ziegler-Graham, K., Arrighi, H.M.: Forecasting the global burden of Alzheimers disease. Alzheimers Dementia the Journal of the Alzheimers Association 3(3), 186191 (2007) 
2. Alzheimers Association: Alzheimers Disease Facts and Figures. Technical report, Alzheimers Association (2012) 
3. Yesavage, J.A., OHara, R., Kraemer, H., Noda, A., Taylor, J.L., Rosen, A., Fried- man, L., Sheikh, J., Derouesne, C.: Modeling the prevalence and incidence of Alzheimers disease and mild cognitive impairment. Journal of Psychiatric Re- search 36, 281286 (2002) 
4. Maroco, J., Silva, D., Rodrigues, A., Guerreiro, M., Santana, I., Mendonca, A.D.: Data mining methods in the prediction of Dementia: A real-data comparison of the accuracy, sensitivity and specificity of linear discriminant analysis, logistic re- gression, neural networks, support vector machines, classification trees and random forests. BMC Research Notes 4:299 (2011) 
5. Lemos, L.: A data mining approach to predict conversion from mild cognitive impairment to Alzheimers Disease. Masters thesis, IST (2012) 
6. Breiman, L.E.O.: Bagging Predictors. Machine Learning 24(2), 123140 (1996) Class Imbalance in the Prediction of Dementia 149 
7. Kearns, M., Valiant, L.: Cryptographic limitations on learning Boolean formulae and finite automata. Journal of the Association for Computing Machinery 41(1), 6795 (1994) 
8. Kubat, M., Matwin, S.: Addressing the curse of imbalanced training sets: one-sided selection. Training, 179186 (1997) 
9. Elkan, C.: The Foundations of Cost-Sensitive Learning. In: Int. Joint Conf. on Artificial Intelligence, vol. 17(1), pp. 973978 (2001) 
10. Sun, Y., Wong, A.K.C., Kamel, M.S.: Classification of Imbalanced Data: a Review.Int. Journ. of Pattern Recognition and Artificial Intelligence 23(04), 687719 (2009) 
11. Akbani, R., Kwek, S.S., Japkowicz, N.: Applying support vector machines to im- balanced datasets. In: Boulicaut, J.-F., Esposito, F., Giannotti, F., Pedreschi, D.(eds.) ECML 2004. LNCS (LNAI), vol. 3201, pp. 3950. Springer, Heidelberg (2004) 
12. Wu, G., Chang, E.Y.: Class-Boundary Alignment for Imbalanced Dataset Learning.In: ICML 2003 Workshop on Learning from Imbalanced Data Sets (2003) 
13. Tao, D., Tang, X.: Assymmetric bagging and random subspace for support vec- tor machines-based relevance feedback in image retrieval. IEEE Transactions on Pattern Analysis and Machine Intelligence 28(7), 10881099 (2006) 
14. Sun, Y., Kamel, M.S., Wong, A.K.C., Wang, Y.: Cost-sensitive boosting for clas- sification of imbalanced data. Pattern Recognition 40, 33583378 (2007) 
15. Japkowicz, N.: The Class Imbalance Problem: Significance and Strategies. Com- plexity 1, 111117 (2000) 
16. McCarthy, K., Zabar, B., Weiss, G.: Does cost-sensitive learning beat sampling for classifying rare classes? In: Proceedings of the 1st Int. Work. on Utilitybased Data Mining, pp. 6977. ACM Press, New York (2005) 
17. Chawla, N.V., Bowyer, K.W., Hall, L.O., Kegelmeyer, W.P.: SMOTE: Syn- thetic Minority Over-sampling Technique. Journal of Artificial Intelligence Re- search 16(1), 321357 (2002) 
18. Han, H., Wang, W.-Y., Mao, B.-H.: Borderline-SMOTE: A New Over-Sampling Method in Imbalanced Data Sets Learning. In: Huang, D.-S., Zhang, X.-P., Huang, G.-B. (eds.) ICIC 2005. LNCS, vol. 3644, pp. 878887. Springer, Heidelberg (2005) 
19. Garcia, E.A.: ADASYN: Adaptive synthetic sampling approach for imbalanced learning. In: 2008 IEEE Int. Joint Conf. on Neural Networks (IEEEWorld Congress on Computational Intelligence), vol. (3), pp. 13221328 (June 2008) 
20. Jo, T., Japkowicz, N.: Class imbalances versus small disjuncts. ACM SIGKDD Explorations Newsletter 6(1), 4049 (2004) 
21. Maloof, M.A.: Learning When Data Sets are Imbalanced and When Costs are Unequal and Unknown. Analysis 21(9), 12631284 (2003) 
22. Breiman, L., Friedman, J.H., Stone, C.J., Olshen, R.A.: Classification and Regres- sion Trees (1984) 
23. Zadrozny, B., Langford, J., Abe, N.: Cost-Sensitive Learning by Cost-Proportionate Example Weighting. In: Third IEEE Int. Conf. on Data Mining, pp. 435442 (2003) 
24. Ting, K.M.: An instance-weighting method to induce cost-sensitive trees (2002) 
25. Veropoulos, K., Campbell, C., Cristianini, N.: Controlling the Sensitivity of Sup- port Vector Machines. Heart Disease, 5560 (1999) 
26. Bishop, C.M.: Pattern Recognition and Machine Learning. Information science and statistics, vol. 4. Springer (2006) 
27. Domingos, P.: MetaCost: A General Method for Making Classifiers Cost-Sensitive.In: Proceedings of the Fifth Int. Conf. on Knowledge Discovery, pp. 155164 (1999) 
28. Duda, R.O., Hart, P.E., Stork, D.G.: Pattern Classification, 2nd edn. Wiley (2001) 150 C. Nunes et al.
29. Thai-nghe, N., Gantner, Z., Schmidt-thieme, L.: Cost-Sensitive Learning Methods for Imbalanced Data. In: The 2010 Int. Joint Conf. on Neural Networks, pp. 18 (2010) 
30. Lawrence, S., Burns, I., Back, A., Tsoi, A.C., Giles, C.L.: Neural network classifi- cation and prior class probabilities. In: Orr, G.B., Muller, K.-R. (eds.) NIPS-WS 1996. LNCS, vol. 1524, pp. 299314. Springer, Heidelberg (1998) 
31. Kubat, M., Holte, R.C., Matwin, S.: Machine Learning for the Detection of Oil Spills in Satellite Radar Images. Machine Learning 30, 195215 (1998) 
32. Davis, J., Goadrich, M.: The relationship between Precision-Recall and ROC curves. In: Proceedings of the 23rd International Conference on Machine Learning, ICML 2006, pp. 233240 (2006) 
33. Silva, D., Guerreiro, M., Maroco, J.A., Santana, I., Rodrigues, A., Bravo Marques, J., de Mendonca, A.: Comparison of Four Verbal Memory Tests for the Diagno- sis and Predictive Value of Mild Cognitive Impairment. Dementia and Geriatric Cognitive Disorders Extra 2(1), 120131 (2012) 
34. Garcia, C.: A Doenca de Alzheimer, problemas do diagnostico cl?nico. Phd, Uni- versidade de Medicina de Lisboa (1984) 
35. Hall, M.A.: Correlation-based Feature Selection for Machine Learning. Methodol- ogy 21i195-i20, 15 (1999) 
36. Honghai, F., Guoshun, C., Cheng, Y., Bingru, Y., Yumei, C.: A SVM Regression Based Approach to Filling in Missing Values. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3683, pp. 581587. Springer, Heidelberg (2005) 
37. Friedman, N., Geiger, D., Goldszmidt, M.: Bayesian Network Classifiers. Machine Learning 29(1), 131163 (1997) 
38. Bradford, J., Kunz, C., Kohavi, R., Brunk, C.: Pruning Decision Trees with Mis- classification Costs. In: Nedellec, C., Rouveirol, C. (eds.) ECML 1998. LNCS, vol. 1398, pp. 131136. Springer, Heidelberg (1998) 
39. Provost, F., Domingos, P.: Well-Trained PETs: Improving Probability Estimation Trees (2000) 
40. Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The WEKA data mining software: an update. SIGKDD Explorations 11(1), 1018 (2009) 
41. Demsar, J.: Statistical Comparison of Classifiers over Multiple Data Sets. Journal of Machine Learning Research 7(7), 130 (2006) 
42. Sheskin, D.J.: Handbook of Parametric and Nonparametric Statistical Procedures, vol. 51. CRC Press (1997) 
43. Domingos, P., Pazzani, M.: Beyond independence: Conditions for the optimality of the simple Bayesian classifier. Machine Learning 29(2/3), 105112 (1997) 
44. Thai-nghe, N., Schmidt-thieme, L., Techniques, A.M.: Learning Optimal Threshold on Resampling Data to Deal with Class Imbalance. In: 8th IEEE Int. Conf. on Computing and Communication Technologies: Research, Innovation, and Vision for the Future (2010) 
45. Quinn, C.J., Coleman, T.P., Kiyavash, N.: Approximating discrete probability dis- tributions with causal dependence trees (2010) Class Imbalance in the Prediction of Dementia 151 Appendix A. Misclassification Cost Ratios Table 6. MCRs that maximized the value of F-measure in the CS methods classifier dataset Risk min MetaCost CV Diag 7.75 5 CV 2Y 6. 4 DT CV 3Y 5.25 5 CV 4Y 4.5 3.5 Average 5.88 4.38 CV Diag 1.75 1 CV 2Y 7.5 4 NBayes CV 3Y 7.75 6.75 CV 4Y 1.5 4.75 Average 4.63 4.13 CV Diag 3.5 1 CV 2Y 2.75 4 TAN CV 3Y 1.25 6.75 CV 4Y 3 4.75 Average 2.63 4.13 CV Diag 1.5 1.25 CV 2Y 2.5 2.5 Polynomial-kernel CV 3Y 2 1.5 SVM CV 4Y 1.25 2.5 Average 1.82 1.94 CV Diag 4.5 2.5 CV 2Y 2.75 2.5 Gaussian-kernel CV 3Y 2.5 2.25 SVM CV 4Y 1.25 1.5 Average 2.75 2.19 Appendix B. Validation Results Using Optimal MCRs Table 7. Values of F-measure obtained by training the models on the CV datasets and testing them on the corresponding HO datasets. MCRs in Table 6 were used.classifier dataset Base classifier Bagging Risk min MetaCost HO Diag 0.444 0.5 0.367 0.391 DT HO 2Y 0.267 0.364 0.4 0.36 HO 3Y 0.7 0.776 0.795 0.815 HO 4Y 0.595 0.629 0.618 0.6 HO Diag 0.516 0.5 0.516 0.457 NBayes HO 2Y 0.429 0.429 0.556 0.529 HO 3Y 0.818 0.818 0.824 0.824 HO 4Y 0.647 0.686 0.722 0.718 HO Diag 0.6 0.522 0.48 0.5 TAN HO 2Y 0.581 0.417 0.6 0.565 HO 3Y 0.818 0.769 0.836 0.753 HO 4Y 0.667 0.686 0.651 0.619 HO Diag 0.5 0.5 0.467 0.552 Polynomial-kernel HO 2Y 0.435 0.381 0.632 0.615 SVM HO 3Y 0.721 0.781 0.806 0.806 HO 4Y 0.667 0.667 0.667 0.684 HO Diag 0.48 0.48 0.488 0.533 Gaussian-kernel HO 2Y 0.435 0.455 0.6 0.615 SVM HO 3Y 0.733 0.762 0.806 0.841 HO 4Y 0.647 0.667 0.647 0.706 
-----1
[1] Bar-Joseph, Z., Gitter, A., Simon, I.: Studying and modelling dynamic biological processes using time-series gene expression data. Nat. Rev. Genet. 13(8), 552564 (2012) 
[2] Dhaeseleer, P.: How does gene expression clustering work. Nat. Biotech. 23(12), 14991501 (2005), http://dx.doi.org/10.1038/nbt1205-1499 
[3] Guo, Y.S., Cheng, J.Z., Jin, G.F., Gutkind, J.S., Hellmich, M.R., Townsend, C.M.: Gastrin stimulates cyclooxygenase-2 expression in intestinal epithelial cells through multiple signaling pathways: evidence for involvement of erk5 kinase transactivation of the epidermal growth factor. Journal of Biological Chem- istry 277(50), 4875548763 (2002) 
[4] Hardin, J., Wilson, J.: A note on oligonucleotide expression values not being nor- mally distributed. Biostatistics 10(3), 446450 (2009), http://biostatistics.oxfordjournals.org/content/10/3/446.abstract 
[5] Lewin, A., Bochkina, N., Richardson, S.: Fully bayesian mixture model for differ- ential gene expression: simulations and model checks. Statistical Applications in Genetics and Molecular Biology 6 (2007) 
[6] Liao, J.C., Boscolo, R., Yang, Y.L., Tran, L.M., Sabatti, C., Roychowdhury, V.P.: Network component analysis: reconstruction of regulatory signals in biological systems. Proc. Natl. Acad. Sci. U S A 100(26), 1552215527 (2003) 162 N. Doni Jayavelu and N. Bar 
[7] Posekany, A., Felsenstein, K., Sykacek, P.: Biological assessment of robust noise models in microarray data analysis. Bioinformatics (2011), http://bioinformatics.oxfordjournals.org/content/early/2011/01/19/ bioinformatics.btr018.abstract 
[8] Raychaudhuri, S., Stuart, J.M., Altman, R.B.: Principal components analysis to summarize microarray experiments: Application to sporulation time series. In: Pac. Symp. Biocomput., pp. 452463 (2000) 
[9] Ringner, M.: What is principal component analysis. Nat. Biotech. 26(3), 303304 (2008), http://dx.doi.org/10.1038/nbt0308-303 
[10] Rousseeuw, P.J.: Silhouettes: A graphical aid to the interpretation and validation of cluster analysis. Journal of Computational and Applied Mathematics 20, 5365 (1987), http://www.sciencedirect.com/science/article/pii/0377042787901257 
[11] Sloutsky, R., Jimenez, N., Swamidass, S.J., Naegle, K.M.: Accounting for noise when clustering biological data. Brief Bioinform. (October 2012), http://dx.doi.org/10.1093/bib/bbs057 
[12] Subramaniam, D., Ramalingam, S., May, R., Dieckgraefe, B.K., Berg, D.E., Pothoulakis, C., Houchen, C.W., Wang, T.C., Anant, S.: Gastrin-mediated interleukin-8 and cyclooxygenase-2 gene expression: Differential transcriptional and posttranscriptional mechanisms. Gastroenterology 134(4), 10701082 (2008) 
[13] Tang, V., Yan, H.: Noise reduction in microarray gene expression data based on spectral analysis. International Journal of Machine Learning and Cybernetics 3, 5157 (2012), http://dx.doi.org/10.1007/s13042-011-0039-7 
[14] Tu, Y., Stolovitzky, G., Klein, U.: Quantitative noise analysis for gene expression microarray experiments. Proceedings of the National Academy of Sciences 99(22), 1403114036 (2002), http://www.pnas.org/content/99/22/14031.abstract 
[15] Warren Liao, T.: Clustering of time series data-a survey. Pattern Recogn. 38(11), 18571874 (2005), http://dx.doi.org/10.1016/j.patcog.2005.01.025 
-----2
1. Anderson, J.: Learning and Memory: An Integrated Approach. Wiley (2000) 
2. Sutton, R., Barto, A.: Reinforcement Learning: An Introduction. MIT Press (1998) 
3. Szepesvari, C.: Algorithms for Reinforcement Learning. Morgan & Claypool (2010) 
4. Kearns, M., Koller, D.: Efficient reinforcement learning in factored MDPs. In: Proc.1999 Int. Joint Conf. Artificial Intelligence, pp. 740747 (1999) 
5. Jong, N., Stone, P.: State abstraction discovery from irrelevant state variables. In: Proc. 19th Int. Joint Conf. Artificial Intelligence, pp. 752757 (2005) 
6. Kroon, M., Whiteson, S.: Automatic feature selection for model-based reinforce- ment learning in factored MDPs. In: Proc. 2009 Int. Conf. Machine Learning and Applications, pp. 324330 (2009) 
7. Sequeira, P., Antunes, C.: Real-time sensory pattern mining for autonomous agents.In: Cao, L., Bazzan, A.L.C., Gorodetsky, V., Mitkas, P.A., Weiss, G., Yu, P.S. (eds.) ADMI 2010. LNCS, vol. 5980, pp. 7183. Springer, Heidelberg (2010) 
8. Ribeiro, C., Szepesvari, C.: Q-learning combined with spreading: Convergence and results. In: Proc. Int. Conf. Intelligent and Cognitive Systems, pp. 3236 (1996) 
9. Ferns, N., Panangaden, P., Precup, D.: Metrics for finite Markov decision processes.In: Proc. 20th Conf. Uncertainty in Artificial Intelligence, pp. 162169 (2004) 
10. Watkins, C.: Learning from delayed rewards. PhD thesis, Kings College, Cam- bridge Univ. (1989) 
11. Guestrin, C., Koller, D., Parr, R., Venkataraman, S.: Efficient solution algorithms for factored MDPs. J. Artificial Intelligence Research 19, 399468 (2003) 
12. Pavlov, I.: Conditioned reflexes: An investigation of the physiological activity of the cerebral cortex. Oxford Univ. Press (1927) 
13. Cardinal, R., Parkinson, J., Hall, J., Everitt, B.: Emotion and motivation: The role of the amygdala, ventral striatum, and prefrontal cortex. Neuroscience and Biobehavioral Reviews 26(3), 321352 (2002) 
14. Balkenius, C., Moren, J.: Computational models of classical conditioning: A com- parative study. In: Proc. 5th Int. Conf. Simulation of Adaptive Behavior: From Animals to Animats, vol. 5, pp. 348353 (1998) 
15. Han, J., Pei, J., Yin, Y., Mao, R.: Mining frequent patterns without candidate generation. Data Mining and Knowledge Disc. 8, 5387 (2004) 
16. Jaccard, P.: The distribution of the flora in the alpine zone. New Phytologist 11(2), 3750 (1912) 
17. Lipkus, A.: A proof of the triangle inequality for the Tanimoto distance. J. Math- ematical Chemistry 26(1), 263265 (1999) 
18. Ravindran, B., Barto, A.: Approximate homomorphisms: A framework for non- exact minimization in Markov decision processes. In: Proc. 5th Int. Conf.Knowledge-Based Computer Systems (2004) 
19. Givan, R., Dean, T., Greig, M.: Equivalence notions and model minimization in Markov Decision Processes. Artificial Intelligence 147, 163223 (2003) 
20. Szepesvari, C., Smart, W.: Interpolation-based Q-learning. In: Proc. 21st Int. Conf.Machine Learning, pp. 100107 (2004) 
21. Ormoneit, D., Sen, S.: Kernel-based reinforcement learning. Machine Learning 49, 161178 (2002) 
-----2
1. Abreu, R.: Spectrum-based Fault Localization in Embedded Software. PhD thesis, Delft University of Technology (November 2009) 
2. Abreu, R., van Gemund, A.J.C.: A low-cost approximate minimal hitting set algo- rithm and its application to model-based diagnosis. In: Symposium on Abstraction, Reformulation, and Approximation, SARA 2009 (2009) 
3. Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Testing: Academic and Industrial Conference Practice and Research Techniques, TAICPART 2007 (2007) 
4. de Kleer, J., Williams, B.C.: Readings in model-based diagnosis (1992) 
5. Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters.In: Symposium on Opearting Systems Design & Implementation, OSDI 2004 (2004) 
6. Feldman, A., Provan, G., Van Gemund, A.J.C.: Computing minimal diagnoses by greedy stochastic search. In: AAAI Conference on Artificial intelligence, AAAI 2008 (2008) 
7. Garey, M.R., Johnsonp, D.S.: Computers and Intractability; A Guide to the Theory of NP-Completeness (1990) 
8. Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Re- iters theory of diagnosis. Artificial Intelligence 41(1) (1989) 
9. Hailpern, B., Santhanam, P.: Software debugging, testing, and verification. IBM Syst. J. 41(1) (January 2002) 
10. Harrold, M.J., Rothermel, G., Wu, R., Yi, L.: An empirical investigation of program spectra. In: Program Analysis for Software Tools and Engineering, PASTE 1998 (1998) 
11. Pill, I., Quaritsch, T.: Optimizations for the boolean approach to computing min- imal hitting sets. In: European Conference on Artificial Intelligence, ECAI 2012 (2012) 
12. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1) (1987) 
13. Ruchkys, D.P., Song, S.W.: A parallel approximation hitting set algorithm for gene expression analysis. In: Symposium on Computer Architecture and High Perfor- mance Computing (2002) 
14. Wotawa, F.: A variant of Reiters hitting-set algorithm. Information Processing Letters 79(1) (2001) 
15. Zhao, X., Ouyang, D.: Improved algorithms for deriving all minimal conflict sets in model-based diagnosis. In: Huang, D.-S., Heutte, L., Loog, M. (eds.) ICIC 2007.LNCS, vol. 4681, pp. 157166. Springer, Heidelberg (2007) 
-----2
1. Vapnik, V.N., Boser, B.E., Guyon, I.: A training algorithm for optimal margin classifiers. In: COLT 1992 Proceedings of the Fifth Annual Workshop on Com- putational Learning, Pittsburgh, PA, USA, vol. 5, pp. 144152. ACM, New York (1992) 
2. Cortes, C., Vapnik, V.N.: Support-vector networks. Machine Learning 20(3), 273 297 (1995) 
3. Vapnik, V.N.: Statistical learning theory. John Wiley and Sons Inc. (1998) 
4. Chapelle, O., Vapnik, V.N.: Bounds on error expectation for support vector ma- chines. Neural Computation 12(9), 20122036 (2000) 
5. Chapelle, O., Vapnik, V.N.: Choosing multiple parameters for support vector ma- chines. Machine Learning 46(1-3), 131159 (2001) 198 M. Cimpoe?u, A. Sucil?, and H. Luchian 
6. Fan, R.-E., Chen, P.-H., Lin, C.-J.: Working set selection using second order in- formation for training support vector machines. The Journal of Machine Learning Research 6, 18891918 (2005) 
7. Chang, C.-C., Lin, C.-J.: Libsvm: a library for support vector machines. ACM Transactions on Intelligent Systems and Technology 2(3) (2011) 
8. Yu, H., Yang, J., Han, J.: Classifying large data sets using svms with hierarchical clusters. In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, pp. 306315.ACM, New York (2003) 
9. Ligges, U., Krey, S.: Feature clustering for instrument classification. Computational Statistics 23, 279291 (2011) 
10. Awad, M., Khan, L., Bastani, F., Yen, I.-L.: An effective support vector machines (svm) performance using hierarchical clustering. In: Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence, Boca Raton, FL, USA, pp. 663667. IEEE Computer Society, Washington (2004) 
11. Nath, J.S., Bhattacharyya, C., Murty, M.N.: Clustering based large margin classi- fication: A scalable approach using socp formulation. In: Proceedings of the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Min- ing, Philadelphia, USA, pp. 374379. ACM, New York (2006) 
12. Sucil?, A.: A Distributed Statistical Binary Classifier. Probabilistic Vector Ma- chine. Ph.D. Thesis, Alexandru Ioan Cuza University, Faculty of Computer Science (2012) 
13. Cervantes, J., Li, X., Yu, W.: Support vector machine classification based on fuzzy clustering for large data sets. In: Gelbukh, A., Reyes-Garcia, C.A. (eds.) MICAI 2006. LNCS (LNAI), vol. 4293, pp. 572582. Springer, Heidelberg (2006) 
14. Cervantes, J., Li, X., Yu, W., Li, K.: Support vector machine classification for large data sets via minimum enclosing ball clustering. Neurocomputing 71(4-6), 611619 (2008) 
15. Nath, J.S., Bhattacharyya, C., Murty, M.N.: Clustering based large margin clas- sification: a scalable approach using socp formulation. In: Proceedings of the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Min- ing, KDD 2006, pp. 674679. ACM, New York (2006) 
-----2
1. Brucker, P., Drexl, A., Mhring, R., Neumann, K.: Resource-constrained project  scheduling: Notation, classification, models, and methods. European Journal of  Operational Research 112(1), 341 (1999)  
2. Tavares, L.V.: Advanced Models for Project Management. Kluwer Academic Publishers  (1998)  
3. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP  Completeness. W.H. Freeman and Company (1979)  
4. Hammer, P.L., Rudeanu, S.: Boolean Methods in Operations Research and Related Areas.  Springer (1968)  
5. Talbot, B.: Resource-Constrained Project Scheduling with Time-Resource Tradeoffs: The  Nonpreemptive Case. Management Science 28(10), 11971210 (1982)  
6. Reyck, B., Herroelen, W.: A branch-and-bound procedure for the resource-constrained  project scheduling problem with generalized precedence relations. Operations  Research 45(2) (March-April 1997)  
7. Wiest, J.D.: A heuristic model for scheduling large projects with limited resources.  Management Science 13(6), 359377 (1967)  
8. Liess, O., Michelon, P.: A constraint programming approach for the resource-constrained  project scheduling problem. Annals of Operation Research 157(1), 2536 (2008)  
9. Cho, J.H., Kim, Y.D.: A simulated annealing algorithm for resource constrained project  scheduling problems. Journal of the Operational Research Society 48(7), 736744 (1997)  210 R. Alves, F. Alvelos, and S.D. Sousa  
10. Fu, N., Lau, H.C., Varakantham, P., Xiao, F.: Robust Local Search for Solving  RCPSP/max with Durational Uncertainty. Journal of Artificial Intelligence Research 43,  4386 (2012)  
11. Hartmann, S.: A competitive genetic algorithm for resource constrained project  scheduling. Naval Research Logistics 45(7), 733750 (1998)  
12. Colak, S., Agarwal, A., Erenguc, S.: Resource Constrained Scheduling Problem: A Hybrid  Neural Approach. Perspectives in Modern Project Scheduling 112(1983), 341 (1999)  
13. Huang, R., Chen, Y., Zhang, W.: SAS+ Planning as Satisfiability. Journal of Artificial  Intelligence Research 43(1), 293328 (2012)  
14. Coelho, J., Vanhoucke, M.: Multi-mode resource-constrained project scheduling using  RCPSP and SAT solvers. Journal of Operational Research 213(1), 7382 (2011) ISSN  0377-2217  
15. Horbach, A.: A Boolean satisfiability approach to the resource-constrained project  scheduling problem. Annals of Operations Research 181(1), 89107, doi:10.1007/s10479- 010-0693-2  
16. Davis, M., Putnam, H.: A Computing Procedure for Quantification Theory. Journal of the  Association of Computing Machinery (1960)  
17. Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem Proving.  Communications of the ACM 5, 394397 (1962)  
18. Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an  Efficient SAT Solver. In: Annual ACM IEEE Design Automation Conference (2001)  
19. Ryan, L.: Efficient Algorithms for Clause-Learning SAT Solvers, M.S. Thesis, Simon  Fraser (2004)  
20. Goldberg, E., Novikov, Y.: BerkMin: A fast and robust Sat-solver. Discrete Applied  Mathematics 155(12) (June 2007)  
21. Biere, A.: Adaptive Restart Strategies for Conflict Driven SAT Solvers. In: Kleine Bning,  H., Zhao, X. (eds.) SAT 2008. LNCS, vol. 4996, pp. 2833. Springer, Heidelberg (2008)  
22. Marques, J.P., Karem, S., Sakallah, A.: Conflict analysis in search algorithms for  propositional satisfiability. In: Proc. of the IEEE Intl. Conf. on Tools with Artificial  Intelligence (1996)  
23. Chakradhar, S.T., Agrawal, V.D., Tothweiller, S.G.: A Transitive Closure Algorithm for  Test Generation. IEEE Trans. Computer-Aided Design 12(7), 10151028 (1993)  
24. Larrabee, T.: Efficient Generation of Test Patterns Using Boolean Satisfiability. PhD  Dissertation, Dept. of Computer Science, Stanford Univ., STAN-CS-90-1302 (February  1990)  
25. Kautz, H., Selman, B.: Planning as Satisfiability. In: Proceedings of the 10th European  Conference on Artificial Intelligence, ECAI 1992 (August 1992)  
26. Lynce, I., Marques-Silva, J.: Efficient Haplotype Inference with Boolean Satisfiability. In:  AAAI 2006 (2006)  
27. Ivancic, F., Yang, Z., Ganai, M.K., Gupta, A., Ashar, P.: Efficient SAT-based bounded  model checking for software verification. Journal of Theoretical Computer Science 404(3)  (September 2008)  
28. En, N., Srensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A.  (eds.) SAT 2003. LNCS, vol. 2919, pp. 502518. Springer, Heidelberg (2004)  
29. Kolisch, R., Sprecher, A.: PSPLIB  A project scheduling problem library. European  Journal of Operational Research, 205216 (1996)  
30. IBM CPLEX, http://www-01.ibm.com/software/integration/  optimization/cplex-optimizer/ (January 10, 2013)  
-----2
1. Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press (2004) 
2. Chang, C.-C., Lin, C.-J.: Libsvm: a library for support vector machines. ACM Transactions on Intelligent Systems and Technology 2(3) (2011) 
3. Chapelle, O., Vapnik, V.N.: Bounds on error expectation for support vector ma- chines. Neural Computation 12(9), 20122036 (2000) 
4. Chapelle, O., Vapnik, V.N.: Choosing multiple parameters for support vector ma- chines. Machine Learning 46(1-3), 131159 (2001) 
5. Cortes, C., Vapnik, V.N.: Support-vector networks. Machine Learning 20(3), 273 297 (1995) 
6. Fan, R.-E., Chen, P.-H., Lin, C.-J.: Working set selection using second order in- formation for training support vector machines. The Journal of Machine Learning Research 6, 18891918 (2005) 
7. Frank, R.: The perceptron a perceiving and recognizing automaton. Technical Re- port 85-460-1, Cornell Aeronautical Laboratory (1957) 
8. Fung, G., Mangasarian, O.L.: Proximal support vector machine classifiers. In: Pro- ceedings of the Seventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, pp. 7786. ACM, New York (2001) 222 M. Cimpoe?u, A. Sucil?, and H. Luchian 
9. Garg, A., Har-Peled, S., Roth, D.: On generalization bounds, projection profile, and margin distribution. In: ICML 2002 Proceedings of the Nineteenth Interna- tional Conference on Machine Learning, Sydney, Australia, pp. 171178. Morgan Kaufmann Publishers Inc. (2002) 
10. Garg, A., Roth, D.: Margin distribution optimization. Computational Imaging and Vision 29, 119128 (2005) 
11. Jayadeva, Khemchandani, R., Chandra, S.: Twin support vector machines for pat- tern classification. IEEE Transactions on Pattern Analysis and Machine Intelli- gence 29(5), 905910 (2007) 
12. Joachims, T., Ndellec, C., Rouveriol, C.: Text categorization with support vector machines: learning with many relevant features. In: Ndellec, C., Rouveirol, C.(eds.) ECML 1998. LNCS, vol. 1398, pp. 137142. Springer, Heidelberg (1998) 
13. Kotsiantis, S.B.: Supervised machine learning: A review of classification techniques.Informatica 31, 324 (2007) 
14. Kumar, A.M., Gopal, M.: Least squares twin support vector machines for pattern classification. Expert Systems with Applications: An International Journal 36(4), 75357543 (2009) 
15. Lee, S., Verri, A.: SVM 2002. LNCS, vol. 2388. Springer, Heidelberg (2002) 
16. Mangasarian, O.L., Wild, W.: Multisurface proximal support vector machine clas- sification via generalized eigenvalues. IEEE Transaction on Pattern Analysis and Machine Intelligence 28(1), 6974 (2005) 
17. Noble, W.S.: Support vector machine applications in computational biology. In: Kernel Methods in Computational Biology, pp. 7192 (2004) 
18. Qi, Z., Tian, Y., Shi, Y.: Robust twin support vector machine for pattern classifi- cation. Pattern Recognition (June 27, 2012) (accepted) 
19. Vapnik, V.N., Boser, B.E., Guyon, I.: A training algorithm for optimal margin classifiers. In: COLT 1992 Proceedings of the Fifth Annual Workshop on Com- putational Learning, Pittsburgh, PA, USA, vol. 5, pp. 144152. ACM, New York (1992) 
20. Vapnik, V.N.: Statistical learning theory. John Wiley and Sons Inc. (1998) 
21. Witten, I.H., Frank, E., Hall, M.A.: Data Mining: Practical Machine Learning Tools and Techniques. Morgan Kaufmann (2011) 
-----2
1. Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory and Practice of Logic Programming 4(4), 383428 (2004) 
2. de Castro, J.F., Pereira, L.M.: Abductive validation of a power-grid expert system diagnoser.In: Orchard, B., Yang, C., Ali, M. (eds.) IEA/AIE 2004. LNCS (LNAI), vol. 3029, pp. 838 847. Springer, Heidelberg (2004) 234 A. Saptawijaya and L.M. Pereira 
3. Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F.(eds.) Computat. Logic (Kowalski Festschrift). LNCS (LNAI), vol. 2407, pp. 402436.Springer, Heidelberg (2002) 
4. Eiter, T., Gottlob, G., Leone, N.: Abduction from logic programs: semantics and complexity.Theoretical Computer Science 189(1-2), 129177 (1997) 
5. Gartner, J., Swift, T., Tien, A., Damasio, C.V., Pereira, L.M.: Psychiatric diagnosis from the viewpoint of computational logic. In: Palamidessi, C., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 13621376. Springer, Heidelberg (2000) 
6. Han, T.A., Saptawijaya, A., Pereira, L.M.: Moral reasoning under uncertainty. In: Bjrner, N., Voronkov, A. (eds.) LPAR-18. LNCS, vol. 7180, pp. 212227. Springer, Heidelberg (2012) 
7. Josephson, J.R., Josephson, S.G.: Abductive Inference: Computation, Philosophy, Technol- ogy. Cambridge U. P. (1995) 
8. Kakas, A., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5. Oxford U. P. (1998) 
9. Kakas, A.C., Michael, A.: An abductive-based scheduler for air-crew assignment. J. of Ap- plied Artificial Intelligence 15(1-3), 333360 (2001) 
10. Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent.Cambridge U. P. (2011) 
11. Kowalski, R., Sadri, F.: Abductive logic programming agents with destructive databases.Annals of Mathematics and Artificial Intelligence 62(1), 129158 (2011) 
12. Lipton, P.: Inference to the Best Explanation. Routledge (2001) 
13. Pereira, L.M., Damasio, C.V., Alferes, J.J.: Debugging by diagnosing assumptions. In: Fritz- son, P.A. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 5874. Springer, Heidelberg (1993) 
14. Pereira, L.M., Damasio, C.V., Alferes, J.J.: Diagnosis and debugging as contradiction re- moval in logic programs. In: Damas, L.M.M., Filgueiras, M. (eds.) EPIA 1993. LNCS (LNAI), vol. 727, pp. 183197. Springer, Heidelberg (1993) 
15. Pereira, L.M., Saptawijaya, A.: Modelling Morality with Prospective Logic. In: Anderson, M., Anderson, S.L. (eds.) Machine Ethics, pp. 398421. Cambridge U. P. (2011) 
16. Pereira, L.M., Saptawijaya, A.: Abductive logic programming with tabled abduction. In: Procs. 7th Intl. Conf. on Software Engineering Advances (ICSEA), pp. 548556. ThinkMind (2012) 
17. Saptawijaya, A., Pereira, L.M.: Tabled abduction in logic programs. Accepted as Technical Communication at ICLP 2013 (2013), http://centria.di.fct.unl.pt/lmp/ publications/online-papers/tabdual lp.pdf 
18. Saptawijaya, A., Pereira, L.M.: Towards practical tabled abduction usable in decision mak- ing. In: Procs. 5th. KES Intl. Symposium on Intelligent Decision Technologies (KES-IDT).Frontiers of Artificial Intelligence and Applications (FAIA). IOS Press (2013) 
19. Swift, T., Warren, D.S.: XSB: Extending Prolog with tabled logic programming. Theory and Practice of Logic Programming 12(1-2), 157187 (2012) 
20. Swift, T., Warren, D.S., Sagonas, K., Freire, J., Rao, P., Cui, B., Johnson, E., de Castro, L., Marques, R.F., Saha, D., Dawson, S., Kifer, M.: The XSB System Version 3.3.x vol.ume 1: Programmers Manual (2012) 
-----2
1. Voigtlrande, A., Lange, S., Lauer, M., Riedmiller, M.: Real-time 3D ball recog- nition using perspective and catadioptric cameras. In: Proc. of the 3rd European Conference on Mobile Robots, Freiburg, Germany (2007) 
2. Burla, A.: 3D ball detection in robocup. Masters thesis, University of Stuttgart (2007) 
3. Mitri, S., Frintrop, S., Pervolz, K., Surmann, H., Nuchter, A.: Robust object de- tection at regions of interest with an application in ball recognition. In: Proc. of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, Barcelona, Spain, pp. 125130 (2005) 
4. Hanek, R., Schmitt, T., Buck, S.: Fast image-based object localization in natural scenes. In: Proc. of the 2002 IEEE/RSJ Int. Conference on Intelligent Robotics and Systems, Lausanne, Switzerland, pp. 116122 (2002) 
5. Treptow, A., Zell, A.: Real-time object tracking for soccer-robots without color information. Robotics and Autonomous Systems 48, 4148 (2004) 
6. Mitri, S., Pervolz, K., Surmann, H., Nuchter, A.: Fast color independent ball detec- tion for mobile robots. In: Proc. of the 2004 IEEE Int. Conference on Mechatronics and Robotics, Aachen, Germany, pp. 900905 (2004) 
7. Lu, H., Zheng, Z., Liu, F., Wang, X.: A robust object recognition method for soccer robots. In: Proc. of the 7th World Congress on Intelligent Control and Automation, Chongqing, China (2008) 
8. Neves, A.J.R., Azevedo, J.L., Cunha, B., Lau, N., Silva, J., Santos, F., Corrente, G., Martins, D.A., Figueiredo, N., Pereira, A., Almeida, L., Lopes, L.S., Pinho, A.J., Rodrigues, J., Pedreiras, P.: CAMBADA soccer team: from robot architecture to multiagent coordination. In: Papic, V. (ed.) Robot Soccer, pp. 1945. INTECH (2010) 
9. Neves, A.J., Pinho, A.J., Martins, D.A., Cunha, B.: An efficient omnidirectional vision system for soccer robots: From calibration to object detection. Mechatron- ics 21, 399410 (2011) 
10. Pereira, R., Lopes, L.S.: Learning visual object categories with global descriptors and local features. In: Lopes, L.S., Lau, N., Mariano, P., Rocha, L.M. (eds.) EPIA 2009. LNCS, vol. 5816, pp. 225236. Springer, Heidelberg (2009) 
11. Antunes, M.L.P.: Semantic vision agent for robotics. Masters thesis, University of Aveiro (2011) 
12. Silva, J., Lau, N., Neves, A.J.R., Rodrigues, J., Azevedo, J.L.: World modeling on an MSL robotic soccer team. Mechatronics 21, 411422 (2011) 
-----2
1. Cummins, M., Newman, P.: FAB-MAP: Probabilistic Localization and Mapping in the  Space of Appearance. The Int. J. of Rob. Research 27(6), 647665 (2008)  
2. Angeli, A., Filliat, D., Doncieux, S., Meyer, J.: A Fast and Incremental Method for Loop- Closure Detection Using Bags of Visual Words. IEEE Transactions on Robotics, Special  Issue on Visual Slam 24(5), 10271037 (2008)  258 F.M. Campos, L. Correia, and J.M.F. Calado    
3. Glvez-Lpez, D., Tardos, J.: Bags of binary words for fast place recognition in image se- quences. IEEE Transactions on Robotics 28(5), 11881197 (2012)  
4. Oliva, A., Torralba, A.: Modeling the shape of the scene: a holistic representation of the  spatial envelope. Int. Journal of Comp. Vision 42(3), 145175 (2001)  
5. Ojala, T., Pietikinen, M., Harwood, D.: A comparative study of texture measures with  classification based on featured distribution. Pattern Recognition 29(1), 5159 (1996)  
6. Andoni, A., Indyk, P.: Near-optimal hashing algorithms for approximate nearest neighbor  in high dimensions. Communications of the ACM - 50th Anniversary Issue 51(1), 117 122 (2008)  
7. Yagnik, J., Strelow, D., Ross, D.A., Lin, R.: The power of comparative reasoning. In: In- ternational Conference on Computer Vision, pp. 24312438 (2011)  
8. Siagian, C., Itti, L.: Biologically Inspired Mobile Robot Vision Localization. IEEE Trans- actions on Robotics 25(4), 861873 (2009)  
9. Murillo, A.C., Kosecka, J.: Experiments in place recognition using gist panoramas. In:  IEEE Workshop on Omnidirectional Vision, Camera Netwoks and Non-Classical Cam- eras, ICCV, pp. 21962203 (2009)  
10. Ni, K., Kannan, A., Criminisi, A., Winn, J.: Epitomic location recognition. IEEE Trans. on  Pattern Analysis and Machine Intell. 31(12), 21582167 (2009)  
11. Wu, J., Rehg, J.M.: CENTRIST: A Visual Descriptor for Scene Categorization. IEEE  Trans. on Patt. Analysis and Machine Intell. 33(8), 14891501 (2011)  
12. Sunderhauf, N., Protzel, P.: BRIEF-Gist - closing the loop by simple means. In: IEEE/RSJ  Int. Conference on Intelligent Robots and Systems, pp. 12341241 (2011)  
13. Sivic, J., Zisserman, A.: Video Google: a text retrieval approach to object matching in vid- eos. In: IEEE Int. Conference on Computer Vision, pp. 14701477 (2003)  
14. Menp, T., Pietikinen, M.: Multi-scale binary patterns for texture analysis. In: Bigun,  J., Gustavsson, T. (eds.) SCIA 2003. LNCS, vol. 2749, pp. 885892. Springer, Heidelberg  (2003)  
15. Topi, M., Timo, O., Matti, P., Maricor, S.: Robust texture classification by subsets of local  binary patterns. In: Int. Conf. on Pattern Recognition, vol. 3, pp. 935938 (2000)  
16. Heikkl, M., Pietikinen, M.: A texture-based method for modeling the background and  detecting moving objects. IEEE Transactions on Pattern Analysis and Machine Intelli- gence 28(4), 657662 (2006)  
17. Zhao, G., Kellokumpu, V.-P., Pietikinen, M., Li, S.Z.: Modeling pixel process with scale  invariant local patterns for background subtraction in complex scenes. In: IEEE Confe- rence on Computer Vision and Pattern Recognition, pp. 13011306 (2010)  
18. Ahonen, T., Hadid, A., Pietikinen, M.: Face recognition with local binary patterns. IEEE  Trans. on Patt. Anal. and Machine Intell. 28(18), 20372041 (2006)  
19. Datar, M., Immorlica, N., Indyk, P., Mirrokni, V.S.: Locality-sensitive hashing scheme  based on p-stable distributions. In: Twentieth Annual Symposium on Computational Geo- metry - SCG 2004, pp. 253262 (2004)  
20. Blanco, J.-L., Moreno, F.-A., Gonzalez, J.: A collection of outdoor robotic datasets with  centimeter-accuracy ground truth. Auton. Robots 27(4), 327351 (2009)  
21. Paulev, L., Jgou, H., Amsaleg, L.: Locality sensitive hashing: A comparison of hash  function types and querying mechanisms. Pattern Recognition Letters 31(11), 13481358  (2010)   
-----2
1. Bay, H., Ess, A., Tuytelaars, T., Van Gool, L.: Speeded-up robust features (surf).Computer Vision and Image Understanding 110(3), 346359 (2008) 
2. Ancuti, C., Bekaert, P.: Sift-cch: Increasing the sift distinctness by color co- occurrence histograms. In: International Symposium on Image and Signal Pro- cessing and Analysis, Istanbul, Turkey, September 27-29, pp. 130135 (2007) 
3. Fan, P., Men, A.D., Chen, M.Y., Yang, B.: Color-surf: A surf descriptor with local kernel color histograms. In: IEEE International Conference on Network Infrastruc- ture and Digital Content, Beijing, China, November 6-8, pp. 726730 (2009) 
4. Abdel-Hakim, A.E., Farag, A.A.: Csift: A sift descriptor with color invariant char- acteristics. In: IEEE Computer Society Conference on Computer Vision and Pat- tern Recognition - CVPR, June 17-22, vol. 2, pp. 19781983. IEEE Computer Society, New York (2006) 
5. Burghouts, G.J., Geusebroek, J.M.: Performance evaluation of local colour invari- ants. Computer Vision and Image Understanding 113, 4862 (2009) 
6. Bosch, A., Zisserman, A., Munoz, X.: Scene classification via pLSA. In: Leonardis, A., Bischof, H., Pinz, A. (eds.) ECCV 2006. LNCS, vol. 3954, pp. 517530. Springer, Heidelberg (2006) 
7. van de Sande, K.E.A., Gevers, T., Snoek, C.G.M.: Evaluating color descriptors for object and scene recognition. IEEE Transactions on Pattern Analysis and Machine Intelligence 32(9), 15821596 (2010) 
8. Buluswar, S.D., Draper, B.A.: Color recognition in outdoor images. In: Interna- tional Conference on Computer Vision, Bombay, India, January 04-07, pp. 171177 (1998) 
9. Finlayson, G.D., Hordley, S.D., Xu, R.: Convex programming colour constancy with a diagonal-offset model. In: IEEE International Conference on Image Pro- cessing - ICIP, Genova, Italy, September 11-14, vol. 3, pp. III948III951 (2005) 
10. van de Weijer, J., Gevers, T., Gijsenij, A.: Edge-based color constancy. IEEE Trans- actions on Image Processing 16(9), 22072214 (2007) 
11. Buchsbaum, G.: A spatial processor model for object color-perception. Journal of the Franklin Institute-Engineering and Applied Mathematics 310(1), 126 (1980) 
12. Ebner, M.: How does the brain arrive at a color constant descriptor? In: Mele, F., Ramella, G., Santillo, S., Ventriglia, F. (eds.) BVAI 2007. LNCS, vol. 4729, pp.8493. Springer, Heidelberg (2007) 
13. Zeki, S., Marini, L.: Three cortical stages of colour processing in the human brain.Brain 121, 16691685 (1998) 
14. Gijsenij, A., Gevers, T., van de Weijer, J.: Generalized gamut mapping using im- age derivative structures for color constancy. International Journal of Computer Vision 86(2-3), 127139 (2010) 
15. Barnard, K., Cardei, V., Funt, B.: A comparison of computational color constancy algorithms - part i: Methodology and experiments with synthesized data. IEEE Transactions on Image Processing 11(9), 972984 (2002) 
16. Schmid, C., Mohr, R., Bauckhage, C.: Evaluation of interest point detectors. In- ternational Journal of Computer Vision 37(2), 151172 (2000) 
17. Geusebroek, J.M., Burghouts, G.J., Smeulders, A.W.M.: The amsterdam library of object images. International Journal of Computer Vision 61(1), 103112 (2005) 
-----2
1. Nakanishi, S., Kuno, Y., Shimada, N., Shirai, Y.: Robotic wheelchair based on observa- tions of both user and environment. In: Filipe, J., Fred, A. (eds.) Int. Conf. on Intelligent  Robots and Systems (1999)  
2. Matsumoto, Y., Ino, T., Ogasawara, T.: Development of Intelligent Wheelchair System  with Face and Gaze Based Interface. In: 10th IEEE Int. Workshop on Robot and Human  Communication, Bordeaux (2001)  
3. Ju, S., Shin, Y., Kim, Y.: Intelligent wheelchair (iw) interface using face and mouth recog- nition. In: 13th Int. Conference on Intelligent User Interfaces, Canary, Islands (2009)  
4. Sasou, A., Kojima, H.: Noise robust speech recognition applied to voice-driven wheel- chair. Journal on Advances in Signal Processing 1(41) (2009)  282 B.M. Faria et al.    
5. Simpson, R.: Smart wheelchairs: A literature review. J of Rehabilitation Research & De- velopment, 423435 (2005)  
6. Braga, R.A.M., Petry, M., Moreira, A.P., Reis, L.P.: Concept and Design of the In- tellwheels Platform for Developing Intelligent Wheelchairs. In: Cetto, J.A., Ferrier, J.-L.,  Filipe, J. (eds.) Informatics in Control, Automation and Robotics. LNEE, vol. 37, pp. 191 203. Springer, Heidelberg (2009)  
7. Choi, K., Sato, M., Koike, Y.: A new human-centered wheelchair system controlled by the  EMG signal. In: I. Joint Conf. Neural Networks, Vancouver, BC, Canada, pp. 1621  (2006)  
8. Dicianno, B.E., Sibenaller, S., Kimmich, C., Cooper, R.A., Pyo, J.: Joystick use for virtual  power wheelchair driving in individuals with tremor: Pilot study. J. Rehabilitation Re- search & Development 46(2), 269276 (2009)  
9. Fattouh, A., Sahnoun, M., Bourhis, G.: Force Feedback Joystick Control of a Powered  Wheelchair: Preliminary Study. In: IEEE Int. Conf. on Systems, Man and Cybernetics,  vol. 3, pp. 26402645 (2004)  
10. Niitsuma, M., Ochi, T., Yamaguchi, M., Hashimoto, H.: Interaction between a User and a  Smart Electric Wheelchair in Intelligent Space. In: Int. Symposium on Micro-Nano Me- chatronics and Human Science (MHS), pp. 465470 (2010)  
11. Pires, G., Nunes, U.: A wheelchair steered through voice commands and assisted by a  reactive fuzzy-logic controller. J. Intelligent and Robotics System 34, 301314 (2002)  
12. Braga, R., Petry, M., Reis, L.P., Moreira, A.P.: IntellWheels: Modular development plat- form for intelligent wheelchairs. Journal of Rehabilitation Research & Development 48(9),  10611076 (2011)  
13. Petry, M., Moreira, A.P., Braga, R., Reis, L.P.: Shared Control for Obstacle Avoidance in  Intelligent Wheelchairs. In: 2010 IEEE Conference on Robotics, Automation and Mecha- tronics (RAM 2010), Singapore, pp. 182187 (2010)  
14. Murdock, K.L.: 3ds Max 2011 Bible. John Wiley & Sons, Indianapolis (2011)  
15. Carpin, S., Lewis, M., Wang, J., Balakirsky, S., Scrapper, C.: USARSim: a robot simulator  for research and education. In: Proceedings of the IEEE International Conference on Ro- botics and Automation, Roma, Italy (2007)  
16. Braga, R., Malheiro, P., Reis, L.P.: Development of a Realistic Simulator for Robotic In- telligent Wheelchairs in a Hospital Environment. In: Baltes, J., Lagoudakis, M.G., Naruse,  T., Ghidary, S.S. (eds.) RoboCup 2009. LNCS (LNAI), vol. 5949, pp. 2334. Springer,  Heidelberg (2010)  
17. Faria, B.M., Vasconcelos, S., Reis, L.P., Lau, N.: A Methodology for Creating Intelligent  Wheelchair Users Profiles. In: ICAART 2012 - 4th International Conference and Artifi- cial Intelligence, Algarve, pp. 171179 (2012)  
18. Reis, L.P., Braga, R.A.M., Sousa, M., Moreira, A.P.: IntellWheels MMI: A Flexible Inter- face for an Intelligent Wheelchair. In: Baltes, J., Lagoudakis, M.G., Naruse, T., Ghidary,  S.S. (eds.) RoboCup 2009. LNCS, vol. 5949, pp. 296307. Springer, Heidelberg (2010)  
19. Faria, B.M., Vasconcelos, S., Reis, L.P., Lau, N.: Evaluation of Distinct Input Methods of  an Intelligent Wheelchair in Simulated and Real Environments: A Performance and Usa- bility Study. Assistive Technology: The Official Journal of RESNA 25(2), 8898 (2013)  
20. Faria, B.M., Reis, L.P., Lau, N., Soares, J.C., Vasconcelos, S.: Patient Classification and  Automatic Configuration of an Intelligent Wheelchair. In: Filipe, J., Fred, A. (eds.)  ICAART 2012. CCIS, vol. 358, pp. 268282. Springer, Heidelberg (2013)  
21. Lewis, J.R.: IBM Computer Usability Satisfaction Questionnaires: Psychometric Evalua- tion and Instructions for Use. International Journal of Human-Computer Interaction 7(1),  5778 (1995)  
-----2
1. Vukobratovic, M., Stokic, D., Borovac, B., Surla, D.: Biped Locomotion: Dynamics,  Stability, Control and Application, p. 349. Springer (1990)  
2. Kajita, S., Kanehiro, F., Kaneko, K., Yokoi, K., Hirukawa, H.: The 3D linear inverted  pendulum mode: a simple modeling for a biped walking pattern generation. In: IEEE/RSJ  International Conference on Intelligent Robots and Systems, pp. 239246 (2001)  
3. Kajita, S., Kanehiro, F., Kaneko, K., Fujiwara, K.: Biped walking pattern generation by  using preview control of zero-moment point. In: IEEE International Conference on  Robotics and Automation, ICRA 2003, pp. 16201626 (2003)  
4. Erbatur, K., Kurt, O.: Natural ZMP Trajectories for Biped Robot Reference Generation.  IEEE Transactions on Industrial Electronics 56(3), 835845 (2009)  
5. Graf, C., Rofer, T.: A closed-loop 3D-LIPM gait for the RoboCup Standard Platform  League humanoid. In: Fourth Workshop on Humanoid Soccer Robots in IEEE Conference  of Humanoid Robots, pp. 1522 (2010)  
6. Gouaillier, D., Collette, C., Kilner, C.: Omni-directional Closedloop Walk for NAO. In:  IEEE-RAS International Conference on Humanoid Robots, pp. 448454 (2010)  
7. Strom, J., Slavov, G., Chown, E.: Omnidirectional walking using ZMP and preview  control for the NAO humanoid robot. In: Baltes, J., Lagoudakis, M.G., Naruse, T.,  Ghidary, S.S. (eds.) RoboCup 2009. LNCS, vol. 5949, pp. 378389. Springer, Heidelberg  (2010)  
8. Ferreira, R., Reis, L.P., Moreira, A.P., Lau, N.: Development of an Omnidirectional Kick  for a NAO Humanoid Robot. In: Pavn, J., Duque-Mndez, N.D., Fuentes-Fernndez, R.  (eds.) IBERAMIA 2012. LNCS (LNAI), vol. 7637, pp. 571580. Springer, Heidelberg  (2012)  
9. Domingues, E., Lau, N., Pimentel, B., Shafii, N., Reis, L.P., Neves, A.J.R.: Humanoid  Behaviors: From Simulation to a Real Robot. In: Antunes, L., Pinto, H.S. (eds.) EPIA  2011. LNCS (LNAI), vol. 7026, pp. 352364. Springer, Heidelberg (2011)  
10. Park, J., Youm, Y.: General ZMP preview control for bipedal walking. In: 2007 IEEE  International Conference on Robotics and Automation, pp. 26822687 (April 2007)  
11. Katayama, T., Ohki, T., Inoue, T., Kato, T.: Design of an optimal controller for a discrete- time system subject to previewable demand. International Journal of Control 41(3), 677 699 (1985)  
12. Gouaillier, D., Hugel, V., Blazevic, P., Kilner, C., Monceaux, J., Lafourcade, P., Marnier,  B., Serre, J., Maisonnier, B.: Mechatronic design of NAO humanoid. In: Proceedings of  the IEEE International Conference on Robotics and Automation, pp. 769774 (2009)  
13. Boedecker, J., Asada, M.: SimSpark  Concepts and Application in the RoboCup 3D  Soccer Simulation League. In: Autonomous Robots, pp. 174181 (2008)  
14. Shafii, N., Reis, L.P., Rossetti, R.J.: Two humanoid simulators: Comparison and synthesis.  In: 2011 6th Iberian Conference on Information Systems and Technologies (CISTI), pp. 1 6 (2011)  
-----2
1. Biber, P., Strasser, W.: The normal distributions transform: a new approach to laser scan matching. In: Proceedings of the 2003 IEEE/RSJ International Confer- ence on Intelligent Robots and Systems (IROS 2003), vol. 3, pp. 27432748 (2003) 
2. Censi, A.: An ICP variant using a point-to-line metric. In: 2011 IEEE International Conference on Robotics and Automation (ICRA), pp. 1925. IEEE (2008) 
3. Chekhlov, D., Pupilli, M., Mayol-Cuevas, W., Calway, A.: Real-time and robust monocular slam using predictive multi-resolution descriptors. In: Bebis, G., et al.(eds.) ISVC 2006, Part II. LNCS, vol. 4292, pp. 276285. Springer, Heidelberg (2006), http://dx.doi.org/10.1007/11919629_29 
4. Cunha, J., Pedrosa, E., Cruz, C., Neves, A.J., Lau, N.: Using a depth camera for indoor robot localization and navigation. In: RGB-D: Advanced Reasoning with Depth Cameras - RSS Workshop (2011), http://www.cs.washington.edu/ai/Mobile_Robotics/rgbd-workshop-2011 
5. Dellaert, F., Fox, D., Burgard, W., Thrun, S.: Monte carlo localization for mobile robots. In: Proceedings of the 1999 IEEE International Conference on Robotics and Automation, vol. 2, pp. 13221328 (1999) 
6. Elfes, A.: Occupancy grids: a probabilistic framework for robot perception and navigation. Ph.D. thesis, Carnegie Mellon University (1989) 
7. Felzenszwalb, P., Huttenlocher, D.: Distance Transforms of Sampled Functions.Tech. rep., Cornell University (2004) 
8. Gouveia, M., Moreira, A.P., Costa, P., Reis, L.P., Ferreira, M.: Robustness and precision analysis in map-matching based mobile robot self-localization. In: New Trends in Artificial Intelligence: 14th Portuguese Conference on Artificial Intelli- gence, pp. 243253 (2009) 
9. Grisetti, G., Stachniss, C., Burgard, W.: Improved Techniques for Grid Mapping With Rao-Blackwellized Particle Filters. IEEE Transactions on Robotics 23(1), 3446 (2007) 
10. Grisetti, G., Stachniss, C., Grzonka, S., Burgard, W.: A tree parameterization for efficiently computing maximum likelihood maps using gradient descent. In: Proc.of Robotics: Science and Systems, RSS (2007) 306 E. Pedrosa, N. Lau, and A. Pereira 
11. Holz, D., Behnke, S.: Sancta simplicitas - on the efficiency and achievable results of SLAM using ICP-based incremental registration. In: 2011 IEEE International Conference on Robotics and Automation (ICRA), pp. 13801387 (2010) 
12. Kohlbrecher, S., von Stryk, O., Meyer, J., Klingauf, U.: A flexible and scalable SLAM system with full 3D motion estimation. In: 2011 IEEE International Sym- posium on Safety, Security, and Rescue Robotics (SSRR), pp. 155160. IEEE (2011) 
13. Kummerle, R., Steder, B., Dornhege, C., Ruhnke, M., Grisetti, G., Stachniss, C., Kleine, A.: SLAM benchmarking (2009), http://kaspar.informatik.uni-freiburg.de/~slamEvaluation/datasets.php 
14. Kummerle, R., Steder, B., Dornhege, C., Ruhnke, M., Grisetti, G., Stachniss, C., Kleiner, A.: On measuring the accuracy of SLAM algorithms. Autonomous Robots 27(4), 387407 (2009) 
15. Lau, B., Sprunk, C., Burgard, W.: Improved updating of Euclidean distance maps and Voronoi diagrams. In: 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 281286 (2010) 
16. Lauer, M., Lange, S., Riedmiller, M.: Calculating the perfect match: An efficient and accurate approach for robot self-localization. In: Bredenfeld, A., Jacoff, A., Noda, I., Takahashi, Y. (eds.) RoboCup 2005. LNCS (LNAI), vol. 4020, pp. 142 153. Springer, Heidelberg (2006) 
17. Leonard, J.J., Feder, H.J.S.: A Computationally Efficient Method for Large-Scale Concurrent Mapping and Localization. In: International Symposium of Robotics Research (2000) 
18. Lu, F., Milios, E.: Robot Pose Estimation in Unknown Environments by Matching 2D Range Scans. Journal of Intelligent and Robotic Systems 18(3), 249275 (1997) 
19. Merke, A., Welker, S., Riedmiller, M.: Line Based Robot Localization under Nat- ural Light Conditions. In: ECAI 2004 Workshop on Agents in Dynamic and Real Time Environments (2004) 
20. Moravec, H.P.: Sensor Fusion in Certainty Grids for Mobile Robots. AI Magazine 9(2), 61 (1988) 
21. Olson, E., Leonard, J., Teller, S.: Fast iterative alignment of pose graphs with poor initial estimates. In: 2011 IEEE International Conference on Robotics and Automation (ICRA), pp. 22622269. IEEE (2006) 
22. Riedmiller, M., Braun, H.: A direct adaptive method for faster backpropagation learning: the RPROP algorithm. In: IEEE International Conference on Neural Networks, vol. 1, pp. 586591 (1993) 
23. Thrun, S.: A Probabilistic On-Line Mapping Algorithm for Teams of Mobile Robots. The International Journal of Robotics Research 20(5), 335363 (2001) 
24. Thrun, S.: Probabilistic Algorithms in Robotics. AI Magazine 21(4), 93 (2000) 
25. Thrun, S., Liu, Y., Koller, D., Ng, A.Y., Durrant-Whyte, H.: Simultaneous Local- ization and Mapping with Sparse Extended Information Filters. The International Journal of Robotics Research 23(7-8), 693716 (2004) 
26. Zhang, Z.: Iterative point matching for registration of free-form curves and surfaces.Int. J. Comput. Vision 13(2), 119152 (1994) 
-----2
1. Burgard, W., Cremers, A.B., Fox, D., Hahnel, D., Lakemeyer, G., Schulz, D., Steiner, W., Thrun, S.: Experiences with an interactive museum tour-guide robot.Artificial Intelligence 114(1-2), 355 (1999) 
2. Siegwart, R., Arras, K.O., Bouabdallah, S., Burnier, D., Froidevaux, G., Greppin, X., Jensen, B., Lorotte, A., Mayor, L., Meisser, M., Philippsen, R., Piguet, R., Ramel, G., Terrien, G., Tomatis, N.: Robox at Expo.02: A large-scale installation of personal robots. Robotics and Autonomous Systems 42(3-4), 203222 (2003) 
3. Thrun, S., Beetz, M., Bennewitz, M., Burgard, W., Cremers, A.B., Dellaert, F., Fox, D., Rosenberg, C., Roy, N., Schulte, J., Schulz, D.: Probabilistic Algorithms and the Interactive Museum Tour-Guide Robot Minerva. Journal of Robotics Re- search, 972999 (2000) 
4. Pinto, M., Moreira, A.P., Matos, A., Santos, F.: Fast 3D Matching Localisation Algorithm. Journal of Automation and Control Engineering 1(2), 110115 (2013) ISSN:23013702 
5. Bailey, T., Durrant-Whyte, H.: Simultaneous localization and mapping (SLAM): part II. IEEE Robotics & Automation Magazine 13(3), 108117 (2006) 
6. Thorpe, C.: Simultaneous localization and mapping with detection and tracking of moving objects. In: Proceedings of the 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292), pp. 29182924. IEEE (2002) 
7. Kohlbrecher, S., Meyer, J., von Stryk, O., Klingauf, U.: A Flexible and Scalable SLAM System with Full 3D Motion Estimation. In: Proc. IEEE International Sym- posium on Safety, Security and Rescue Robotics (SSRR). IEEE (2011) 
8. Montemerlo, M., Thrun, S.: The FastSLAM Algortihm for Simultaneous Localiza- tion and Mapping. Springer Tracts in Advanced Robotics (2007) 318 F.N. Santos, A.P. Moreira, and P.C. Costa 
9. Santos, F.: HySeLAM - Hybrid Semantic Localization and Mapping (2012), http://hyselam.fbnsantos.com (accessed: May 20, 2013) 
10. Elfes, A.: Occupancy grids: a probabilistic framework for robot perception and navigation. Phd, Carnegie Mellon University (1989) 
11. Chatila, R., Laumond, J.: Position referencing and consistent world modeling for mobile robots. In: Proceedings of the 1985 IEEE International Conference on Robotics and Automation, vol. 2, pp. 138145. Institute of Electrical and Elec- tronics Engineers (1985) 
12. Mataric, M.J.: A Distributed Model for Mobile Robot Environment-Learning and Navigation, Msc. MIT (1990) 
13. Kuipers, B., Byun, Y.T.: A Robot Exploration and Mapping Strategy Based on a Semantic Hierarchy of Spatial Representations. Journal of Robotics and Au- tonomous Systems 8, 4763 (1991) 
14. Thrun, S.: Learning metric-topological maps for indoor mobile robot navigation.Artificial Intelligence 99(1), 2171 (1998) 
15. Joo, K., Lee, T.K., Baek, S., Oh, S.Y.: Generating topological map from occu- pancy grid-map using virtual door detection. In: IEEE Congress on Evolutionary Computation, pp. 16. IEEE (July 2010) 
16. Fabrizi, E., Saffiotti, A.: Extracting topology-based maps from gridmaps. In: Pro- ceedings of the 2000 IEEE International Conference on Robotics and Automation, ICRA. Millennium Conference Symposia Proceedings (Cat. No.00CH37065), vol. 3, pp. 29722978. IEEE (2000) 
17. Myung, H., Jeon, H.-M., Jeong, W.-Y., Bang, S.-W.: Virtual door-based coverage path planning for mobile robot. In: Kim, J.-H., et al. (eds.) FIRA 2009. LNCS, vol. 5744, pp. 197207. Springer, Heidelberg (2009) 
18. Lau, B., Sprunk, C., Burgard, W.: Improved Updating of Euclidean Distance Maps and Voronoi Diagrams. In: IEEE International Conference on Intelligent RObots and Systems (IROS), Taipei, Taiwan (2010) 
19. Brunskill, E., Kollar, T., Roy, N.: Topological Mapping Using Spec-tral Clustering and Classification. In: Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 34913496 (2007) 
20. Zivkovic, Z., Bakker, B., Krose, B.: Hierarchical Map Building and Planning based on Graph Partitioning. In: Proc. of IEEE International Conference on Robotics and Automation, pp. 803809 (2006) 
21. Buschka, P., Saffiotti, A.: A Virtual Sensor for Room Detection. In: Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 637 642 (2002) 
22. Choi, J., Choi, M., Chung, W.K.: Incremental topological modeling using sonar gridmap in home environment. In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 35823587. IEEE (October 2009) 
23. Kortenkamp, D.: TRACLabs in new facility (2012), http://traclabs.com/2011/03/traclabs-in-new-facility/ (accessed: May 20, 2013) 
-----2
1. Ghommam, J., Mehrjerdi, H., Saad, M., Mnif, F.: Formation path following control of unicycle-type mobile robots. Robotics and Autonomous Systems 58(5), 727736 (2010) 
2. Ren, W.: Decentralization of virtual structures in formation control of multiple vehicle systems via consensus strategies. European Journal of Control 14, 93103 (2008) 
3. Beard, R., Lawton, J., Hadaegh, F.: A coordination architecture for spacecraft formation control. IEEE Transactions on Control Systems Technology 9(6), 777 790 (2001) 
4. Hengster-Movric, K., Bogdan, S., Draganjac, I.: Multi-agent formation control based on bell-shaped potential functions. Journal of Intelligent and Robotic Sys- tems 58(2) (2010) 
5. Langer, D., Rosenblatt, J., Hebert, M.: A behavior-based system for off-road nav- igation. IEEE Transactions on Robotics and Automation 10(6), 776783 (1994) 
6. Lawton, J., Beard, R., Young, B.: A decentralized approach to formation maneu- vers. IEEE Transactions on Robotics and Automation 19(6), 933941 (2003) 
7. Min, H.J., Papanikolopoulos, N.: Robot formations using a single camera and entropy-based segmentation. Journal of Intelligent and Robotic Systems (1), 1 21 (2012) 
8. Chen, J., Sun, D., Yang, J., Chen, H.: Leader-follower formation control of multiple non-holonomic mobile robots incorporating a receding-horizon scheme. Int. Journal Robotic Research 29, 727747 (2010) 
9. Das, A., Fierro, R., Kumar, V., Ostrowski, J., Spletzer, J., Taylor, C.: A vision- based formation control framework. IEEE Transactions on Robotics and Automa- tion 18(5), 813825 (2003) 
10. Dong, W.: Robust formation control of multiple wheeled mobile robots. Journal of Intelligent and Robotic Systems 62(3-4), 547565 (2011) 330 M. Saska, V. Spurny, and L. Pr?euc?il 
11. Abdessameud, A., Tayebi, A.: Formation control of vtol unmanned aerial vehicles with communication delays. Automatica 47(11), 23832394 (2011) 
12. Do, K.D., Lau, M.W.: Practical formation control of multiple unicycle-type mo- bile robots with limited sensing ranges. Journal of Intelligent and Robotic Sys- tems 64(2), 245275 (2011) 
13. Xiao, F., Wang, L., Chen, J., Gao, J.: Finite-time formation control for multi-agent systems. Automatica 45(11), 26052611 (2009) 
14. Boscariol, P., Gasparetto, A., Zanotto, V.: Model predictive control of a flexible links mechanism. Journal of Intelligent and Robotic Systems 58(2), 125147 (2010) 
15. Chao, Z., Zhou, S.L., Ming, L., Zhang, W.G.: Uav formation flight based on non- linear model predictive control. Mathematical Problems in Engineering 2012(1), 116 (2012) 
16. Zhang, X., Duan, H., Yu, Y.: Receding horizon control for multi-uavs close forma- tion control based on differential evolution. Science China Information Sciences 53, 223235 (2010) 
17. Shin, J., Kim, H.: Nonlinear model predictive formation flight. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 39(5), 11161125 (2009) 
18. Saska, M., Mejia, J.S., Stipanovic, D.M., Schilling, K.: Control and navigation of formations of car-like robots on a receding horizon. In: Proc. of 3rd IEEE Multi- conference on Systems and Control (2009) 
19. Faigl, J., Krajn?k, T., Chudoba, J., Pr?euc?il, L., Saska, M.: Low-cost embedded sys- tem for relative localization in robotic swarms. In: IEEE International Conference on Robotics and Automation, ICRA (2013) 
20. Kulich, M., Chudoba, J., Kosnar, K., Krajnik, T., Faigl, J., Preucil, L.: Syrotek - distance teaching of mobile robotics. IEEE Transactions on Education 56(1), 1823 (2013) 
21. Barfoot, T.D., Clark, C.M.: Motion planning for formations of mobile robots.Robotics and Autonomous Systems 46, 6578 (2004) 
22. Saska, M., Hess, M., Schilling, K.: Efficient airport snow shoveling by applying autonomous multi-vehicle formations. In: Proc. of IEEE International Conference on Robotics and Automation (May 2008) 
-----1
[1] Guyon, I., Elisseeff, A.: An introduction to variable and feature selection. The Journal of Machine Learning Research 3, 11571182 (2003) 
[2] Dy, J., Brodley, C.: Feature selection for unsupervised learning. The Journal of Machine Learning Research 5, 845889 (2004) 
[3] Steinley, D., Brusco, M.: Selection of variables in cluster analysis an empirical comparison of eight procedures. Psychometrika 73(1), 125144 (2008) 
[4] Law, M., Figueiredo, M., Jain, A.: Simultaneous feature selection and cluster- ing using mixture models. IEEE Transactions on Pattern Analysis and Machine Intelligence 26, 11541166 (2004) 
[5] Wallace, C., Boulton, D.: An information measure for classification. The Computer Journal 11, 195209 (1968) 
[6] Dempster, A., Laird, N., Rubin, D.: Maximum likelihood estimation from incom- plete data via the EM algorithm. Journal of Royal Statistical Society 39, 138 (1997) 
[7] Silvestre, C., Cardoso, M., Figueiredo, M.: Selecting categorical features in model- based clustering using a minimum message length criterion. In: The Tenth Inter- national Symposium on Intelligent Data Analysis - IDA 2011 (2011) 
[8] Vinh, L.T., Lee, S., Park, Y.T., dAuriol, B.J.: A novel feature selection method based on normalized mutual information. Applied Intelligence 37(1), 100120 (2012) 
[9] Constantinopoulos, C., Titsias, M.K., Likas, A.: Bayesian Feature and Model Se- lection for Gaussian Mixture Models. IEEE Transactions on Pattern Analysis and Machine Intelligence 28, 10131018 (2006) 
[10] Zeng, H., Cheung, Y.: A new feature selection method for gaussian mixture clus- tering. Pattern Recognition 42, 243250 (2009) 
[11] Talavera, L.: An evaluation of filter and wrapper methods for feature selection in categorical clustering. In: Famili, A.F., Kok, J.N., Pena, J.M., Siebes, A., Feelders, A. (eds.) IDA 2005. LNCS, vol. 3646, pp. 440451. Springer, Heidelberg (2005) 
[12] Dash, M., Liu, H., Yao, J.: Dimensionality reduction for unsupervised data. In: Ninth IEEE International Conference on Tools with AI - ICTAI 1997 (1997) 
[13] Talavera, L.: Dependency-based feature selection for symbolic clustering. Intelli- gent Data Analysis 4, 1928 (2000) 
[14] Cover, T., Thomas, J.: Elements of Information Theory. In: Entropy, Relative Entropy and Mutual Information, ch. 2 (1991) 
[15] Silvestre, C., Cardoso, M., Figueiredo, M.: Clustering with finite mixture models and categorical variables. In: International Conference on Computational Statis- tics - COMPSTAT 2008 (2008) 
[16] Silvestre, C., Cardoso, M., Figueiredo, M.: Simultaneously selecting categorical features and the number of clusters in model-based clustering. In: International Classification Conference - ICC 2011 (2011) 
-----2
1. Agrawal, R., Imieli?ski, T., Swami, A.: Mining association rules between sets of items in large databases. SIGMOD Rec. 22(2), 207216 (1993) 
2. Bergua, V., Bouisson, J.: Vieillesse et routinisation: une revue de la question. Psy- chologie & NeuroPsychiatrie du vieillissement 6(4), 235243 (2008) 354 J. Soulas, P. Lenca, and A. Thpaut 
3. Cook, D., Youngblood, M., Heierman III, E.O., Gopalratnam, K., Rao, S., Litvin, A., Khawaja, F.: MavHome: an agent-based smart home. In: IEEE International Conference on Pervasive Computing and Communications, pp. 521524 (2003) 
4. Demiris, G., Hensel, B.K.: Technologies for an aging society: A systematic review of "smart home" applications. Yearbook Med. Inf., 3340 (2008) 
5. Dempster, A., Laird, N., Rubin, D.: Maximum likelihood from incomplete data via the EM algorithm. Journal of the Royal Statistical Society. Series B, 138 (1977) 
6. Ester, M., Kriegel, H.P., Sander, J., Xu, X.: A density-based algorithm for discov- ering clusters in large spatial databases with noise. In: KDD, pp. 226231 (1996) 
7. Hamid, R., Maddi, S., Bobick, A., Essa, M.: Structure from statistics - unsupervised activity analysis using suffix trees. In: IEEE International Conference on Computer Vision, pp. 18 (2007) 
8. Han, J., Pei, J., Yin, Y.: Mining frequent patterns without candidate generation.SIGMOD Rec. 29(2), 112 (2000) 
9. Heierman, E., Youngblood, M., Cook, D.J.: Mining temporal sequences to discover interesting patterns. In: KDD Workshop on Mining Temporal and Sequential Data (2004) 
10. Jakkula, V.R., Crandall, A.S., Cook, D.J.: Enhancing anomaly detection using temporal pattern discovery. In: Kameas, A.D., Callagan, V., Hagras, H., Weber, M., Minker, W. (eds.) Advanced Intelligent Environments. Springer, US (2009) 
11. van Kasteren, T., Englebienne, G., Krse, B.: An activity monitoring system for elderly care using generative and discriminative models. Personal and Ubiquitous Computing 14, 489498 (2010) 
12. Katz, S.: Assessing self-maintenance: Activities of daily living, mobility, and in- strumental activities of daily living. Journal of the American Geriatrics Society 31, 721727 (2003) 
13. Kotchera, A., Straight, A., Guterbock, T.: Beyond 50.05: A report to the nation on livable communities: Creating environments for successful aging. Tech. rep., AARP, Washington, D.C (2005) 
14. MacQueen, J.: Some methods for classification and analysis of multivariate ob- servations. In: Berkeley Symposium on Mathematical Statistics and Probability, California, USA, vol. 1, pp. 281297 (1967) 
15. Nazerfard, E., Rashidi, P., Cook, D.: Discovering temporal features and relations of activity patterns. In: IEEE ICDM Workshops, pp. 10691075 (2010) 
16. Pigot, H.: When cognitive assistance brings autonomy in daily living: the domus experience. Gerontechnology 9(2), 71 (2010) 
17. Rashidi, P., Mihailidis, A.: A survey on ambient assisted living tools for older adults. IEEE Journal of Biomedical and Health Informatics 17(3), 579590 (2013) 
18. Rissanen, J.: Stochastic complexity in statistical inquiry theory. World Scientific Publishing Co., Inc. (1989) 
19. Slvesdotter, M., ten Berg, H., Berleen, G.: Healthy aging  A challenge for Europe  ch. 2. Statistics. Tech. rep., European Commision (2007) 
20. Wilson, D.H., Atkeson, C.: Simultaneous tracking and activity recognition (STAR) using many anonymous, binary sensors. In: Gellersen, H.-W., Want, R., Schmidt, A. (eds.) PERVASIVE 2005. LNCS, vol. 3468, pp. 6279. Springer, Heidelberg (2005) 
-----2
1. Amihud, Y., Mendelson, H., Pedersen, L.H.: Liquidity and Asset Prices. Founda- tions and Trends in Finance 1(4), 269364 (2007) 
2. Antweiler, W., Frank, M.Z.: Is all that talk just noise? the information content of internet stock message boards. The Journal of Finance 59(3), 12591294 (2004) 
3. Bollen, J., Mao, H., Zeng, X.: Twitter mood predicts the stock market. Journal of Computational Science 2(1), 18 (2011) 
4. Harvey, D., Leybourne, S., Newbold, P.: Testing the equality of prediction mean squared errors. International Journal of Forecasting 13(2), 281291 (1997) 
5. Hyndman, R.J., Koehler, A.B.: Another look at measures of forecast accuracy.International Journal of Forecasting 22(4), 679688 (2006) 
6. Jiang, G.J.: The Model-Free Implied Volatility and Its Information Content. Re- view of Financial Studies 18(4), 13051342 (2005) 
7. Mao, H., Counts, S., Bollen, J.: Predicting financial markets: Comparing survey, news, twitter and search engine data. arXiv preprint arXiv:1112.1051 (2011) 
8. Nofsinger, J.R.: Social mood and financial economics. The Journal of Behavioral Finance 6(3), 144160 (2005) 
9. Oh, C., Sheng, O.R.L.: Investigating predictive power of stock micro blog sentiment in forecasting future stock price directional movement. In: ICIS 2011 Proceedings (2011) 
10. Peterson, R.L.: Affect and financial decision-making: How neuroscience can inform market participants. The Journal of Behavioral Finance 8(2), 7078 (2007) 
11. R Core Team: R: A Language and Environment for Statistical Computing. R Foun- dation for Statistical Computing, Vienna, Austria (2012) ISBN 3-900051-07-0 On the Predictability of Stock Market Behavior Using StockTwits 365 
12. Schumaker, R.P., Chen, H.: Textual analysis of stock market prediction using breaking financial news: The azfin text system. ACM Transactions on Informa- tion Systems (TOIS) 27(2), 12 (2009) 
13. Smola, A., Scholkopf, B.: A tutorial on support vector regression. Statistics and Computing 14, 199222 (2004) 
14. Sprenger, T., Welpe, I.: Tweets and trades: The information content of stock mi- croblogs. Social Science Research Network Working Paper Series, pp. 189 (2010) 
15. Tashman, L.J.: Out-of-sample tests of forecasting accuracy: an analysis and review.International Journal of Forecasting 16(4), 437450 (2000) 
16. Timmermann, A.: Elusive return predictability. International Journal of Forecast- ing 24(1), 118 (2008) 
-----1
[1] Breiman, L.: Random Forests. Machine Learning 45(1) (2001) 
[2] Chen, P., Xie, H., Maslov, S., Redner, S.: Finding scientific gems with Googles PageRank algorithm. Journal of Informetrics 1(1) (2007) 
[3] Chien, S., Dwork, C., Kumar, R., Simon, D.R., Sivakumar, D.: Link evolution: Analysis and algorithms. Internet Mathematics 1(3) (2003) 
[4] Davis, J.V., Dhillon, I.S.: Estimating the global PageRank of web communities.In: Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (2006) Predicting the Future Impact of Academic Publications 377 
[5] Friedman, J.H.: Greedy function approximation: A gradient boosting machine.Annals of Statistics 29(5) (2000) 
[6] Kan, M.-Y., Thi, H.O.N.: Fast webpage classiffication using URL features. In: Proceedings of the ACM International Conference on Information and Knowledge Management (2005) 
[7] Kaul, R., Yun, Y., Kim, S.-G.: Ranking billions of web pages using diodes. Com- munications of ACM 52(8) (2009) 
[8] Kendall, M.G.: A new measure of rank correlation. Biometrika 30(1/2) (1938) 
[9] Langville, A., Meyer, C.D.: Survey: Deeper inside PageRank. Internet Mathemat- ics 1(3) (2003) 
[10] Lerman, K., Ghosh, R., Kang, J.H.: Centrality metric for dynamic networks. In: Proceedings of the Workshop on Mining and Learning with Graphs (2010) 
[11] Mohan, A., Chen, Z., Weinberger, K.Q.: Web-search ranking with initialized gra- dient boosted regression trees. Journal of Machine Learning Research 14 (2011) 
[12] Radicchi, F., Fortunato, S., Markines, B., Vespignani, A.: Diffusion of scientific credits and the ranking of scientists. Physical Review (2009) 
[13] Sayyadi, H., Getoor, L.: Future rank: Ranking scientific articles by predicting their future PageRank. In: Proceedings of the SIAM International Conference on Data Mining (2009) 
[14] Spearman, C.: The proof and measurement of association between two things.American Journal of Psychology 15 (1904) 
[15] Tang, J., Zhang, J., Yao, L., Li, J., Zhang, L., Su, Z.: ArnetMiner: Extraction and mining of academic social networks. In: Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (2008) 
[16] Vazirgiannis, M., Drosos, D., Senellart, P., Vlachou, A.: Web page rank prediction with Markov models. In: Proceedings of the International Conference on World Wide Web (2008) 
[17] Voudigari, E., Pavlopoulos, J., Vazirgiannis, M.: A framework for web Page Rank prediction. In: Iliadis, L., Maglogiannis, I., Papadopoulos, H. (eds.) EANN/AIAI 2011, Part II. IFIP AICT, vol. 364, pp. 240249. Springer, Heidelberg (2011) 
[18] Walker, D., Xie, H., Yan, K.-K., Maslov, S.: Ranking scientific publications using a simple model of network traffic. Technical Report CoRR, abs/physics/0612122 (2006) 
-----2
1. Domingos, P.: Metacost: A general method for making classifiers cost-sensitive.In: KDD 1999: Proceedings of the 5th International Conference on Knowledge Discovery and Data Mining, pp. 155164. ACM Press (1999) 
2. Elkan, C.: The foundations of cost-sensitive learning. In: IJCAI 2001: Proc. of 17th Int. Joint Conf. of Artificial Intelligence, vol. 1, pp. 973978. Morgan Kaufmann Publishers (2001) 
3. Zadrozny, B.: One-benefit learning: cost-sensitive learning with restricted cost in- formation. In: UBDM 2005: Proc. of the 1st Int. Workshop on Utility-Based Data Mining, pp. 5358. ACM Press (2005) 
4. Chawla, N.V.: Data mining for imbalanced datasets: An overview. In: The Data Mining and Knowledge Discovery Handbook. Springer (2005) 
5. Zadrozny, B.: Policy mining: Learning decision policies from fixed sets of data.PhD thesis, University of California, San Diego (2003) 
6. Ling, C., Sheng, V.: Cost-sensitive learning and the class imbalance problem. In: Encyclopedia of Machine Learning. Springer (2010) 
7. Kubat, M., Matwin, S.: Addressing the curse of imbalanced training sets: One- sided selection. In: Proc. of the 14th Int. Conf. on Machine Learning, pp. 179186.Morgan Kaufmann (1997) 
8. Chawla, N.V., Bowyer, K.W., Hall, L.O., Kegelmeyer, W.P.: Smote: Synthetic minority over-sampling technique. JAIR 16, 321357 (2002) 
9. Torgo, L., Ribeiro, R.: Precision and recall for regression. In: Gama, J., Costa, V.S., Jorge, A.M., Brazdil, P.B. (eds.) DS 2009. LNCS, vol. 5808, pp. 332346.Springer, Heidelberg (2009) 
10. Ribeiro, R.P.: Utility-based Regression. PhD thesis, Dep. Computer Science, Fac- ulty of Sciences - University of Porto (2011) 
11. Davis, J., Goadrich, M.: The relationship between precision-recall and roc curves.In: ICML 2006: Proc. of the 23rd Int. Conf. on Machine Learning, pp. 233240.ACM ICPS, ACM (2006) 
12. Torgo, L., Ribeiro, R.P.: Utility-based regression. In: Kok, J.N., Koronacki, J., Lopez de Mantaras, R., Matwin, S., Mladenic?, D., Skowron, A. (eds.) PKDD 2007.LNCS (LNAI), vol. 4702, pp. 597604. Springer, Heidelberg (2007) 
13. Milborrow, S.: Earth: Multivariate Adaptive Regression Spline Models. Derived from mda:mars by Trevor Hastie and Rob Tibshirani (2012) 
14. Dimitriadou, E., Hornik, K., Leisch, F., Meyer, D., Weingessel, A.: e1071: Misc Functions of the Department of Statistics (e1071), TU Wien (2011) 
15. Liaw, A., Wiener, M.: Classification and regression by randomforest. R News 2(3), 1822 (2002) 
-----2
1. Mitsa, T.: Temporal Data Mining. Chapman & Hall/CRC (2010)  
2. Allen, J.: Maintaining knowledge about temporal intervals. Communications of the  ACM 26(11), 832843 (1983)  
3. Zhou, Q., Fikes, R.: A Reusable Time Ontology. In: Press, A. (ed.) AAAI Workshop on  Ontologies for the Semantic Web (2002)  
4. Srikant, R., Agrawal, R.: Mining Sequential Patterns: Generalizations and Performance  Improvements. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996.  LNCS, vol. 1057, pp. 317. Springer, Heidelberg (1996)  
5. Chen, Y., Chiang, M., Ko, M.: Discovering time-interval sequential patterns in sequence  databases. Expert Systems Applications 25, 343354 (2003)   (TD)2PaM: A Constraint-Based Algorithm for Mining Temporal Patterns 407  
6. Mannila, H., Toivonen, H., Verkamo, A.: Discovery of Frequent Episodes in Event  Sequences. Data Mining and Knowledge Discovery 1(3), 259289 (1997)  
7. Lee, C., Chen, M., Lin, C.: Progressive partition miner: an efficient algorithm for mining  general temporal association rules. IEEE Transaction on Knowledge and Data  Engineering 15(4), 10041017 (2003)  
8. Huang, J., Dai, B., Chen, M.: Twain: Two-End Association Miner with Precise Frequent  Exhibition Periods. ACM Transactions on Knowledge Discovery from Data 1(2) (2007)  
9. Ozden, B., Ramaswamy, S., Silberschtaz, A.: Cyclic Association Rules. In: International  Conference on Data Engineering, pp. 412421 (1998)  
10. Laxman, S., Sastry, P.S.: A survey of temporal data mining. Sadhana 31(2), 173198  (2006)  
11. Han, J., Dong, G., Yin, Y.: Efficient mining of partial periodic patterns in time series  database. In: International Conference on Data Engineering, Sydney, Australia, pp. 106 115 (1999)  
12. Ramaswamy, S., Mahajan, S., Silberschatz, A.: On the Discovery of Interesting Patterns in  Association Rules. In: International Conference on Very Large Databases, New York,  USA, pp. 368379 (1998)  
13. Li, Y., Ning, P., Wang, X., Jajodia, S.: Discovering calendar-based temporal association  rules. Data Knowledge Engineering 44, 193218 (2003)  
14. Zimbro, G., Souza, J., Almeida, V.T., Silva, W.: An Algorithm to Discover Calendar- based Temporal Association. In: Workshop on Temporal Data Mining at ACM SIGKDD  Intl Conf on Knowledge Discovery and Data Mining, Edmonton, Alberta, Canada (2002)  
15. Antunes, C., Bebiano, T.: Mining Patterns with Domain Knowledge: a case study on  multi-language data. In: International Conference on Information Systems, Shanghai,  China, pp. 167172 (2012)  
16. Srikant, R., Agrawal, R.: Mining Generalized Association Rules. In: International  Conference on Very Large Databases, Zurich, pp. 407419 (1995)  
-----2
1. Sandholm, T., Larson, K., Andersson, M., Shehory, O., Tohme, F.: Coalition struc- ture generation with worst case guarantees. Artificial Intelligence (1999) 
2. Rahwan, T., Michalak, T., Wooldridge, M., Jennings, N.R.: Anytime coalition structure generation in multi-agent systems with positive or negative externali- ties. Artificial Intelligence 186, 95122 (2012) 
3. Finus, M., Rundshagen, B.: Endogenous coalition formation in global pollution control: a partition function approach. In: The Endogenous Formation of Economic Coalitions, pp. 199243. Edward Elgar, Cheltenham (2003) 
4. Catilina, E., Feinberg, R.: Market power and incentives to form research consortia.Review of Industrial Organization 28(2), 129144 (2006) 
5. Koczy, L.A.: A recursive core for partition function form games. Research Memo- randa 031 (2006) 
6. Rahwan, T., Jennings, N.R.: An algorithm for distributing coalitional value calcu- lations among cooperating agents. Artificial Intelligence 8(171), 535567 (2007) 
7. Rahwan, T., Ramchurn, S.D., Dang, V.D., Jennings, N.R.: Near-optimal anytime coalition structure generation. In: Proc. of the Int. Joint Conf. on Art. Intelligence (IJCAI 2007), pp. 23652371 (January 2007) 
8. Rahwan, T., Ramchurn, S.D., Jennings, N.R., Giovannucci, A.: An anytime algo- rithm for optimal coalition structure generation. J. Artif. Int. Res. 34, 521567 (2009) 
9. Michalak, T., Sroka, J., Rahwan, T., Wooldridge, M., McBurney, P., Jennings, N.R.: A distributed algorithm for anytime coalition structure generation. In: Pro- ceedings of the 9th International Conference on Autonomous Agents and Multia- gent Systems (2010) 
10. Shehory, O., Kraus, S.: Methods for task allocation via agent coalition formation.Artificial Intelligence 101(1-2), 165200 (1998) 
11. Michalak, T., Dowell, A., McBurney, P., Wooldridge, M.: Optimal coalition struc- ture generation in partition function games. In: Proceeding of the 2008 Conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008) 
-----2
1. Sadri, F.: Ambient intelligence: A survey. ACM Comput. Surv. 43(4), 36:136:66 (2011) 
2. Weyns, D., Malek, S., Andersson, J.: Forms: Unifying reference model for for- mal specification of distributed self-adaptive systems. ACM Trans. Auton. Adapt.Syst. 7(1), 8:18:61 (2012) 
3. Hahn, C., Madrigal-Mora, C., Fischer, K.: A platform-independent metamodel for multiagent systems. Autonomous Agents and Multi-Agent Systems 18, 239266 (2009) Enhancing Agent Metamodels with Self-management for AmI 431 
4. Labs, O.: Sun SPOT World (2013), http://www.sunspotworld.com/ 
5. Kephart, J., Walsh, W.: An artificial intelligence perspective on autonomic com- puting policies. In: POLICY 2004, pp. 312 (June 2004) 
6. Bernon, C., Cossentino, M., Gleizes, M.P., Turci, P., Zambonelli, F.: A study of some multi-agent meta-models. In: Odell, J.J., Giorgini, P., Muller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 6277. Springer, Heidelberg (2005) 
7. Beek, M., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking UML state machines. In: ICFI X, pp. 5974. IOS Press (2009) 
8. Beek, M.H.T., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model- checking approach for the analysis of abstract system properties. Science of Com- puter Programming 76(2), 119135 (2011) 
9. Penserini, L., Bresciani, P., Kuflik, T., Busetta, P.: Using tropos to model agent based architectures for adaptive systems: a case study in ambient intelligence. In: SWSTE 2005, pp. 3746 (February 2005) 
10. Molesini, A., Denti, E., Omicini, A.: HomeManager: Testing agent-oriented software engineering in home intelligence. In: Filipe, J., Fred, A., Sharp, B. (eds.) ICAART 2009. CCIS, vol. 67, pp. 205218. Springer, Heidelberg (2010) 
11. Morganti, G., Perdon, A., Conte, G., Scaradozzi, D.: Multi-agent system theory for modelling a home automation system. In: Cabestany, J., Sandoval, F., Prieto, A., Corchado, J.M. (eds.) IWANN 2009, Part I. LNCS, vol. 5517, pp. 585593.Springer, Heidelberg (2009) 
12. Aguero, J., Rebollo, M., Carrascosa, C., Julian, V.: Model-driven development for ubiquitous MAS. In: Augusto, J.C., Corchado, J.M., Novais, P., Analide, C. (eds.) ISAmI 2010. AISC, vol. 72, pp. 8795. Springer, Heidelberg (2010) 
13. Ayala, I., Pinilla, M.A., Fuentes, L.: Modeling context-awareness in agents for ambient intelligence: An aspect-oriented approach. In: Antunes, L., Pinto, H.S.(eds.) EPIA 2011. LNCS, vol. 7026, pp. 2943. Springer, Heidelberg (2011) 
14. Pena, J., Hinchey, M.G., Resinas, M., Sterritt, R., Rash, J.L.: Designing and man- aging evolving systems using a mas product line approach. Sci. Comput. Pro- gram. 66(1), 7186 (2007) 
15. Trencansky, I., Cervenka, R., Greenwood, D.: Applying a uml-based agent modeling language to the autonomic computing domain. In: OOPSLA 2006, pp. 521529.ACM (2006) 
16. Vassev, E., Hinchey, M.: Assl: A software engineering approach to autonomic com- puting. Computer 42(6), 9093 (2009) 
17. Cox, M.T., Raja, A.: Metareasoning: Thinking about thinking. MIT Press, Cam- bridge (2008) 
-----2
1. Blockeel, H., Raedt, L.D., Jacobs, N., Demoen, B.: Scaling up inductive logic pro- gramming by learning from interpretations. Data Mining and Knowledge Discov- ery 3(1), 5993 (1999) 
2. Bordini, R.H., Hubner, J.F.: Semantics for the jason variant of agentspeak (plan failure and some internal actions). In: ECAI, pp. 635640 (2010) 
3. Bordini, R.H., Hubner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in Agent-Speak using Jason. John Wiley & Sons Ltd. (2007) 
4. Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987) 
5. Castelfranchi, C.: Modelling social action for ai agents. Artif. Intell. 103(1-2), 157 182 (1998) 
6. Conte, R., Paolucci, M.: Intelligent social learning. Journal of Artificial Societies and Social Simulation 4(1) (2001) 
7. Guerra-Hernandez, A., El Fallah-Seghrouchni, A., Soldano, H.: Learning in BDI multi-agent systems. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3259, pp. 218233. Springer, Heidelberg (2004) 
8. Guerra-Hernandez, A., Gonzalez-Alarcon, C.A., El Fallah Seghrouchni, A.: Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment. In: Sidorov, G., Hernandez Aguirre, A., Reyes Garc?a, C.A. (eds.) MICAI 2010, Part I. LNCS, vol. 6437, pp. 374385. Springer, Heidelberg (2010) 
9. Guerra-Hernandez, A., Ort?z-Hernandez, G.: Toward BDI sapient agents: Learning intentionally. In: Mayorga, R.V., Perlovsky, L.I. (eds.) Toward Artificial Sapience, pp. 7791. Springer, London (2008) 
10. Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language.In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp.4255. Springer, Heidelberg (1996) 
11. Rao, A., Georgeff, M.: Modelling rational agents within a BDI-Architecture. Tech- nical Report 14, Carlton, Victoria (February 1991) 
12. Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293342 (1998) 
13. Singh, D., Sardina, S., Padgham, L.: Extending BDI plan selection to incorporate learning from experience. Robotics and Autonomous Systems 58(9), 10671075 (2010), Hybrid Control for Autonomous Systems 
14. Singh, D., Sardina, S., Padgham, L., James, G.: Integrating learning into a BDI agent for environments with changing dynamics. In: IJCAI, pp. 25252530 (2011) C.A. Gonzalez-Alarcon, F. Grimaldo, and A. Guerra-Hernandez 443 A Jason Semantic Rules The followingAgentSpeak(L) operational semantic rules are relevant for the pur- poses of this paper, in particular for defining the relation with the rules defined for collecting training examples and the way that an achievement goal deletion event is triggered. For a detailed reviewing of this rules, is highly recommended to consult the text in [3,2].T? = i[head ?!at;h] ?ag, C,M, T,ExecInt? ? ?ag, C?,M, T, ProcMsg?(AchvGl) s.t. C?E = CE ? {?+!at, T??}, C?I = CI \ {T?} T? = [head ? ] ?ag, C,M, T, ClrInt? ? ?ag, C?,M, T, ProcMsg? (ClrInt1) s.t. C?I = CI \ {T?} ?a, i? ? CA execute(a) = e ?ag, C,M, T, ProcAct? ? ?ag, C?,M, T, ProcAct? (ExecAct) s.t.C?A = CA\{?a, i?} C?I = CI ? {i?[te : ct ? h]}, if e C?E = CE ? {??%at, i?}, if e ? (te = +%at) with i = i?[te : ct ? a;h] and % ? {!, ?} CA = {} ? (? ?a, i? ? CA . execute(a) = e) ?ag, C,M, T, ProcAct? ? ?ag, C,M, T, ClrInt? (ExecDone) 
-----2
1. Lomuscio, A., Sergot, M.: Violation, error recovery, and enforcement in the bit transmission problem. In: Proceedings of DEON 2002. Imperial College Press (2002) 
2. Cabodi, G., Camurati, P., Quer, S.: Can BDDs compete with SAT solvers on bounded model checking? In: Proceedings of DAC 2002, pp. 117122. ACM (2002) 
3. Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfia- bility solving. Formal Methods in System Design 19(1), 734 (2001) 
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (1999) 
5. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, ch. 16, pp. 9961071. Elsevier Science Publishers (1990) 
6. Fabre, E., Jezequel, L.: Distributed optimal planning: an approach by weighted automata calculus. In: Proceedings of CDC 2009, pp. 211216. IEEE (2009) 
7. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge.MIT Press, Cambridge (1995) 
8. Levesque, H.: A logic of implicit and explicit belief. In: Proceedings of the 6th National Conference of the AAAI, pp. 198202. Morgan Kaufman (1984) 
9. Lomuscio, A., Sergot, M.: Deontic interpreted systems. Studia Logica 75(1), 6392 (2003) 
10. Markey, N., Schnoebelen, P.: Symbolic model checking of simply-timed systems.In: Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. LNCS, vol. 3253, pp. 102117. Springer, Heidelberg (2004) 
11. M ?eski, A., Penczek, W., Szreter, M., Wozna-Szczesniak, B., Zbrzezny, A.: Two approaches to bounded model checking for linear time logic with knowledge. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol. 7327, pp. 514523. Springer, Heidelberg (2012) 
12. Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae 55(2), 167185 (2003) 
13. Wooldridge, M.: An introduction to multi-agent systems. John Wiley (2002) 
14. Wozna-Szczesniak, B., Zbrzezny, A., Zbrzezny, A.: The BMC method for the ex- istential part of RTCTLK and interleaved interpreted systems. In: Antunes, L., Pinto, H.S. (eds.) EPIA 2011. LNCS, vol. 7026, pp. 551565. Springer, Heidelberg (2011) 
15. Zbrzezny, A.: Improving the translation from ECTL to SAT. Fundamenta Infor- maticae 85(1-4), 513531 (2008) 
-----2
1. Albin, P.S.: The analysis of complex socioeconomic systems. Lexington Books, Lexington (1975) 
2. Amblard, F., Deffuant, G.: The role of network topology on extremism propagation with the relative agreement opinion dynamics. Physica A: Statistical Mechanics and its Applications (January 2004) 
3. Antunes, L., Nunes, D., Coelho, H., Balsa, J., Urbano, P.: Context Switching Versus Context Permeability in Multiple Social Networks. In: Lopes, L.S., Lau, N., Mar- iano, P., Rocha, L.M. (eds.) EPIA 2009. LNCS, vol. 5816, pp. 547559. Springer, Heidelberg (2009) 
4. Axelrod, R.: The Dissemination of Culture. Journal of Conflict Resolution 41(2), 203226 (1997) 
5. Barabasi, A.L., Albert, R.: Emergence of scaling in random networks. Sci- ence 286(5439), 509 (1999) 
6. Deffuant, G., Amblard, F., Weisbuch, G., Faure, T.: How can extremism prevail? A study based on the relative agreement interaction model. Journal of Artificial Societies and Social Simulation 5(4), 1 (2002) 
7. Deffuant, G., Neau, D., Amblard, F., Weisbuch, G.: Mixing beliefs among inter- acting agents. Advances in Complex Systems 3(01n04), 8798 (2000) 
8. Morris, H.: DeGroot. Reaching a Consensus. Journal of the American Statistical Association 69(345), 118121 (1974) 
9. Ellemers, N., Spears, R., Doosje, B.: Self and social identity*. Annual Review of Psychology 53(1), 161186 (2002) 
10. French Jr., J.P.R.: A formal theory of social power. Psychological Review 63, 181 194 (1956) 
11. Galam, S.: Rational group decision making: A random field ising model t = 0.Physica A: Statistical Mechanics and its Applications 238(1), 6680 (1997) 
12. Hegselmann, R., Krause, U.: Opinion dynamics and bounded confidence: models, analysis and simulation. J. Artificial Societies and Social Simulation 5(3), 2 (2002) 
13. Jager, W., Amblard, F.: Uniformity, bipolarization and pluriformity captured as generic stylized behavior with an agent-based simulation model of attitude change.Computational & Mathematical Organization Theory 10, 295303 (2004) 
14. Krause, U.: Soziale Dynamiken mit vielen Interakteuren. Eine Problemskizze in Modellierung und Simulation von Dynamiken mit Vielen Interagierenden Akteuren.Modus. Universitat Bremen (1997) 
15. Krause, U.: A Discrete Nonlinear and Non-Autonomous Model of Consensus For- mation. In: Communications in Difference Equations: Proceedings of the Fourth International Conference on Difference Equations, pp. 227236. Gordon and Breach Pub., Amsterdam (2000) Dynamics of Relative Agreement in Multiple Social Contexts 467 
16. Lehrer, K.: Social consensus and rational agnoiology. Synthese 31, 141160 (1975) 
17. Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K., Balan, G.: MASON: A Multi- agent Simulation Environment. Simulation 81(7), 517527 (2005) 
18. Nunes, D., Antunes, L.: Consensus by segregation - the formation of local consensus within context switching dynamics. In: Proceedings of the 4th World Congress on Social Simulation, WCSS 2012 (2012) 
19. Roccas, S., Brewer, M.B.: Social identity complexity. Personality and Social Psy- chology Review 6(2), 88106 (2002) 
20. Simon, H.A.: Bandwagon and underdog effects and the possibility of election pre- dictions. The Public Opinion Quarterly 18(3), 245253 (1954) 
21. Travers, J., Milgram, S.: An experimental study of the small world problem. So- ciometry 32(4), 425443 (1969) 
22. Watts, D.J., Strogatz, S.H.: Collective dynamics of small-world networks. Na- ture 393(6684), 440442 (1998) 
23. Weisbuch, G.: Bounded confidence and social networks. The European Physical Journal B-Condensed Matter and Complex Systems 38(2), 339343 (2004) 
-----2
1. Bentahar, J., Colombetti, M., Dignum, F., Fornara, N., Jones, A., Singh, M., Chopra, A., Artikis, A., Yolum, P.: Research directions in agent communication.ACM Transactions on Intelligent Systems and Technology 4(2), 127 (2013) 
2. Argyle, M.: Social Interaction. Transaction Publishers Rutgers (2009) 
3. Clark, H.: Using Language. Cambridge University Press (1996) 
4. Condon, W.S., Ogston, W.D.: Sound film analysis of normal and pathological be- havior patterns. J. Nervous Mental Disorders 143, 338347 (1966) 
5. Lesser, V., Decker, K.: Generalizing the partial global planning algorithm. Interna- tional Journal of Intelligent Cooperative Information Systems 1(2), 319346 (1992) 
6. Durkheim, E.: The Rules of Sociological Method, 8th edn.
7. Grosz, B.J., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence 86(2), 269357 (1996) 
8. Jennings, N.R.: Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence 75(2), 195240 (1995) 
9. Kendon, A.: Movement coordination in social interaction: some examples described.Acta Psychologica 32, 101125 (1970) 
10. Decker, K., Wagner, T., Carver, N., Garvey, A., Horling, B., Neiman, D., Podor- ozhny, R., Nagendra Prasad, M., Raja, A., Vincent, R., Xuan, P., Lesser, V., Zhang, X.Q.: Evolution of the GPGP/TAEMS Domain-Independent Coordination Frame- work. International Journal of Autonomous Agents and Multi-Agent Systems 9(1), 87143 (2004) 
11. Cohen, P.R., Levesque, H.J., Nunes, J.H.T.: On acting together. In: Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI 1990), pp. 9499 (1990) 
12. Pynadath, D., Marsella, S.: Psychsim: Modeling theory of mind with decision- theoretic agents. In: Proc. of the Internat. Joint Conference on Artificial Intelli- gence, pp. 11811186 (2005) 
13. Rummel, R.J.: Understanding conflict and war, vol. 2. Sage Publications (1976) 
14. Searle, J.R.: The Construction of Social Reality. Penguin (1996) 
15. Thompson, L., Fine, G.A.: Socially shared cognition, affect and behavior: A review and integration. Personality and Social Psychology Review 3, 278302 (1999) 
16. Turner, J.H.: A theory of social interaction. Stanford University Press (1988) 
17. Vilhjalmsson, H.H., Kopp, S., Marsella, S., Thorisson, K.R. (eds.): IVA 2011. LNCS (LNAI), vol. 6895. Springer, Heidelberg (2011) 
-----2
1. Willensky, U.: Netlogo: Center for connected learning and computer based model- ing. Northwestern University (1999) 
2. Langton, C.G.: Studying artificial life with cellular automata. Physica D: Nonlinear Phenomena 22(1-3), 120149 (1986); Proceedings of the Fifth Annual International Conference Towards an Agent Based Modeling 491 
3. Bone, C., Dragicevic, S., Roberts, A.: A fuzzy-constrained cellular automata model of forest insect infestations. Ecological Modelling 192(1-2), 107125 (2006) 
4. Railsback, S., Grimm, V.: Agent-Based and Individual-Based Modeling: A Practi- cal Introduction. Princeton University Press (2011) 
5. Rebaudo, F., Dangles, O.: An agent-based modeling framework for integrated pest management dissemination programs. Environmental Modelling and Software 45, 141149 (2012) 
6. Rebaudo, F., Crespo-Perez, V., Silvain, J.F., Dangles, O.: Agent-based modeling of human-induced spread of invasive species in agricultural landscapes: Insights from the potato moth in ecuador. Journal of Artificial Societies and Social Simu- lation 14(3) (2011) 
7. Railsback, S.F., Johnson, M.D.: Pattern-oriented modeling of bird foraging and pest control in coffee farms. Ecological Modelling 222(18), 33053319 (2011) 
8. Chadli, A., Tranvouez, E., Bendella, F.: Combining agent-based participatory sim- ulation and technology enhanced learning for rodent control. In: Proceedings of the 2009 Summer Computer Simulation Conference, SCSC 2009, pp. 377382. Society for Modeling & Simulation International, Vista (2009) 
9. Falbo, K.R.: An individual based larval dispersion model for the hawaiian hawskbill sea turtle in the hawaiian archipelago. Masters thesis, Humboldt State University, Environmental Systems: Mathematical Modeling (2011) 
10. Guerreiro, O.: Contribution to the management of the drywood termite cryptoter- mes brevis (walker, 1853) in the azorean archipelago. Masters thesis, University of Azores (2009) 
11. Sakellariou, I., Kefalas, P., Stamatopoulou, I.: Enhancing netlogo to simulate bdi communicating agents. In: Darzentas, J., Vouros, G.A., Vosinakis, S., Arnellos, A.(eds.) SETN 2008. LNCS (LNAI), vol. 5138, pp. 263275. Springer, Heidelberg (2008) 
12. Borges, P.A., Lopes, D., Simoes, A., Rodrigues, A., Bettencourt, S., Myles, T.: De- terminacao da distribuicao e abundancia de termitas (isoptera) nas habitacoes do concelho de angra do hero?smo. Technical report, Universidade dos Acores (2004) 
13. Borges, P.A., Guerreiro, O., Borges, A., Ferreira, F., Bicudo, N., Ferreira, M.T., Nunes, L., Sao Marcos, R., Arroz, A.M., Scheffrahn, R.H., Myles, T.G.: As termitas no arquipelago dos acores: monitorizacao e controle dos voos de dispersao e pre- vencao da colonizacao nas principais localidades afectadas com enfase na termita de madeira seca Cryptotermes brevis (walker). Technical report, Universidade dos Acores (2011) 
14. Borges, P.A., Guerreiro, O., Borges, A., Ferreira, F., Bicudo, N., Ferreira, M.T.: As termitas no arquipelago dos acores: monitorizacao e controle dos voos de dispersao e prevencao da colonizacao nas principais localidades afectadas com enfase na termita de madeira seca Cryptotermes brevis (walker). Technical report, Universidade dos Acores (2012) 
15. Arroz, A., Marcos, R., Neves, I., Guerreiro, O., Gabriel, R., Borges, P.A.: Re- latorio final da campanha: SOS termitas - unidos na prevencao. Technical report, Universidade dos Acores (2012) 
-----2
1. Luhn, H.P.: The automatic creation of literature abstracts. IBM Journal of Re- search and Development 2, 159168 (1958) 
2. Jones, K.S.: A statistical interpretation of term specificity and its application in retrieval. Journal of Documentation 28, 1121 (1972) Building Explicit and Implicit Document Descriptors 503 
3. Salton, G., Yang, C.: On the specification of term value in automatic indexing.Journal of Documentation 29(4), 351372 (1973) 
4. Cigarran, J.M., Penas, A., Gonzalo, J., Verdejo, M.F.: Automatic selection of noun phrases as document descriptors in an fca-based information retrieval system. In: Ganter, B., Godin, R. (eds.) ICFCA 2005. LNCS (LNAI), vol. 3403, pp. 4963.Springer, Heidelberg (2005) 
5. Hulth, A.: Enhancing linguistically oriented automatic keyword extraction. In: Pro- ceedings of Human Language Technology - North American Association for Com- putational Linguistics, pp. 1720 (2004) 
6. Alani, H., Sanghee, K., Millard, D.E., Weal, M.J., Lewis, P.H., Hall, W., Shadbolt, N.: Automatic extraction of knowledge from web documents. In: Proceedings of Workshop of Human Language Technology for the Semantic Web andWeb Services, 2nd International Semantic Web Conference (2003) 
7. Ercan, G., Cicekli, I.: Using lexical chains for keyword extraction. Information Pro- cessing and Management: An International Journal Archive 6, 17051714 (2007) 
8. Zhang, K., Xu, H., Tang, J., Li, J.: Keyword extraction using support vector ma- chine. In: Yu, J.X., Kitsuregawa, M., Leong, H.-V. (eds.) WAIM 2006. LNCS, vol. 4016, pp. 8596. Springer, Heidelberg (2006) 
9. Mihalcea, R., Tarau, P.: Textrank: Bringing order into texts. In: Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP 2004), vol. 2 (2004) 
10. Silva, J.F., Lopes, G.P.: Towards automatic building of document keywords. In: COLING 2010 The 23rd International Conference on Computational Linguistics, pp. 11491157 (2010) 
11. Teixeira, L.F., Lopes, G.P., Ribeiro, R.A.: An extensive comparison of metrics for automatic extraction of key terms. In: Proceedings of 4th International Conference on Agents and Artificial Intelligence, pp. 5563 (2012) 
12. Ventura, J., Silva, J.F.: Mining concepts from texts. In: International Conference on Computer Science (2012) 
13. Suzuki, Y., Fukumoto, F., Sekiguchi, Y.: Keyword extraction of radio news using term weighting with an encyclopedia and newspaper articles. In: SIGIR (1998) 
14. Delort, J.Y., Bouchon-Meunier, B., Rifqi, M.: Enhanced web document summariza- tion using hyperlinks. In: Proceedings of the Fourteenth Association for Computing Machinery Conference on Hypertext and Hypermedia (2003) 
15. Xu, S., Yang, S., Lau, F.C.: Keyword extraction and headline generation using novel word features. In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010) (2010) 
16. Mihalcea, R., Csomai, A.: Wikify!: linking documents to encyclopedic knowledge.In: CIKM 2007: Proceedings of the 16th ACM Conference on Information and Knowledge Management, vol. 2 (2010) 
17. Milne, D., Witten, I.H.: An effective, low-cost measure of semantic relatedness obtained from wikipedia links. In: Proceedings of Wikipedia and AI Workshop at the AAAI 2008 Conference (WikiAI 2008) (2008) 
18. Silva, J.F., Lopes, G.P.: A local maxima method and a fair dispersion normal- ization for extracting multiword units. In: Proceedings of the 6th Meeting on the Mathematics of Language, pp. 369381 (1999) 
19. Frantzi, K., Ananiadou, S.: Extracting nested collocations. In: The 16th Interna- tional Conference on Computational Linguistics (COLING 1996), pp. 4146 (1996) 
20. Yoshida, M., Nakagawa, H.: Automatic term extraction based on perplexity of compound words. In: Dale, R., Wong, K.-F., Su, J., Kwong, O.Y. (eds.) IJCNLP 2005. LNCS (LNAI), vol. 3651, pp. 269279. Springer, Heidelberg (2005) 
-----2
1. Aires, J., Lopes, G., Gomes, L.: Phrase translation extraction from aligned parallel corpora using suffix arrays and related structures. In: Lopes, L.S., Lau, N., Mar- iano, P., Rocha, L.M. (eds.) EPIA 2009. LNCS, vol. 5816, pp. 587597. Springer, Heidelberg (2009) Compact and Fast Indexes for Translation Related Tasks 515 
2. Apostolico, A.: The myriad virtues of subword trees. In: Combinatorial Algorithms on Words. NATO ISO Series, pp. 8596. Springer (1985) 
3. Bilbao, V.D., Lopes, J.P., Ildefonso, T.: Measuring the impact of cognates in paral- lel text alignment. In: Portuguese Conference on Artificial Intelligence, EPIA 2005, pp. 338343. IEEE (2005) 
4. Bourdaillet, J., Huet, S., Langlais, P., Lapalme, G.: Transsearch: from a bilingual concordancer to a translation finder. Machine Translation 24(3), 241271 (2010) 
5. Brisaboa, N.R., Farina, A., Navarro, G., Places, A.S., Rodr?guez, E.: Self-indexing natural language. In: Amir, A., Turpin, A., Moffat, A. (eds.) SPIRE 2008. LNCS, vol. 5280, pp. 121132. Springer, Heidelberg (2008) 
6. Brisaboa, N., Farina, A., Ladra, S., Navarro, G.: Reorganizing compressed text. In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 139146. ACM (2008) 
7. Callison-Burch, C., Bannard, C.: A compact data structure for searchable transla- tion memories. In: EAMT 2005 (2005) 
8. Gomes, L., Aires, J., Lopes, G.: Parallel texts alignment. In: Proceedings of the New Trends in Artificial Intelligence, 14th Portuguese Conference in Artificial In- telligence, EPIA 2009, Aveiro, pp. 513524. Universidade de Aveiro (October 2009) 
9. Gonzalez, R., Grabowski, S., Makinen, V., Navarro, G.: Practical implementation of rank and select queries. In: Poster Proc. Volume of 4th Workshop on Efficient and Experimental Algorithms, pp. 2738. CTI Press and Ellinika Grammata (2005) 
10. Grossi, R., Gupta, A., Vitter, J.: High-order entropy-compressed text indexes. In: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algo- rithms, pp. 841850. Society for Industrial and Applied Mathematics (2003) 
11. Kilgarriff, A., Rychly, P., Smrz, P., Tugwell, D.: Itri-04-08 the sketch engine. In- formation Technology 105, 116 (2004) 
12. Koehn, P.: Europarl: A parallel corpus for statistical machine translation. In: MT summit. 5 (2005) 
13. Kremer, G., Hartung, M., Pado, S., Riezler, S.: Statistical machine translation sup- port improves human adjective translation. Translation: Computation, Corpora, Cognition 2(1) (2012) 
14. Lopez, A.: Hierarchical phrase-based translation with suffix arrays. In: Proc. of EMNLP-CoNLL, pp. 976985 (2007) 
15. Macklovitch, E., Simard, M., Langlais, P.: Transsearch: A free translation mem- ory on the world wide web. In: Second International Conference On Language Resources and Evaluation, LREC, vol. 3, pp. 12011208 (2000) 
16. Manber, U., Myers, G.: Suffix arrays: a new method for on-line string searches.SIAM Journal on Computing 22(5), 935948 (1993) 
17. Puglisi, S.J., Smyth, W.F., Turpin, A.: Inverted files versus suffix arrays for locating patterns in primary memory. In: Crestani, F., Ferragina, P., Sanderson, M. (eds.) SPIRE 2006. LNCS, vol. 4209, pp. 122133. Springer, Heidelberg (2006) 
18. Sadakane, K.: New text indexing functionalities of the compressed suffix arrays.Journal of Algorithms 48(2), 294313 (2003) 
19. Tiedemann, J.: News from opus-a collection of multilingual parallel corpora with tools and interfaces. Recent Advances in Natural Language Processing 5, 237248 (2009) 
-----2
1. Patwardhan, S., Pedersen, T.: Using WordNet-based context vectors to estimate the semantic relatedness of concepts. In: Proceedings of the EACL 2006 Workshop Making Sense of Sense, pp. 112 (2006) 
2. Hsu, M.-H., Tsai, M.-F., Chen, H.-H.: Query expansion with conceptNet and word- Net: An intrinsic comparison. In: Ng, H.T., Leong, M.-K., Kan, M.-Y., Ji, D. (eds.) AIRS 2006. LNCS, vol. 4182, pp. 113. Springer, Heidelberg (2006) 
3. Tikk, D., Yang, J.D., Bang, S.L.: Hierarchical text categorization using fuzzy re- lational thesaurus. KYBERNETIKA-PRAHA 39(5), 583600 (2003) 
4. Yousefi, J., Kosseim, L.: Using semantic constraints to improve question answering.In: Kop, C., Fliedl, G., Mayr, H.C., Metais, E. (eds.) NLDB 2006. LNCS, vol. 3999, pp. 118128. Springer, Heidelberg (2006) Extracting Semantic Relations from Standalone Documents 527 
5. Sheth, A., Arpinar, I.B., Kashyap, V.: Relationships at the heart of semantic web: Modeling, discovering, and exploiting complex semantic relationships. In: Nikravesh, M., Azvine, B., Yager, R., Zadeh, L.A. (eds.) Enhancing the Power of the Internet. STUDFUZZ, vol. 139, pp. 6394. Springer, Heidelberg (2003) 
6. Ventura, J., Silva, J.F.: Mining concepts from texts. In: International Conference on Computer Science (2012) 
7. Biemann, C.: Ontology Learning from Text: A Survey of Methods. LDV-Forum Journal 20(2), 7593 (2005) 
8. Gmez-Prez, A., Manzano-Macho, D.: Deliverable 1.5: A survey of ontology learning methods and techniques. Ontology Based Information Exchange for Knowledge Management and Electronic Commerce 29243 (2003) 
9. Grefenstette, G.: Evaluation techniques for automatic semantic extraction: com- paring syntactic and window based approaches. In: Corpus Processing for Lexical Acquisition, pp. 205216. MIT Press, Cambridge (1996) 
10. Akbik, A., Bro, J.: Wanderlust: Extracting Semantic Relations from Natural Lan- guage Text Using Dependency Grammar Patterns. In: Proceedings of the 18th International World Wide Web Conference, Madrid, Spain (2009) 
11. Nakayama, K., Hara, T., Nishio, S.: Wikipedia Link Structure and Text Mining for Semantic Relation Extraction. In: SemSearch 2008, CEUR Workshop Proceedings (2008) ISSN 1613-0073 
12. Ghani, R., Fano, A.: Using Text Mining to Infer Semantic Attributes for Retail Data Mining. In: Proceeding of the 2nd IEEE International Conference on Data Mining (ICDM 2002), Maebashi, Japan, pp. 195203 (2002) 
13. Snow, R., Jurafsky, A., Ng, A.: Learning syntactic patterns for automatic hypernym discovery. In: Advances in Neural Information Processing Systems (NIPS 2004), Vancouver, British Columbia (2004) 
14. Mohit, B., Narayanan, S.: Semantic Extraction with Wide-Coverage Lexical Re- sources. In: Proceedings of the North American Chapter of the Association for Computational Linguistics - Human Language Technologies, Edmonton, Canada, pp. 6466 (2003) 
15. Gildea, D., Jurafsky, D.: Automatic Labeling of Semantic Roles. Computational Linguistics 28(3), 245288 (2002) 
16. Ruiz-Casado, M., Alfonseca, E., Castells, P.: Automatic extraction of semantic re- lationships for wordNet by means of pattern learning from wikipedia. In: Montoyo, A., Munoz, R., Metais, E. (eds.) NLDB 2005. LNCS, vol. 3513, pp. 6779. Springer, Heidelberg (2005) 
17. Baker, C.F., Fillmore, C.J., Lowe, J.B.: The Berkeley FrameNet project. In: Pro- ceedings of the 17th International Conference on Computational Linguistics, Mon- treal, Canada, pp. 8690 (1998) 
18. Miller, G.A.: WordNet: A Lexical Database for English. Communications of the ACM 38(11), 3941 (1995) 
19. Deerwester, S., Harshman, R., Dumais, S., Furnas, G., Landauer, T.: Improving Information Retrieval with Latent Semantic Indexing. In: Proceedings of the 51st Annual Meeting of the American Society for Information Science, pp. 3640 (1988) 
20. Panchenko, A., Adeykin, S., Romanov, A., Romanov, P.: Extraction of Semantic Re- lations betweenConceptswithKNNAlgorithms onWikipedia. In:Proceedings of the 10th International Conference on Formal Concept Analysis, Leuven, Belgium (2012) 
21. Terra, E., Clarke, C.L.A.: Frequency estimates for statistical word similar- ity measures. In: Proceedings of the Human Language Technology and North American Chapter of Association of Computational Linguistics Conference 2003 (HLT/NAACL 2003), pp. 244251 (2003) 
-----2
1. Clarke, J., Lapata, M.: Constraint-based Sentence Compression: An Integer Programming Approach. In: Proceedings of the 21st International Conference on Computational Linguis- tics and 44th Annual Meeting of the Association for Computational Linguistics (2006) 
2. Cohn, T., Lapata, M.: Sentence Compression Beyond Word Deletion. In: Proceedings of the 22nd International Conference on Computational Linguistics (2008) 
3. Cohn, T., Lapata, M.: Sentence Compression as Tree Transduction. Journal of Artificial In- telligence Research 34(1), 637674 (2009) Rule Induction for Sentence Reduction 539 
4. Cordeiro, J., Dias, G., Cleuziou, G., Brazdil, P.: Biology Based Alignments of Paraphrases for Sentence Compression. In: Proceedings of the Workshop on Textual Entailment and Para- phrasing associated to the 45th Annual Meeting of the Association for Computational Lin- guistics Conference (2007) 
5. Cordeiro, J., Dias, G., Brazdil, P.: New Functions for Unsupervised Asymmetrical Paraphrase Detection. Journal of Software 2(4), 1223 (2007) 
6. Corston-Oliver, S.: Text Compaction for Display on Very Small Screens. In: Proceedings of the Workshop on Automatic Summarization associated to the 2nd North American Chapter of the Association for Computational Linguistics Conference (2001) 
7. Dolan, W.B., Quirck, C., Brockett, C.: Unsupervised Construction of Large Paraphrase Cor- pora: Exploiting Massively Parallel News Sources. In: Proceedings of 20th International Conference on Computational Linguistics (2004) 
8. Hongyan, H., McKeown, K.R.: Cut and Paste based Text Summarization. In: Proceedings of the 1st North American Chapter of the Association for Computational Linguistics Confer- ence (2000) 
9. Knight, K., Marcu, D.: Summarization beyond sentence extraction: A probabilistic approach to sentence compression. Artificial Intelligence 139(1), 91107 (2002) 
10. Muggleton, S.: Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic. Artificial Intelligence 114(1-2), 283296 (1999) 
11. Le Nguyen, M., Horiguchi, S., Ho, B.T.: Example-based Sentence Reduction using the Hid- den Markov Model. ACM Transactions on Asian Language Information Processing 3(2), 146158 (2004) 
12. Needleman, S.B., Wunsch, C.D.: A General Method Applicable to the Search for Similarities in the Amino Acid Sequence of Two Proteins. Journal of Molecular Biology 48(3), 443453 (1970) 
13. Quinlan, J.R.: Learning Logical Definitions from Relations. Machine Learning 5(3), 239 266 (1990) 
14. Smith, T.F., Waterman, M.S.: Identification of Common Molecular Subsequences. Journal of Molecular Biology 147, 195197 (1981) 
15. Srinivasan, A.: The Aleph Manual. Technical Report. Oxford University, UK (2000) 
16. Turner, J., Charniak, E.: Supervised and Unsupervised Learning for Sentence Compression.In: Proceedings of the 43rd Annual Meeting of the Association for Computational Linguistics Conference (2005) 
17. Siddharthan, A., Nenkova, A., McKeown, K.: Syntactic Simplification for Improving Con- tent Selection in Multi-Document Summarization. In: Proceedings of the 20th International Conference on Computational Linguistics (2004) 
18. Vandeghinste, V., Pan, Y.: Sentence Compression for Automated Subtitling: A Hybrid Ap- proach. In: Proceedings of the Workshop on Text Summarization Branches Out associated to the 44th Annual Meeting of the Association for Computational Linguistics Conference (2004) 
19. Vickrey, D., Koller, D.: Sentence Simplification for Semantic Role Labeling. In: Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics Conference (2008) 
20. Zajic, D.M., Dorr, B.J., Lin, J.: Single-Document and Multi-Document Summarization Tech- niques for Email Threads using Sentence Compression. Information Processing and Manage- ment 44(4), 16001610 (2008) 