3066 search results - page 164 / 614 » On Facilitating Automated Evaluation |
ISER
2000
Springer
2000
Springer
Simulation and Experimental Evaluation of Complete Sensor-Based Coverage in Rectilinear Environments
14 years 25 days ago
: Although sensor-based coverage is a skill which is applicable to a variety of robot tasks, its implementation has so far been limited, mostly by the physical limitations of tradi...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
ICN
2009
Springer
13 years 7 months ago
2009
Springer
It is essential that a monitoring system is being designed with performance and scalability in mind. But due to the diversity and complexity of both the monitoring and the monitore...
LPAR
2001
Springer
14 years 1 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
DLOG
2006
13 years 10 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...