989 search results - page 39 / 198 » Version spaces and the consistency problem |
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
RECOMB
2009
Springer
14 years 8 months ago
2009
Springer
Reconciliation between a set of gene trees and a species tree is the most commonly used approach to infer the duplication and loss events in the evolution of gene families, given a...
IV
2006
IEEE
14 years 1 months ago
2006
IEEE
Spatial organisation of information objects on a two or three dimensional plane or space has the advantage of revealing the connections between objects easily by spatial proximity...
ESA
2001
Springer
14 years 9 days ago
2001
Springer
Abstract. Single nucleotide polymorphisms (SNPs) are the most frequent form of human genetic variation. They are of fundamental importance for a variety of applications including m...
HEURISTICS
2010
13 years 2 months ago
2010
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...