Sciweavers

654 search results - page 126 / 131
» Ordered Sets and Complete Lattices
Sort
View
FLAIRS
1998
13 years 8 months ago
Investigating the Validity of a Test Case Selection Methodology for Expert System Validation
Providing assurances of performance is an important aspect of successful development and commercialization of expert systems. However, this can only be done if the quality of the ...
Jan-Eike Michels, Thomas Abel, Rainer Knauf, Aveli...
IJCAI
1993
13 years 8 months ago
A New Logical framework for Deductive Planning
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Werner Stephan, Susanne Biundo
CGF
2008
124views more  CGF 2008»
13 years 7 months ago
Fast Soft Self-Shadowing on Dynamic Height Fields
We present a new, real-time method for rendering soft shadows from large light sources or lighting environments on dynamic height fields. The method first computes a horizon map f...
John Snyder, Derek Nowrouzezahrai
BMCBI
2006
108views more  BMCBI 2006»
13 years 7 months ago
RibAlign: a software tool and database for eubacterial phylogeny based on concatenated ribosomal protein subunits
Background: Until today, analysis of 16S ribosomal RNA (rRNA) sequences has been the de-facto gold standard for the assessment of phylogenetic relationships among prokaryotes. How...
Hanno Teeling, Frank Oliver Glöckner
BMCBI
2006
159views more  BMCBI 2006»
13 years 7 months ago
MultiSeq: unifying sequence and structure data for evolutionary analysis
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...
Elijah Roberts, John Eargle, Dan Wright, Zaida Lut...