3742 search results - page 469 / 749 » On the Use of Formal Techniques for Validation |
148
click to vote
ITC
1997
IEEE
15 years 11 months ago
1997
IEEE
Tri-state buses and pass transistor logic are used in many complex applications to achieve high performance and small area. Such circuits often contain logic requiring one-hot sig...
142
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Physical agents (such as wheeled vehicles, UAVs, hovercraft, etc.) with simple control systems are often sensitive to changes in their physical design and control parameters. As s...
173
click to vote
FLAIRS
2001
15 years 8 months ago
2001
In this paper, we give an overview of a system (CAIMAN) that can facilitate the exchange of relevant documents between geographically dispersed people in Communities of Interest. ...
211
click to vote
IVC
2007
15 years 6 months ago
2007
This paper deals with content-based image retrieval. When the user is looking for large categories, statistical classification techniques are efficient as soon as the training se...
196
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Partially Observable Markov Decision Processes (POMDPs) offer a powerful mathematical framework for making optimal action choices in noisy and/or uncertain environments, in par...