678 search results - page 42 / 136 » The Theory of Weak Stabilization |
97
Voted
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
80
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...
113
Voted
DAGSTUHL
2001
15 years 1 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
75
Voted
PAMI
2006
15 years 12 days ago
2006
We present here a comprehensive imaging theory about cone mirrors in a single-view-point (SVP) configuration and show that an SVP cone mirror catadioptric system is not only practi...
84
Voted
AAAI
1994
15 years 1 months ago
1994
An approach to nonmonotonic inference, based on preference orderings between possible worlds or states of affairs, is presented. We begin with an extant weak theory of default con...