Result 1 to 20 of 2366 total
Regression analysis of clustered interval-censored failure time data with the additive hazards model. (English)
J. Nonparametric Stat. 24, No. 4, 1041-1050 (2012).
1
SeVe: automatic tool for verification of security protocols. (English)
Front. Comput. Sci. 6, No. 1, 57-75 (2012).
2
Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction. (English)
Rahwan, Iyad (ed.) et al., PRIMA 2012: Principles and practice of multi-agent systems. 15th international conference, Kuching, Sarawak, Malaysia, September 3‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32728-5/pbk). Lecture Notes in Computer Science 7455. Lecture Notes in Artificial Intelligence, 16-30 (2012).
3
The psychological behaviour research of individuals in mass violence events. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing theories and applications. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31575-6/pbk). Lecture Notes in Computer Science 7390. Lecture Notes in Artificial Intelligence, 625-632 (2012).
4
Aircraft landing scheduling based on semantic agent negotiation mechanism. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing technology. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31587-9/pbk). Lecture Notes in Computer Science 7389, 483-489 (2012).
5
Detecting insulators in the image of overhead transmission lines. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing technology. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31587-9/pbk). Lecture Notes in Computer Science 7389, 442-450 (2012).
6
Robust ISOMAP based on neighbor ranking metric. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing technology. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31587-9/pbk). Lecture Notes in Computer Science 7389, 221-229 (2012).
7
A scatter search methodology for the aircraft conflict resolution problem. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing technology. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31587-9/pbk). Lecture Notes in Computer Science 7389, 18-24 (2012).
8
Improved BDD-based discrete analysis of timed systems. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 326-340 (2012).
9
Automatic compositional verification of timed systems. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 272-276 (2012).
10
Multiple sequence alignment using the hidden Markov model trained by an improved quantum-behaved particle swarm optimization. (English)
Inf. Sci. 182, No. 1, 93-114 (2012).
11
Recognizing natural scene characters by convolutional neural network and bimodal image enhancement. (English)
Iwamura, Masakazu (ed.) et al., Camera-based document analysis and recognition. 4th international workshop, CBDAR 2011, Beijing, China, September 22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29363-4/pbk). Lecture Notes in Computer Science 7139, 69-82 (2012).
12
Online independent reduced least squares support vector regression. (English)
Inf. Sci. 201, 37-52 (2012).
13
Convergence analysis and improvements of quantum-behaved particle swarm optimization. (English)
Inf. Sci. 193, 81-103 (2012).
14
Extending Smmon mapping with Bregman divergences. (English)
Inf. Sci. 187, 72-92 (2012).
15
Complexity of the soundness problem of bounded workflow nets. (English)
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 92-107 (2012).
16
Global exponential stability of a class of memristor-based recurrent neural networks with time-varying delays. (English)
Neurocomputing 97, 149-154 (2012).
17
An improved recursive reduced least squares support vector regression. (English)
Neurocomputing 87, 1-9 (2012).
18
Recovering geometric detail by octree normal maps. (English)
Pan, Zhigeng (ed.) et al., Transactions on Edutainment VII. Berlin: Springer (ISBN 978-3-642-29049-7/pbk; 978-3-642-29050-3/ebook). Lecture Notes in Computer Science 7145. Journal Subline, 62-73 (2012).
19
A model checker for hierarchical probabilistic real-time systems. (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, 705-711 (2012).
20
Result 1 to 20 of 2366 total
Start
Contact
Print
General Help
