525 search results - page 84 / 105 » Using Checkable Types in Automatic Protocol Analysis |
ICMAS
2000
13 years 9 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
IWC
2007
13 years 7 months ago
2007
We motivate an approach to evaluating the utility of life-like interface agents that is based on human eye movements rather than questionnaires. An eye tracker is employed to obta...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Heart sound is one of the significant bio-signals to diagnose certain cardiac anomalies. Aiming to provide an automatic heart sounds analysis to medical professionals, we present...
NAR
2010
13 years 2 months ago
2010
Evaluating the accuracy of multiple sequence alignment (MSA) is critical for virtually every comparative sequence analysis that uses an MSA as input. Here we present the GUIDANCE ...
CN
2000
13 years 7 months ago
2000
Abstract. Eight sites participated in the second DARPA off-line intrusion detection evaluation in 1999. A test bed generated live background traffic similar to that on a government...