4767 search results - page 267 / 954 » Structures for Abstract Rewriting |
164
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— We describe a model for planar distributed assembly, in which agents move randomly and independently on a twodimensional grid, joining square blocks together to form a ...
142
click to vote
ML
2006
ACM
16 years 16 days ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
150
click to vote
IJCNLP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Linguistic information can help improve evaluation of similarity between documents; however, the kind of linguistic information to be used depends on the task. In this pa...
197
click to vote
MKM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
173
click to vote
IWCM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Junctions play an important role in motion analysis. Approaches based on the structure tensor have become the standard for junction detection. However, the structure tens...