204 search results - page 16 / 41 » Parameterizations of Test Cover with Bounded Test Sizes |
STACS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Ordered binary decision diagrams (OBDDs) nowadays belong to the most common representation types for Boolean functions. Although they allow important operations such as s...
MVA
1990
14 years 11 months ago
1990
There is a tradeoff between noise insensitivity and accurate position in edge detection. This paper suggests an adaptivealgorithm which takes advantage of both LOG and NonLL filte...
GD
2004
Springer
15 years 4 months ago
2004
Springer
We use Schnyder woods of 3-connected planar graphs to produce convex straight line drawings on a grid of size (n − 2 − ∆) × (n − 2 − ∆). The parameter ∆ ≥ 0 depen...
DAGM
2007
Springer
15 years 4 months ago
2007
Springer
We propose an unsupervised “local learning” algorithm for learning a metric in the input space. Geometrically, for a given query point, the algorithm finds the minimum volume ...
SEMWEB
2005
Springer
15 years 4 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...