Sciweavers

761 search results - page 123 / 153
» A Reactive Approach to Explanation
Sort
View
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
15 years 6 months ago
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
ISCA
2007
IEEE
114views Hardware» more  ISCA 2007»
15 years 6 months ago
Mechanisms for bounding vulnerabilities of processor structures
Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...
Niranjan Soundararajan, Angshuman Parashar, Anand ...
ICSOC
2007
Springer
15 years 6 months ago
Automated Dynamic Maintenance of Composite Services Based on Service Reputation
Abstract. Service-oriented computing promotes the construction of applications by composing distributed services that are advertised in an open service market. In such an environme...
Domenico Bianculli, Radu Jurca, Walter Binder, Car...
GLOBECOM
2006
IEEE
15 years 5 months ago
Time-Driven Early Discard (TED) to Improve the Fairness of TCP Congestion Control
— This paper proposes a novel adaptive AQM (advanced queue management) approach called Time-Driven Early Discard (TED). The basic underlying idea is to set a deadline on packet s...
Mario Baldi, Andrea Vesco
IROS
2006
IEEE
177views Robotics» more  IROS 2006»
15 years 5 months ago
Adaptive Control of Heterogeneous Marine Sensor Platforms in an Autonomous Sensor Network
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...
Donald P. Eickstedt, Michael R. Benjamin, Henrik S...