916 search results - page 80 / 184 » Using redundancies to find errors |
COMCOM
2000
14 years 9 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
ANLP
1997
14 years 11 months ago
1997
We describe and experimentally evaluate an efficient method for automatically determining small clause boundaries in spontaneous speech. Our method applies an artificial neural ne...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
JPEG 2000 is a lossy integer-to-integer transform-based compression method that first quantizes the separable 2-D wavelet transform coefficients, then entropy codes them. The imag...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we consider the problem of solving different pose and registration problems under rotational constraints. Traditionally, methods such as the iterative closest point ...
UAI
2008
14 years 11 months ago
2008
This paper describes a new algorithm to solve the decision making problem in Influence Diagrams based on algorithms for credal networks. Decision nodes are associated to imprecise...