1888 search results - page 218 / 378 » Proof theory and computational analysis |
183
click to vote
DBPL
1993
Springer
15 years 11 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
209
click to vote
IFIP
2004
Springer
16 years 15 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
192
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Multi-agent learning is a crucial method to control or find solutions for systems, in which more than one entity needs to be adaptive. In today's interconnected world, such s...
210
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We introduce a method for predicting a control signal from another related signal, and apply it to voice puppetry: Generating full facial animation from expressive information in ...
185
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...