Sciweavers

1214 search results - page 207 / 243
» Generalized Multi-sensor Planning
Sort
View
JAR
2000
129views more  JAR 2000»
13 years 9 months ago
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
We study the runtime distributions of backtrack procedures for propositional satisfiability and constraint satisfaction. Such procedures often exhibit a large variability in perfor...
Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. ...
IJRR
2002
66views more  IJRR 2002»
13 years 9 months ago
Morse Decompositions for Coverage Tasks
Exact cellular decompositions represent a robot's free space by dividing it into regions with simple structure such that the sum of the regions fills the free space. These de...
Ercan U. Acar, Howie Choset, Alfred A. Rizzi, Pras...
ARTMED
1999
56views more  ARTMED 1999»
13 years 9 months ago
Refining instructional text generation after evaluation
In this paper, we describe how user-adapted explanations about drug prescriptions can be generated from already existing data sources. We start by illustrating the two-step approa...
Fiorella de Rosis, Floriana Grasso, Dianne C. Berr...
JAIR
1998
120views more  JAIR 1998»
13 years 9 months ago
The Automatic Inference of State Invariants in TIM
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...
Maria Fox, Derek Long
MISQ
2002
111views more  MISQ 2002»
13 years 9 months ago
A Design Theory for Systems That Support Emergent Knowledge Processes
This paper addresses the design problem of providing IT support for emerging knowledge processes (EKPs). EKPs are organizational activity patterns that exhibit three characteristi...
M. Lynne Markus, Ann Majchrzak, Les Gasser