3575 search results - page 248 / 715 » Presentations of computably enumerable reals |
181
click to vote
IANDC
2007
15 years 6 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
245
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Quite a few data-oriented overlay networks have been designed in recent years. These designs often (implicitly) assume various homogeneity which seriously limit their usability in...
164
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
The goal of the MavHome project is to develop technologies to Manage Adaptive Versatile environments. In this paper, we present a complete agent architecture for a single inhabita...
171
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a multi-view approach to the tracking of people location and orientation. To achieve efficient and accurate likelihood evaluation, a novel likelihood computat...
179
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Sensor-based control is an emerging challenge in UAV applications. It is essential in a sensing task to account for sensor measurement errors when computing a target position e...