Sciweavers

1155 search results - page 150 / 231
» Elaborating Domain Descriptions
Sort
View
JOLLI
2007
128views more  JOLLI 2007»
13 years 9 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
JECR
2000
123views more  JECR 2000»
13 years 9 months ago
Knowledgeable Agents for Search and Choice Support in E-commerce: A Decision Support Systems Approach
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...
Susan Sproule, Norman P. Archer
ICIDS
2010
Springer
13 years 7 months ago
Crowd-Sourced AI Authoring with ENIGMA
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
Michael Kriegel, Ruth Aylett
ICRA
2010
IEEE
137views Robotics» more  ICRA 2010»
13 years 7 months ago
Assembling wheels to continuously conveyed car bodies using a standard industrial robot
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
Friedrich Lange, Jochen Werner, Johannes Scharrer,...
IJPP
2010
111views more  IJPP 2010»
13 years 7 months ago
Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...
Philip K. F. Hölzenspies, Timon D. ter Braak,...