Sciweavers

3844 search results - page 623 / 769
» Modular interpreted systems
Sort
View
AIEDU
2005
89views more  AIEDU 2005»
15 years 6 months ago
An Evaluation of a Hybrid Language Understanding Approach for Robust Selection of Tutoring Goals
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
Carolyn Penstein Rosé, Kurt VanLehn
APAL
2005
125views more  APAL 2005»
15 years 6 months ago
Dynamic topological logic
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
Philip Kremer, Grigori Mints
TROB
2008
109views more  TROB 2008»
15 years 6 months ago
An Investigation of the Intrinsic Force Sensing Capabilities of Continuum Robots
-- This paper presents the theoretical analysis and the experimental validation of the force sensing capabilities of continuum robots. These robots employ super-elastic NiTi backbo...
Kai Xu 0005, Nabil Simaan
TSI
2008
129views more  TSI 2008»
15 years 6 months ago
COSMOS, composition de noeuds de contexte
Ubiquitous applications are facing a large diversity of execution contexts. However, this diversity requires some continual adaptation to preserve the correct execution of these ap...
Denis Conan, Romain Rouvoy, Lionel Seinturier
URBAN
2008
83views more  URBAN 2008»
15 years 6 months ago
Automatic identification of urban settlement boundaries for multiple representation databases
Intuitive and meaningful interpretation of geographical phenomena requires their representation at multiple levels of detail. This is due to the scale dependent nature of their pr...
Omair Chaudhry, William A. Mackaness