1636 search results - page 90 / 328 » Reasoning About Quantum Systems |
174
click to vote
NAACL
1994
15 years 7 months ago
1994
The functionality of systems that extract information from texts can be specified quite simply: the input is a stream of texts and the output is some representation of the informa...
170
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
251
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
160
click to vote
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
167
click to vote
UAI
1998
15 years 7 months ago
1998
The process of diagnosis involves learning about the state of a system from various observations of symptoms or findings about the system. Sophisticated Bayesian (and other) algor...