1636 search results - page 199 / 328 » Reasoning About Quantum Systems |
170
click to vote
LPAR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
177
click to vote
TGC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
156
click to vote
IROS
2006
IEEE
16 years 11 days ago
2006
IEEE
— The presence of humans should be explicitly taken into account in all steps of robot’s design and particularly for robot motion. The robot should reason about human partnerâ€...
162
click to vote
ISPW
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
166
click to vote
IUI
2006
ACM
16 years 9 days ago
2006
ACM
We present an interactive multimedia interface for automatically summarizing large corpora of evaluative text (e.g. online product reviews). We rely on existing techniques for ext...