Sciweavers

601 search results - page 99 / 121
» Writing for the Year 2000
Sort
View
IDA
2000
Springer
14 years 9 months ago
From machine learning to knowledge discovery: Survey of preprocessing and postprocessing
Knowledge Discovery in Databases (KDD) has become a very attractive discipline both for research and industry within last few years. Its goal is to extract pieces of knowledge or `...
Ivan Bruha
IGPL
2000
152views more  IGPL 2000»
14 years 9 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
JAR
2000
123views more  JAR 2000»
14 years 9 months ago
Local Search Algorithms for SAT: An Empirical Evaluation
Local search algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. For SAT, some ...
Holger H. Hoos, Thomas Stützle
NAR
2000
135views more  NAR 2000»
14 years 9 months ago
HGBASE: a database of SNPs and other variations in and around human genes
Human genome polymorphism is expected to play a key role in defining the etiologic basis of phenotypic differences between individuals in aspects such as drug responses and common...
Anthony J. Brookes, Heikki Lehväslaiho, Maria...
INFSOF
2002
89views more  INFSOF 2002»
14 years 9 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...