Result 1 to 20 of 1958 total
Multi-core reachability for timed automata. (English)
Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 91-106 (2012).
1
Improved multi-core nested depth-first search. (English)
Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 269-283 (2012).
2
Caching VM instances for fast VM provisioning: a comparative evaluation. (English)
Kaklamanis, Christos (ed.) et al., Euro-Par 2012 parallel processing. 18th international conference, Euro-Par 2012, Rhodes Island, Greece, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32819-0/pbk). Lecture Notes in Computer Science 7484, 325-336 (2012).
3
Classification of breast tissues in mammographic images in mass and non-mass using McIntosh’s diversity index and SVM. (English)
Perner, Petra (ed.), Machine learning and data mining in pattern recognition. 8th international conference, MLDM 2012, Berlin, Germany, July 13‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31536-7/pbk). Lecture Notes in Computer Science 7376. Lecture Notes in Artificial Intelligence, 482-494 (2012).
4
Lung nodules classification in CT images using Shannon and Simpson diversity indices and SVM. (English)
Perner, Petra (ed.), Machine learning and data mining in pattern recognition. 8th international conference, MLDM 2012, Berlin, Germany, July 13‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31536-7/pbk). Lecture Notes in Computer Science 7376. Lecture Notes in Artificial Intelligence, 454-466 (2012).
5
Graph cospectrality using neighborhood matrices. (English)
Electron. J. Comb. 19, No. 3, Research Paper P23, 6 p., electronic only (2012).
6
From likelihood uncertainty to fuzziness: a possibility-based approach for building clinical dsss. (English)
Corchado, Emilio (ed.) et al., Hybrid artificial intelligent systems. 7th international conference, HAIS 2012, Salamanca, Spain, March 28‒30, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-28930-9/pbk). Lecture Notes in Computer Science 7209. Lecture Notes in Artificial Intelligence, 369-380 (2012).
7
Multilayer-perceptron network ensemble modeling with genetic algorithms for the capacity of bolted lap joint. (English)
Corchado, Emilio (ed.) et al., Hybrid artificial intelligent systems. 7th international conference, HAIS 2012, Salamanca, Spain, March 28‒30, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28941-5/pbk). Lecture Notes in Computer Science 7208. Lecture Notes in Artificial Intelligence, 545-556 (2012).
8
KETO: a knowledge editing tool for encoding condition ‒ action guidelines into clinical DSSs. (English)
Corchado, Emilio (ed.) et al., Hybrid artificial intelligent systems. 7th international conference, HAIS 2012, Salamanca, Spain, March 28‒30, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28941-5/pbk). Lecture Notes in Computer Science 7208. Lecture Notes in Artificial Intelligence, 352-364 (2012).
9
Application of genetic algorithms to optimize a truncated mean $k$-nearest neighbours regressor for hotel reservation forecasting. (English)
Corchado, Emilio (ed.) et al., Hybrid artificial intelligent systems. 7th international conference, HAIS 2012, Salamanca, Spain, March 28‒30, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-28941-5/pbk). Lecture Notes in Computer Science 7208. Lecture Notes in Artificial Intelligence, 79-90 (2012).
10
Efficient modelling and generation of Markov automata. (English)
Koutny, Maciej (ed.) et al., CONCUR 2012 ‒ concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 364-379 (2012).
11
A spatial data infrastructure situation-aware to the 2014 World Cup. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-31124-6/pbk). Lecture Notes in Computer Science 7333, 561-570 (2012).
12
Security and cryptography for networks. 8th international conference, SCN 2012, Amalfi, Italy, September 5‒7, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7485. Berlin: Springer (ISBN 978-3-642-32927-2/pbk). xi, 582~p. EUR~74.90 (2012).
13
Service-oriented and cloud computing. First European conference, ESOCC 2012, Bertinoro, Italy, September 19‒21, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7592. Berlin: Springer (ISBN 978-3-642-33426-9/pbk). xi, 282~p. (2012).
14
{\sc Sensor}$_{9}${\sc k} : a testbed for designing and experimenting with WSN-based ambient intelligence applications. (English)
Pervasive Mobile Comput. 8, No. 3, 448-466 (2012).
15
Dynamic model of distribution and organization of activities in multi-agent systems. (English)
Log. J. IGPL 20, No. 3, 570-578 (2012).
16
Nutab-backspace: rewriting to normalize non-determinism in post-silicon debug traces. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 513-531 (2012).
17
Curriculum learning for motor skills. (English)
Kosseim, Leila (ed.) et al., Advances in artificial intelligence. 25th Canadian conference on artificial intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28‒30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30352-4/pbk). Lecture Notes in Computer Science 7310. Lecture Notes in Artificial Intelligence, 325-330 (2012).
18
Polynomial characteristic sets for $DFA$ identification. (English)
Theor. Comput. Sci. 448, 41-46 (2012).
19
Hierarchic adaptive logics. (English)
Log. J. IGPL 20, No. 1, 45-72 (2012).
20
Result 1 to 20 of 1958 total
Start
Contact
Print
General Help
