8701 search results - page 1489 / 1741 » XML-Based Feature Modelling |
111
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...
150
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— A long cherished goal in artificial intelligence has been the ability to endow a robot with the capacity to learn and generalize skills from watching a human teacher. Such an ...
166
click to vote
ISM
2008
IEEE
2008
IEEE
A Framework for Collaborative Real-Time 3D Teleimmersion in a Geographically Distributed Environment
15 years 10 months ago
In this paper, we present a framework for immersive 3D video conferencing and geographically distributed collaboration. Our multi-camera system performs a full-body 3D reconstruct...
144
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
136
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present the KPC-Toolbox, a collection of Matlab scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way. We first present detailed sen...