1134 search results - page 131 / 227 » Composing Tests from Examples |
SP
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
CIMCA
2005
IEEE
15 years 4 months ago
2005
IEEE
Despite the tremendous progress in robotic hardware and in both sensorial and computing efficiencies the performance of contemporary autonomous robots is still far below that of ...
DFT
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper analyzes the deposition defects in devices and circuits made of Quantum-dot Cellular Automata (QCA) for molecular implementation. Differently from metal-based QCA, in ...
ILP
2004
Springer
15 years 4 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
100
click to vote
HAPTICS
2003
IEEE
15 years 4 months ago
2003
IEEE
The majority of today’s haptic interfaces are designed for hand-based interaction with virtual environments. However, there are several reallife tasks that require a person to i...