932 search results - page 44 / 187 » Verifying Progress in Timed Systems |
128
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Mobile services offering multi-feature query capabilities must meet tough response time requirements to gain customer acceptance. The top-k query model is a popular candidate to im...
113
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper we study the multiple antenna time reversal downlink transmission in an ultra-wideband (UWB) communication system which consists of access points and users. The a...
160
click to vote
PRDC
2007
IEEE
15 years 9 months ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
113
click to vote
AAAI
1994
15 years 4 months ago
1994
Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded ...
128
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper, we present a system that enhances the visualization of customized sports shoes using augmented reality techniques. Instead of viewing yourself in a real mirror, sop...