3706 search results - page 289 / 742 » System Description: E-KRHyper |
172
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper addresses high-level robot planning issues for an interactive cognitive robot that has to act in presence or in collaboration with a human partner. We describe a tas...
153
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
174
click to vote
ICSM
2006
IEEE
16 years 23 days ago
2006
IEEE
The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We...
175
click to vote
CADE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
153
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
We define the concepts of nesting mode and interaction mode as they arise in the description of skeletal parallel programming systems. We suggest that these new concepts encapsula...