3955 search results - page 521 / 791 » Comparing the Power of Robots |
139
click to vote
CL
2000
Springer
15 years 17 days ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
129
Voted
LOGCOM
2000
15 years 15 days ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
117
Voted
SIGMOD
2000
ACM
15 years 15 days ago
2000
ACM
In this paper we describe XXL (eXtensible and fleXible Library), a toolkit for rapid prototyping query processing algorithms. XXL is a flexible, high-level, platform independent J...
COMBINATORICS
1998
15 years 13 days ago
1998
Let α and β be a partition of {1, . . . , n} into two blocks. A merging network is a network of comparators which allows as input arbitrary real numbers and has the property tha...
140
click to vote
JMIV
2002
15 years 12 days ago
2002
This paper develops a multiscale connectivity theory for shapes based on the axiomatic definition of new generalized connectivity measures, which are obtained using morphology-base...