Sciweavers

6014 search results - page 542 / 1203
» Structural Testing with Use Cases
Sort
View
CIE
2007
Springer
16 years 1 months ago
The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number
In the framework of parameterized complexity, exploring how one parameter affects the complexity of a different parameterized (or unparameterized problem) is of general interest....
Michael R. Fellows, Frances A. Rosamond
PREMI
2005
Springer
16 years 18 days ago
Eliciting Domain Knowledge in Handwritten Digit Recognition
Pattern recognition methods for complex structured objects such as handwritten characters often have to deal with vast search spaces. Developed techniques, despite significant adv...
Tuan Trung Nguyen
ISMVL
1994
IEEE
87views Hardware» more  ISMVL 1994»
15 years 11 months ago
Multiple-Valued-Input TANT Networks
The paper proposes mvTANTs, three-level networks with multiple-valued inputs and binary outputs. These networks are a generalization of binary TANTs (Three level And Not networks...
Marek A. Perkowski, Malgorzata Chrzanowska-Jeske
WSC
2007
15 years 9 months ago
Clinic: correlated inputs in an automotive paint shop fire risk simulation
General Motors (GM) has developed a first proof-ofconcept simulation model to explore impacts of various fire events in automotive paint shop operations. The approach uses a chron...
Debra A. Elkins, A. Christine LaFleur, Earnest Fos...
CSREAESA
2004
15 years 8 months ago
Approaches for Monitoring Vectors on Microprocessor Buses
This paper introduces two new methods for observing and recording the vectors that have been asserted on a bus. The first is a software approach that uses a novel data structure s...
Hector Arteaga, Hussain Al-Asaad