Sciweavers

4167 search results - page 391 / 834
» Evolutionary functional testing
Sort
View
144
Voted
FLAIRS
2006
15 years 6 months ago
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
Neli Zlatareva
ISMB
1994
15 years 6 months ago
An Intelligent System for Comparing Protein Structures
Anapproachto protein structure comparisonis presented whichuses techniquesof artificial intelligence (AI) generate a mappingbetweentwoprotein structures. The approachproceedsby fi...
Ethan Benatan
CORR
2002
Springer
128views Education» more  CORR 2002»
15 years 4 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...
125
Voted
INTEGRATION
1998
96views more  INTEGRATION 1998»
15 years 4 months ago
BIST for systems-on-a-chip
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
Hans-Joachim Wunderlich
JSCIC
2010
81views more  JSCIC 2010»
14 years 11 months ago
A Tailored Finite Point Method for Convection-Diffusion-Reaction Problems
We study a tailored finite point method (TFPM) for solving the convection-diffusion-reaction equation. The solution basis functions for the TFPM are constructed for a 5 point, 7 p...
Yintzer Shih, R. Bruce Kellogg, Peishan Tsai