3267 search results - page 589 / 654 » Generalized quasirandom graphs |
124
Voted
ICLP
1997
Springer
15 years 5 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
112
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...
106
click to vote
AAAI
2006
15 years 2 months ago
2006
Voting (or rank aggregation) is a general method for aggregating the preferences of multiple agents. One important voting rule is the Slater rule. It selects a ranking of the alte...
104
Voted
IJCAI
1989
15 years 2 months ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
104
click to vote
CVPR
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we propose a novel algorithm for computing an atlas from a collection of images. In the literature, atlases have almost always been computed as some types of means ...