1225 search results - page 40 / 245 » Maximal Consistent Subsets |
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
We investigate randomised algorithms for subset matching with spatial point sets—given two sets of d-dimensional points: a data set T consisting of n points and a pattern P consi...
SIGDOC
1998
ACM
13 years 12 months ago
1998
ACM
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
BMCBI
2008
13 years 7 months ago
2008
Background: Array-based comparative genome hybridization (aCGH) is commonly used to determine the genomic content of bacterial strains. Since prokaryotes in general have less cons...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
VLSID
2005
IEEE
14 years 8 months ago
2005
IEEE
Timing margin (slack) needs to be carefully managed to ensure a satisfactory timing yield. We propose a new design flow that combines a false-path-aware gate sizing and a statisti...