5015 search results - page 761 / 1003 » Model Checking a Path |
165
click to vote
ESA
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we study several routing problems that generalize shortest paths and the Traveling Salesman Problem. We consider a more general model that incorporates the actual co...
174
click to vote
FSTTCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
162
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents an efficient algorithm for gesture detection in lecture videos by combining visual, speech and electronic slides. Besides accuracy, response time is also cons...
157
click to vote
ICPR
2006
IEEE
16 years 19 days ago
2006
IEEE
We present a method to construct a mosaic from multiple color and fluorescein retinal images. A set of images taken from different views at different times is difficult to registe...
173
click to vote
VTC
2006
IEEE
16 years 18 days ago
2006
IEEE
— In this paper, we analyze the effect of interference diversity on the capacity of a cellular system that employs frequency hopping, power control and bit-interleaved coded modu...