3951 search results - page 190 / 791 » Automatic amortized analysis |
122
click to vote
SAMT
2007
Springer
15 years 11 months ago
2007
Springer
To reduce the semantic gap between low-level visual features and the richness of human semantics, this paper proposes new algorithms, by virtue of the combined camera motion descri...
116
Voted
DFT
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a new jitter component analysis method for mixed mode VLSI chip testing in Automatic Test Equipment (ATE). The separate components are analyzed individually an...
146
click to vote
CAIP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
161
Voted
ENTCS
2006
15 years 5 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
142
click to vote
SICHERHEIT
2010
15 years 2 months ago
2010
We introduce a new representation for monitored behavior of malicious software called Malware Instruction Set (MIST). The representation is optimized for effective and efficient a...