624 search results - page 45 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
AFRIGRAPH
2007
ACM
14 years 21 days ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we address the problem of automatically deriving vocabularies of motion modules from human motion data, taking advantage of the underlying spatio-temporal structure ...
FASE
2005
Springer
14 years 2 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
EDBT
2004
ACM
14 years 8 months ago
2004
ACM
The join operation, which combines tuples from multiple relations, is the most fundamental and, typically, the most expensive operation in database queries. The standard approach t...
LPAR
2000
Springer
14 years 8 days ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...