Sciweavers

2036 search results - page 82 / 408
» A generic type-and-effect system
Sort
View
ARGMAS
2008
Springer
15 years 2 months ago
A Constrained Argumentation System for Practical Reasoning
Practical reasoning (PR), which is concerned with the generic question of what to do, is generally seen as a two steps process: (1) deliberation, in which an agent decides what st...
Leila Amgoud, Caroline Devred, Marie-Christine Lag...
KES
2005
Springer
15 years 6 months ago
Ontology Modeling and Storage System for Robot Context Understanding
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
Eric Wang, Yong Se Kim, Hak Soo Kim, Jin Hyun Son,...
124
Voted
WCRE
2008
IEEE
15 years 7 months ago
PREREQIR: Recovering Pre-Requirements via Cluster Analysis
High-level software artifacts, such as requirements, domain-specific requirements, and so on, are an important source of information that is often neglected during the reverse- an...
Jane Huffman Hayes, Giuliano Antoniol, Yann-Ga&eum...
106
Voted
MICCAI
2002
Springer
16 years 1 months ago
Simulation of the Exophthalmia Reduction Using a Finite Element Model of the Orbital Soft Tissues
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
Vincent Luboz, Annaig Pedrono, Pascal Swider, Fran...
SG
2009
Springer
15 years 7 months ago
Interactive Context-Aware Visualization for Mobile Devices
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
Mike Eissele, Daniel Weiskopf, Thomas Ertl