1355 search results - page 125 / 271 » Alternating Timed Automata over Bounded Time |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- In this paper we consider the problem of monitoring a known set of stationary features (or locations of interest) in an environment. To observe a feature, a robot must v...
ECIS
2001
13 years 10 months ago
2001
The paper considers the conditions governing the diffusion and development of e-commerce. The analysis builds on earlier discussions of technological successions and explores a nu...
ICC
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—We study a cooperative communication system consisting of two users in half duplex mode communicating with one destination over additive white Gaussian noise (AWGN). Coo...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
Automatic annotation is an elegant alternative to explicit recognition in images. In annotation, the image is matched with keyword models, and the most relevant keywords are assig...
CASES
2001
ACM
14 years 23 days ago
2001
ACM
Increased systems level integration has meant the movement of many traditionally off chip components onto a single chip including a processor, instruction storage, data path, and ...