Sciweavers

2774 search results - page 476 / 555
» Query-Driven Program Testing
Sort
View
99
Voted
AAAI
1994
15 years 2 months ago
Using Knowledge Acquisition and Representation Tools to Support Scientific Communities
Widespread access to the Internet has led to the formation of geographically dispersed scientific communities collaborating through the network. The tools supporting such collabor...
Brian R. Gaines, Mildred L. G. Shaw
DAGSTUHL
1996
15 years 2 months ago
A Self-Applicable Supercompiler
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin ...
97
Voted
ISMB
1993
15 years 1 months ago
Protein Sequencing Experiment Planning Using Analogy
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
Brian P. Kettler, Lindley Darden
86
Voted
ISMB
1993
15 years 1 months ago
MultiMap: An Expert System for Automated Genetic Linkage Mapping
Withthe advent of the HumanGenomeProject. the ability to rapidly construct comprehensiveand accuratelinkage mapsbasedongenetic markerdata fromfamily studies is an absolute necessi...
Tara Cox Matise, Mark Perlin, Aravinda Chakravarti
93
Voted
IJCAI
1989
15 years 1 months ago
Utilization Filtering: A Method for Reducing the Inherent Harmfulness of Deductively Learned Knowledge
This paper highlights a phenomenon that causes deductively learned knowledge to be harmful when used for problem solving. The problem occurs when deductive problem solvers encount...
Shaul Markovitch, Paul D. Scott