Sciweavers

835 search results - page 64 / 167
» A calculus of challenges and responses
Sort
View
ANTSW
2008
Springer
14 years 3 days ago
Two-Level ACO for Haplotype Inference Under Pure Parsimony
Abstract. Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genoty...
Stefano Benedettini, Andrea Roli, Luca Di Gaspero
ASWC
2008
Springer
14 years 3 days ago
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Pet...
EDBT
2008
ACM
170views Database» more  EDBT 2008»
13 years 12 months ago
Managing virtual money for satisfaction and scale up in P2P systems
In peer-to-peer data management systems query allocation is a critical issue for the good operation of the system. This task is challenging because participants may prefer to perf...
Jorge-Arnulfo Quiané-Ruiz, Philippe Lamarre...
ACL
2008
13 years 11 months ago
Contradictions and Justifications: Extensions to the Textual Entailment Task
The third PASCAL Recognizing Textual Entailment Challenge (RTE-3) contained an optional task that extended the main entailment task by requiring a system to make three-way entailm...
Ellen M. Voorhees
HIS
2008
13 years 11 months ago
Towards a Highly Scalable Hybrid Metaheuristic for Haplotype Inference Under Parsimony
Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genotype. This ...
Stefano Benedettini, Luca Di Gaspero, Andrea Roli