368 search results - page 35 / 74 » Calculating an exceptional machine |
KDD
2004
ACM
14 years 8 months ago
2004
ACM
Information retrieval systems, based on keyword match, are evolving to question answering systems that return short passages or direct answers to questions, rather than URLs point...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
We introduce the notion of a conditioned-safe ceremony. A “ceremony” is similar to the conventional notion of a protocol, except that a ceremony explicitly includes human part...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— High performance and compliant robot control requires accurate dynamics models which cannot be obtained analytically for sufficiently complex robot systems. In such cases, mac...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...