703 search results - page 33 / 141 » Using Cases Utility for Heuristic Planning Improvement |
RAS
2006
13 years 7 months ago
2006
In this paper, we present techniques that allow one or multiple mobile robots to efficiently explore and model their environment. While much existing research in the area of Simul...
IV
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...
INFORMATICALT
2007
13 years 7 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
MONET
2002
13 years 7 months ago
2002
Many cache management schemes designed for mobile environments are based on invalidation reports (IRs). However, IR-based approach suffers from long query latency and it cannot eff...
VTS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we identify two main bottlenecks in the functional diagnosis flow and propose new ways to overcome these. Our approach completely eliminates the “Primary Input (P...