3228 search results - page 199 / 646 » Computationally Sound Proofs |
231
click to vote
ARGMAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
133
click to vote
WCNC
2008
IEEE
16 years 28 days ago
2008
IEEE
—Temporal-Angular channel sounding measurements of an indoor millimeter wave channel (60 GHz) is analyzed to determine whether ray arrivals at the receiver form clusters in the t...
166
click to vote
CONCUR
2005
Springer
16 years 3 days ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
200
click to vote
CMMR
2009
Springer
15 years 10 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....
176
click to vote
ESOP
2008
Springer
15 years 8 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...