422 search results - page 37 / 85 » On Modal Refinement and Consistency |
134
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
119
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when th...
121
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— In this paper, the concept of the ’robust arm configuration’ (RAC) is expanded using a mode shape compensator. This compensator improves the robustness of the arm configu...
154
click to vote
GBRPR
2007
Springer
15 years 8 months ago
2007
Springer
We propose in this article an image classification technique based on kernel methods and graphs. Our work explores the possibility of applying marginalized kernels to image process...
138
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
We present an approach to teach incrementally human gestures to a humanoid robot. The learning process consists of first projecting the movement data in a latent space and encodin...