Result 1 to 20 of 4028 total
Nearest neighbor classifier generalization through spatially constrained filters. (English)
Pattern Recognition 46, No. 1, 325-331 (2013).
1
A complete and fully automated face verification system on mobile devices. (English)
Pattern Recognition 46, No. 1, 45-56 (2013).
2
An efficient approach for abstraction-refinement in model checking. (English)
Theor. Comput. Sci. 461, 76-85 (2012).
3
A concurrent logical relation. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 107-121, electronic only (2012).
4
Dynamically-driven timed automaton abstractions for proving liveness of continuous systems. (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, 59-74 (2012).
5
Higher-order approximations for verification of stochastic hybrid systems. (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, 416-434 (2012).
6
ECMA-335 static formal semantics. (English)
Program. Comput. Softw. 38, No. 4, 183-188 (2012); translation from Programmirovanie 38, No. 4 (2012).
7
Experience of improving the BLAST static verification tool. (English)
Program. Comput. Softw. 38, No. 3, 134-142 (2012); translation from Programmirovanie 38, No. 3 (2012).
8
An algorithm of automatic workflow optimization. (English)
Program. Comput. Softw. 38, No. 1, 43-56 (2012); translation from Programmirovanie 38, No. 1 (2012).
9
RCOS: a formal model-driven engineering method for component-based software. (English)
Front. Comput. Sci. 6, No. 1, 17-39 (2012).
10
SVM-DSmT combination for the simultaneous verification of off-line and on-line handwritten signatures. (English)
Int. J. Comput. Intell. Appl. 11, No. 3, 1250018,21p. (2012).
11
Learning and verifying safety constraints for planners in a knowledge-impoverished system. (English)
Comput. Intell. 28, No. 3, 329-357 (2012).
12
Faust: A framework for formal verification, automated debugging, and software test generation. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 234-240 (2012).
13
Parallelizing the SPIN model checker. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 155-171 (2012).
14
On parallel software verification using Boolean equation systems. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 80-97 (2012).
15
A compositional minimization approach for large asynchronous design verification. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 62-79 (2012).
16
Combining the sweep-line method with the use of an external-memory priority queue. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 43-61 (2012).
17
Security modeling of grid systems using Petri nets. (English)
Kotenko, Igor (ed.) et al., Computer network security. 6th international conference on mathematical methods, models and architectures for computer network security, MMM-ACNS 2012, St. Petersburg, Russia, October 17‒19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33703-1/pbk). Lecture Notes in Computer Science 7531, 299-308 (2012).
18
Translation validation for PRES+ models of parallel behaviours via an FSMD equivalence checker. (English)
Rahaman, Hafizur (ed.) et al., Progress in VLSI design and test. 16th international symposium, VDAT 2012, Shibpur, India, July 1‒4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31493-3/pbk). Lecture Notes in Computer Science 7373, 69-78 (2012).
19
Verification of a heat diffusion simulation written with orléans skeleton library. (English)
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 9th international conference, PPAM 2011, Torun, Poland, September 11‒14, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-31499-5/pbk). Lecture Notes in Computer Science 7204, 91-100 (2012).
20
Result 1 to 20 of 4028 total
Start
Contact
Print
General Help
