Sciweavers

168 search results - page 22 / 34
» Nominal System T
Sort
View
AGENTS
1999
Springer
13 years 12 months ago
Planning and Resource Allocation for Hard Real-Time, Fault-Tolerant Plan Execution
We describe the interface between a real-time resource allocation system with an AI planner in order to create fault-tolerant plans that are guaranteed to execute in hard real-tim...
Ella M. Atkins, Tarek F. Abdelzaher, Kang G. Shin,...
DLOG
2007
13 years 10 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
IJCAI
2001
13 years 9 months ago
Using Case-Base Data to Learn Adaptation Knowledge for Design
One advantage of Case-Based Reasoning (CBR) is the relative ease of constructing and maintaining CBR systems, especially as a number of commercial CBR tools are available. However...
Jacek Jarmulak, Susan Craw, Ray Rowe
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
14 years 2 months ago
Bouncing an Unconstrained Ball in Three Dimensions with a Blind Juggling Robot
— We describe the design of a juggling robot that is able to vertically bounce a completely unconstrained ball without any sensing. The robot consists of a linear motor actuating...
Philipp Reist, Raffaello D'Andrea
ACSAC
2010
IEEE
13 years 5 months ago
Kells: a protection framework for portable data
Portable storage devices, such as key-chain USB devices, are ubiquitous. These devices are often used with impunity, with users repeatedly using the same storage device in open co...
Kevin R. B. Butler, Stephen E. McLaughlin, Patrick...