Sciweavers

38 search results - page 1 / 8
» Easy and Hard Testbeds for Real-Time Search Algorithms
Sort
View
AAAI
1996
13 years 5 months ago
Easy and Hard Testbeds for Real-Time Search Algorithms
Although researchers have studied which factors influence the behavior of traditional search algorithms, currently not much is known about how domain properties influence the perf...
Sven Koenig, Reid G. Simmons
RTSS
2006
IEEE
13 years 10 months ago
LITMUS^RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers
We present a real-time, Linux-based testbed called LITMUSRT , which we have developed for empirically evaluating multiprocessor real-time scheduling algorithms. We also present th...
John M. Calandrino, Hennadiy Leontyev, Aaron Block...
FASE
2004
Springer
13 years 8 months ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
Peter Csaba Ölveczky, José Meseguer
IJCV
2002
143views more  IJCV 2002»
13 years 4 months ago
Trinocular Stereo: A Real-Time Algorithm and its Evaluation
In telepresence applications each user is immersed in a rendered 3D-world composed from representations transmitted from remote sites. The challenge is to compute dense range data...
Jane Mulligan, Volkan Isler, Konstantinos Daniilid...
ICCBR
2005
Springer
13 years 10 months ago
Learning to Win: Case-Based Plan Selection in a Real-Time Strategy Game
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...
David W. Aha, Matthew Molineaux, Marc J. V. Ponsen