1546 search results - page 125 / 310 » Context-Aware Computing with Sound |
150
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
169
Voted
CMMR
2009
Springer
15 years 9 months ago
2009
Springer
This work deals with the sonification of a quantum mechanical system and the processes that occur as a result of its quantum mechanical nature and interactions with other systems....
149
Voted
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
107
Voted
TVLSI
2002
15 years 4 months ago
2002
Theoretical analysis of bus-invert coding for reducing switching activity was previously investigated. In this paper we conduct a theoretical analysis of this method for coupling r...
126
Voted
EACL
1993
ACL Anthology
15 years 6 months ago
1993
ACL Anthology
We describe a computational system which parses discourses consisting of sequences of simple sentences. These contain a range of temporal constructions, including time adverbials,...