8828 search results - page 1193 / 1766 » Formal methods in practice |
177
click to vote
CSDA
2008
15 years 7 months ago
2008
In this paper the concept of later waiting time distributions for patterns in multi-state trials is generalized to cover a collection of compound patterns that must all be counted...
193
click to vote
EOR
2010
15 years 7 months ago
2010
This paper investigates the integration of the employee timetabling and production scheduling problems. At the first level, we manage a classical employee timetabling problem. At ...
178
Voted
BIOINFORMATICS
2006
15 years 7 months ago
2006
Motivation: The need for normalization in microarray experiments has been well documented in the literature. Currently, most analysis methods treat normalization and analysis as a...
208
Voted
GEOINFORMATICA
2008
15 years 7 months ago
2008
Skeletonization of polygons is a technique, which is often applied to problems of cartography and geographic information science. Especially it is needed for generalization tasks ...
207
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Haplotypes extracted from human DNA can be used for gene mapping and other analysis of genetic patterns within and across populations. A fundamental problem is, howeve...