2012 search results - page 43 / 403 » CORAL - Control, Relations and Logic |
131
click to vote
TCS
2002
15 years 4 months ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
183
click to vote
ACL
2010
15 years 2 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
186
click to vote
ISRR
2005
Springer
15 years 10 months ago
2005
Springer
Large area mapping at high resolution underwater continues to be constrained by the mismatch between available navigation as compared to sensor accuracy. In this paper we present ...
159
click to vote
IJRR
2007
15 years 4 months ago
2007
Large area mapping at high resolution underwater continues to be constrained by sensor-level environmental constraints and the mismatch between available navigation and sensor acc...
145
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...