5550 search results - page 182 / 1110 » Different Approaches to Proof Systems |
194
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
160
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
162
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The explicit solution of the filtering problem with exponential criteria for a general Gaussian signal is obtained through an approach which is based on a conditional Cameron-Mart...
125
click to vote
ISICT
2003
15 years 7 months ago
2003
This paper proposes a concept of how to collect toll on highways. Unlike any existing method, the proposed approach requires no structure to be built on highways for the toll coll...
187
click to vote
COLCOM
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract. Existing Peer to Peer (P2P) collaborative editing systems do not allow any user to undo any modification. However, in such systems, users are not aware of others’ modi...