3856 search results - page 664 / 772 » Models for Automated Earthmoving |
156
click to vote
ICLP
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
163
click to vote
ICLP
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
211
click to vote
ILP
2007
Springer
16 years 4 days ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
166
click to vote
LPAR
2007
Springer
16 years 4 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
149
click to vote
LPAR
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...