902 search results - page 115 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
155
click to vote
CCIA
2007
Springer
16 years 15 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
164
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
173
click to vote
REX
1991
15 years 9 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
164
click to vote
EWHCI
1993
15 years 10 months ago
1993
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...
166
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...