612 search results - page 94 / 123 » Bounded model checking for knowledge and real time |
ML
2010
ACM
14 years 4 months ago
2010
ACM
We introduce a general-purpose learning machine that we call the Guaranteed Error Machine, or GEM, and two learning algorithms, a real GEM algorithm and an ideal GEM algorithm. Th...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
-In order to implement a continuous and robust dynamic localization of a mobile robot, the fusion of dead reckoning and absolute sensors is often used. Depending on the objectives ...
RTCSA
2003
IEEE
15 years 2 months ago
2003
IEEE
Network of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-theshelf processors become cheaper and faster, it...
SIGIR
2002
ACM
14 years 9 months ago
2002
ACM
We describe a new family of topic-ranking algorithms for multi-labeled documents. The motivation for the algorithms stems from recent advances in online learning algorithms. The a...
115
click to vote
RTS
2010
14 years 4 months ago
2010
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...