Result 1 to 20 of 287 total
Investigating time properties of interrupt-driven programs. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 131-146 (2012).
1
Automated verification of shape, size and bag properties via user-defined predicates in separation logic. (English)
Sci. Comput. Program. 77, No. 9, 1006-1036 (2012).
2
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. (English)
J. Log. Algebr. Program. 81, No. 1, 2-25 (2012).
3
On-line machine covering on two machines with local migration. (English)
Comput. Math. Appl. 62, No. 5, 2336-2341 (2011).
4
Chromatic image classification and recognition based on interest point features. (Chinese)
Syst. Eng. Electron. 33, No. 2, 438-442 (2011).
5
Finite-key analysis for quantum key distribution with decoy states. (English)
Quantum Inf. Comput. 11, No. 5-6, 374-389 (2011).
6
A novel approach to image assessment by seeking unification of subjective and objective criteria based on supervised learning. (English)
Gagalowicz, André (ed.) et al., Computer vision/computer graphics collaboration techniques. 5th international conference, MIRAGE 2011, Rocquencourt, France, October 10‒11, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24135-2/pbk). Lecture Notes in Computer Science 6930, 274-285 (2011).
7
Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6991. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). xiv, 670~p. EUR~84.53 (2011).
8
Multi-objective path planning for space exploration robot based on chaos immune particle swarm optimization algorithm. (English)
Deng, Hepu (ed.) et al., Artificial intelligence and computational intelligence. Third international conference, AICI 2011, Taiyuan, China, September 24‒25, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23886-4/pbk). Lecture Notes in Computer Science 7003. Lecture Notes in Artificial Intelligence, 42-52 (2011).
9
A specialization calculus for pruning disjunctive predicates to support verification. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 293-309 (2011).
10
Structured specifications for better verification of heap-manipulating programs. (English)
Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 386-401 (2011).
11
Automatically refining partial specifications for program verification. (English)
Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 369-385 (2011).
12
Distributed graph clustering for application in wireless networks. (English)
Bettstetter, Christian (ed.) et al., Self-organizing systems. 5th international workshop, IWSOS 2011, Karlsruhe, Germany, February 23‒24. 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19166-4/pbk). Lecture Notes in Computer Science 6557, 92-103 (2011).
13
An approach to robot SLAM based on incremental appearance learning with omnidirectional vision. (English)
Int. J. Syst. Sci. 42, No. 3, 407-427 (2011).
14
Stability analysis and controller design for networked control systems with random time delay. (English)
Int. J. Syst. Sci. 42, No. 3, 359-367 (2011).
15
Visual attention guided bit allocation in video compression. (English)
Image Vis. Comput. 29, No. 1, 1-14 (2011).
16
Quality relevant data-driven modeling and monitoring of multivariate dynamic processes: the dynamic T-PLS approach (English)
IEEE Transactions on Neural Networks 22, No. 12, 2262-2271 (2011).
17
Data-based hybrid tension estimation and fault diagnosis of cold rolling continuous annealing processes (English)
IEEE Transactions on Neural Networks 22, No. 12, 2284-2295 (2011).
18
Detecting fall risk factors for toddlers (English)
IEEE Pervasive Computing 10, No. 1, 82-89 (2011).
19
Finite-key analysis for quantum key distribution with decoy states (English)
Quantum Information & Computation 11, No. 5-6, 374-389 (2011).
20
Result 1 to 20 of 287 total
Start
Contact
Print
General Help
