Sciweavers

458 search results - page 13 / 92
» exact 2009
Sort
View
PSIVT
2009
Springer
139views Multimedia» more  PSIVT 2009»
14 years 1 months ago
Recovery Rate of Clustering Algorithms
This article provides a simple and general way for defining the recovery rate of clustering algorithms using a given family of old clusters for evaluating the performance of the a...
Fajie Li, Reinhard Klette
ACL
2009
13 years 6 months ago
Non-Projective Dependency Parsing in Expected Linear Time
We present a novel transition system for dependency parsing, which constructs arcs only between adjacent words but can parse arbitrary non-projective trees by swapping the order o...
Joakim Nivre
ICDT
2009
ACM
108views Database» more  ICDT 2009»
14 years 9 months ago
A compositional query algebra for second-order logic and uncertain databases
World-set algebra is a variable-free query language for uncertain databases. It constitutes the core of the query language implemented in MayBMS, an uncertain database system. Thi...
Christoph Koch
ISAAC
2009
Springer
131views Algorithms» more  ISAAC 2009»
14 years 3 months ago
A Certifying Algorithm for 3-Colorability of P5-Free Graphs
We provide a certifying algorithm for the problem of deciding whether a P5-free graph is 3-colorable by showing there are exactly six finite graphs that are P5-free and not 3-colo...
Daniel Bruce, Chính T. Hoàng, Joe Sa...
ATVA
2009
Springer
146views Hardware» more  ATVA 2009»
14 years 22 days ago
Specification Languages for Stutter-Invariant Regular Properties
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
Christian Dax, Felix Klaedtke, Stefan Leue