101 search results - page 16 / 21 » Efficient Haplotype Inference with Answer Set Programming |
111
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
120
click to vote
EUROCAST
2007
Springer
15 years 6 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
134
click to vote
AAAI
1990
15 years 3 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
108
Voted
IJET
2008
15 years 2 months ago
2008
Information about a student's level or state of knowledge is a key aspect for efficient, personalized learning activities. E-learning systems gain such information in two ways...