2655 search results - page 436 / 531 » User-Tailored Plan Presentation |
191
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a design context. Our current research focuses on the hypothesis tha...
161
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
158
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
157
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
153
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
Requirements prioritization plays a key role in the requirements engineering process, in particular with respect to critical tasks such as requirements negotiation and software re...