Sciweavers

4867 search results - page 424 / 974
» Fluid Models in Performance Analysis
Sort
View
SAT
2005
Springer
162views Hardware» more  SAT 2005»
16 years 1 months ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
ICPR
2002
IEEE
16 years 19 days ago
Simulated Static Electric Field (SSEF) Snake for Deformable Models
In this paper, a novel design of external force for snake is proposed. This kind of external force is actually a field, which we call the Simulated Static Electric Field (SSEF). T...
Dan Yuan, Siwei Lu
ITC
2002
IEEE
112views Hardware» more  ITC 2002»
16 years 19 days ago
Multiplets, Models, and the Search for Meaning: Improving Per-Test Fault Diagnosis
The advantage to “one test at a time” fault diagnosis is its ability to implicate the components of complicated defect behaviors. The disadvantage is the large size and opacit...
David B. Lavo, Ismed Hartanto, Tracy Larrabee
SCALESPACE
2001
Springer
16 years 4 days ago
Morphological Tools for Robust Key-Region Extraction and Video Shot Modeling
Abstract. In recent years, the use of multimedia content has experienced an exponential growth. In this context, the need of new image/video sequence representation is becoming a n...
Javier Ruiz Hidalgo, Philippe Salembier
ESEM
2008
ACM
15 years 9 months ago
An empirical model to predict security vulnerabilities using code complexity metrics
Complexity is often hypothesized to be the enemy of software security. If this hypothesis is true, complexity metrics may be used to predict the locale of security problems and ca...
Yonghee Shin, Laurie Williams