4609 search results - page 312 / 922 » Automatic Generation of Sigma-Protocols |
155
click to vote
ISMIR
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes a music analyzing system called the automatic time-span tree analyzer (ATTA), which we have developed. The ATTA derives a time-span tree that assigns a hierar...
177
click to vote
CBMS
2003
IEEE
15 years 12 months ago
2003
IEEE
Many genetic disorders or possible abnormalities that may occur in the future generations can be predicted through analyzing the shape and morphological characteristics of the chr...
225
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
210
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
The inherent reconfigurability of SRAM-based FPGAs enables the use of configurations optimized for the problem at hand. Optimized configurations are smaller and faster than their g...
233
click to vote
SPIEVIP
2010
15 years 9 months ago
2010
In video surveillance, automatic methods for scene understanding and activity modeling can exploit the high redundancy of object trajectories observed over a long period of time. ...