4767 search results - page 374 / 954 » Structures for Abstract Rewriting |
159
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract DBpedia is a community effort to extract structured information from Wikipedia and to make this information available on the Web. DBpedia allows you to ask sophisticated ...
178
click to vote
TLCA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
148
click to vote
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
156
Voted
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...
160
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— Decision trees, being human readable and hierarchically structured, provide a suitable mean to derive state-space abstraction and simplify the inclusion of the availabl...