Sciweavers

2421 search results - page 171 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
156
Voted
TCAD
2008
96views more  TCAD 2008»
15 years 3 months ago
An Implicit Approach to Minimizing Range-Equivalent Circuits
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
Yung-Chih Chen, Chun-Yao Wang
139
Voted
GECCO
2010
Springer
163views Optimization» more  GECCO 2010»
15 years 7 months ago
Factors affecting the use of genetic algorithms in test suite augmentation
Test suite augmentation techniques are used in regression testing to help engineers identify code elements affected by changes, and generate test cases to cover those elements. R...
Zhihong Xu, Myra B. Cohen, Gregg Rothermel
126
Voted
BC
1998
111views more  BC 1998»
15 years 3 months ago
How to "hear" visual disparities: real-time stereoscopic spatial depth analysis using temporal resonance
Abstract. In a stereoscopic system, both eyes or cameras have a slightly di€erent view. As a consequence, small variations between the projected images exist (`disparities') ...
Bernd Porr, Alex Cozzi, Florentin Wörgöt...
135
Voted
BMCBI
2010
98views more  BMCBI 2010»
15 years 3 months ago
Resolving anaphoras for the extraction of drug-drug interactions in pharmacological documents
Background: Drug-drug interactions are frequently reported in the increasing amount of biomedical literature. Information Extraction (IE) techniques have been devised as a useful ...
Isabel Segura-Bedmar, Mario Crespo, César d...
113
Voted
FPLAY
2008
15 years 5 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...