15416 search results - page 3015 / 3084 » Embeddings of Computable Structures |
141
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
150
click to vote
MSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
156
click to vote
SSIAI
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...
149
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
During the past two decades many di erent pointer analysis algorithms have been published. Although some descriptions include measurements of the e ectiveness of the algorithm, qu...
155
click to vote
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...