3228 search results - page 359 / 646 » Computationally Sound Proofs |
101
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
117
click to vote
KES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper introduces our method for causal knowledge retrieval from the Internet resources, its results and evaluation of using it in utterance creation process. Our sys...
132
Voted
NIME
2005
Springer
15 years 9 months ago
2005
Springer
The Wise Box is a new wireless digitizing interface for sensors and controllers. An increasing demand for this kind of hardware, especially in the field of dance and computer perf...
125
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
115
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...