Sciweavers

801 search results - page 44 / 161
» Computational intelligence in solving bioinformatics problem...
Sort
View
CSB
2005
IEEE
142views Bioinformatics» more  CSB 2005»
15 years 10 months ago
BioMap: Discovering Schema Mapping Using Ontologies
Biologists currently devote significant time and effort searching information for their research. The wide diversity in terminology used inhibit effective computerized and manual...
Zoé Lacroix, Sumedha Gholba, Hervé M...
GECCO
2006
Springer
130views Optimization» more  GECCO 2006»
15 years 8 months ago
Pairwise sequence comparison for fitness evaluation in evolutionary structural software testing
Evolutionary algorithms are among the metaheuristic search methods that have been applied to the structural test data generation problem. Fitness evaluation methods play an import...
H. Turgut Uyar, A. Sima Etaner-Uyar, A. Emre Harma...
AMAI
2008
Springer
15 years 4 months ago
Integrating answer set programming and constraint logic programming
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
AAAI
1998
15 years 5 months ago
Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
Abigail S. Gertner, Cristina Conati, Kurt VanLehn
CP
2000
Springer
15 years 8 months ago
Algebraic Simplification Techniques for Propositional Satisfiability
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...
João P. Marques Silva