867 search results - page 29 / 174 » On Two Forms of Structural Recursion |
96
Voted
GG
2004
Springer
15 years 5 months ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
81
Voted
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper presents two novel estimation methods that are designed to enhance our ability of observing, positioning, and physically transforming the objects and/or biological s...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— We describe decentralized algorithms by which a swarm of simple, independent, autonomous robots can build two-dimensional structures using square building blocks. These structu...
126
click to vote
HT
1991
ACM
15 years 4 months ago
1991
ACM
Hypertext systems are being used in many applications because of their flexible structure and the great browsing freedom they give to diverse communities of users. However, this s...
118
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...