4340 search results - page 522 / 868 » Formal Methods and Cryptography |
165
click to vote
CAV
2007
Springer
16 years 26 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...
158
click to vote
FMCAD
2007
Springer
16 years 26 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...
172
click to vote
ICRA
2006
IEEE
16 years 22 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...
139
click to vote
IROS
2006
IEEE
16 years 21 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...
143
click to vote
ECBS
2005
IEEE
16 years 9 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...