2451 search results - page 80 / 491 » The Octagon Abstract Domain |
176
click to vote
GRAMMARS
2002
15 years 6 months ago
2002
Abstract. A formal architecture for Construction Grammar (CG) is sketched. Modeling domain objects (constructs) are constituent structures with feature structures at the nodes, aka...
159
click to vote
IJDAR
2002
15 years 6 months ago
2002
Abstract. In this paper, we present a logical representation for form documents to be used for identification and retrieval. A hierarchical structure is proposed to represent the s...
165
click to vote
TSMC
2002
15 years 6 months ago
2002
Abstract--The success of information and knowledge management depends on understanding and supporting the user's need to know. This requires understanding humans' abiliti...
137
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— In this paper we present two task-allocation strategies for a multi-robot transportation system. The first strategy is based on a centralized planner that uses domain ...
186
click to vote
JGO
2010
15 years 4 months ago
2010
Abstract. Global optimization seeks a minimum or maximum of a multimodal function over a discrete or continuous domain. In this paper, we propose a hybrid heuristic – based on th...