5255 search results - page 689 / 1051 » Formal Methods for Privacy |
151
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...
166
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
163
click to vote
FMCAD
2007
Springer
16 years 28 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
173
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
— This paper demonstrates a learning mechanism for complex tasks. Such tasks may be inherently expensive to learn in terms of training time and/or cost of obtaining each training...
140
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper describes an original control law called qualitative servoing. The particularity of this method is that no specific desired value is specified for the visual featu...