Sciweavers

1016 search results - page 148 / 204
» Generalized distances between rankings
Sort
View
RECOMB
2009
Springer
16 years 14 days ago
Finding Biologically Accurate Clusterings in Hierarchical Tree Decompositions Using the Variation of Information
Abstract. Hierarchical clustering is a popular method for grouping together similar elements based on a distance measure between them. In many cases, annotation information for som...
Saket Navlakha, James Robert White, Niranjan Nagar...
STOC
2003
ACM
102views Algorithms» more  STOC 2003»
16 years 4 days ago
Some 3CNF properties are hard to test
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
Eli Ben-Sasson, Prahladh Harsha, Sofya Raskhodniko...
MOBICOM
2003
ACM
15 years 5 months ago
Sound mobility models
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
Jungkeun Yoon, Mingyan Liu, Brian Noble
SIROCCO
2007
15 years 1 months ago
Labeling Schemes with Queries
Recently, quite a few papers studied methods for representing network properties by assigning informative labels to the vertices of a network. Consulting the labels given to any t...
Amos Korman, Shay Kutten
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 29 days ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...