260 search results - page 27 / 52 » Range and Set Abstraction using SAT |
JSYML
2007
15 years 1 months ago
2007
Abstract. An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p ...
100
click to vote
CG
2004
Springer
15 years 1 months ago
2004
Springer
nd maps are powerful abstractions. Their combination, Hierarchical Graph Maps, provide effective tools to process a graph that is too large to fit on the screen. They provide hier...
104
click to vote
ENTCS
2008
14 years 12 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
127
click to vote
EWSN
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We describe a software framework for prescribing the trajectory path of a mobile sink in a wireless sensor network under an extensible set of optimization criteria. The f...
106
click to vote
KI
2004
Springer
15 years 6 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...