2150 search results - page 182 / 430 » On a restricted cross-intersection problem |
147
click to vote
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
115
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. As outlined in [1], the gene...
135
click to vote
STACS
2001
Springer
15 years 8 months ago
2001
Springer
Langton’s ant is a simple discrete dynamical system, with a surprisingly complex behavior. We study its extension to general planar graphs. First we give some relations between c...
127
click to vote
AH
2000
Springer
15 years 8 months ago
2000
Springer
Content personalisation technologies may hold the key to solving the information overload problem associated with the Internet, by facilitating the development of information servi...
186
click to vote
ICCVW
1999
Springer
15 years 8 months ago
1999
Springer
This paper is a survey of the theory and methods of photogrammetric bundle adjustment, aimed at potential implementors in the computer vision community. Bundle adjustment is the p...