Sciweavers

193 search results - page 31 / 39
» A Causal Theory of Abduction
Sort
View
POPL
2012
ACM
14 years 1 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
AIME
2009
Springer
16 years 20 days ago
Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...
Gersende Georg, Hugo Hernault, Marc Cavazza, Helmu...
AIED
2007
Springer
16 years 7 days ago
Beyond the code-and-count analysis of tutoring dialogues
In this paper, we raise a methodological issue concerning the empirical analysis of tutoring dialogues: The frequencies of tutoring moves do not necessarily reveal their causal ef...
Stellan Ohlsson, Barbara Di Eugenio, Bettina Chow,...
ICRA
2006
IEEE
95views Robotics» more  ICRA 2006»
16 years 2 days ago
Power Assist System for Sinusoidal Motion by Passive Element and Impedance Control
— In this paper, we propose a power assist system that amplifies sinusoidal human’s torque and attains minimization of control input requirement using an impedance control and...
Mitsunori Uemura, Katsuya Kanaoka, Sadao Kawamura
RTCSA
1997
IEEE
15 years 10 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha