7960 search results - page 598 / 1592 » Systems for Knowledge and Beliefs |
150
click to vote
ACL
1998
15 years 8 months ago
1998
We discuss an interactive approach to robust interpretation in a large scale speech-to-speech translation system. Where other interactive approaches to robust interpretation have ...
183
Voted
AAAI
1993
15 years 8 months ago
1993
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
204
Voted
NAACL
1994
15 years 8 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...
202
Voted
JSW
2008
15 years 7 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
225
click to vote
SAC
2002
ACM
15 years 7 months ago
2002
ACM
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....