Sciweavers

10890 search results - page 433 / 2178
» Automatic Complexity Analysis
Sort
View
DFT
2005
IEEE
90views VLSI» more  DFT 2005»
16 years 14 days ago
On the Modeling and Analysis of Jitter in ATE Using Matlab
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...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...
CAIP
2001
Springer
165views Image Analysis» more  CAIP 2001»
15 years 11 months ago
A New Approach for Model-Based Adaptive Region Growing in Medical Image Analysis
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
Regina Pohle, Klaus D. Tönnies
ENTCS
2006
137views more  ENTCS 2006»
15 years 6 months ago
Automated Security Protocol Analysis With the AVISPA Tool
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...
Luca Viganò
SICHERHEIT
2010
15 years 4 months ago
A Malware Instruction Set for Behavior-Based Analysis
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...
Philipp Trinius, Carsten Willems, Thorsten Holz, K...
ICANN
2005
Springer
16 years 11 days ago
Smooth Bayesian Kernel Machines
Abstract. In this paper, we consider the possibility of obtaining a kernel machine that is sparse in feature space and smooth in output space. Smooth in output space implies that t...
Rutger W. ter Borg, Léon J. M. Rothkrantz