12981 search results - page 2561 / 2597 » Model Checking (Abstract) |
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Human users trying to plan and accomplish informationdependent goals in highly dynamic environments with prevalent uncertainty must consult various types of information s...
GD
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We introduce the novel problem of inter-robot transfer learning for perceptual classification of objects, where multiple heterogeneous robots communicate and transfer learned obje...
ECCV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. With the rapid development of fast data acquisition techniques, 3D scans that record the geometric and photometric information of deformable objects are routinely acquire...