2152 search results - page 109 / 431 » An Abstract Account of Composition |
108
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
153
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
141
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Individuals di er in the resources that they are willing to expend on information gathering and on the importance of di erent kinds of information. We have developed MADS...
128
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...
176
click to vote
AMS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Autonomous exploration is a frequently addressed problem in the robotics community. This paper presents an approach to mobile robot exploration that takes into account th...