2766 search results - page 396 / 554 » Hybridizing a Logical Framework |
243
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
143
click to vote
DATESO
2007
15 years 6 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
145
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
Learning models for detecting and classifying object categories is a challenging problem in machine vision. While discriminative approaches to learning and classification have, in...
143
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a novel framework of hybrid camera pose tracking system for outdoor navigation system. Traditional vision based or inertial sensor based solutions are mostly d...
153
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. We describe a framework for training-oriented simulation of temporal bone surgery. Bone dissection is simulated visually and haptically, using a hybrid data representatio...