4313 search results - page 714 / 863 » Using time travel to diagnose computer problems |
153
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Most existing approaches for learning action models work by extracting suitable low-level features and then training appropriate classifiers. Such approaches require large amount...
116
click to vote
GI
2001
Springer
15 years 9 months ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
158
click to vote
CA
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a simple and efficient method of modeling synthetic vision, memory, and learning for autonomous animated characters in real-time virtual environments. The mode...
126
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
141
Voted
ECAI
1992
Springer
15 years 8 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...