Sciweavers

6750 search results - page 900 / 1350
» Performance Analysis Framework for Layout Analysis Methods
Sort
View
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
16 years 15 days ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
153
Voted
ITC
2002
IEEE
112views Hardware» more  ITC 2002»
15 years 11 months 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
SEKE
1993
Springer
15 years 10 months ago
A Neural Net-Based Approach to Software Metrics
Software metrics provide effective methods for characterizing software. Metrics have traditionally been composed through the definition of an equation, but this approach is limite...
Gary D. Boetticher, K. Srinivas, David Eichmann
FMCAD
2004
Springer
15 years 10 months ago
A Partitioning Methodology for BDD-Based Verification
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain,...
ECCV
2006
Springer
15 years 10 months ago
Dynamic Texture Recognition Using Volume Local Binary Patterns
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...
Guoying Zhao, Matti Pietikäinen