2827 search results - page 440 / 566 » Robustness of PSPACE-complete sets |
112
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
129
Voted
ISMAR
2005
IEEE
15 years 9 months ago
2005
IEEE
An integral part of every augmented reality system is the calibration between camera and camera-mounted tracking markers. Accuracy and robustness of the AR overlay process is grea...
145
Voted
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
114
Voted
SMI
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a new topological data structure for representing a set of polygonal curves embedded in a meshed surface. In this embedding, the vertices of the curve do not necessaril...
109
Voted
SP
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...