Sciweavers

2989 search results - page 189 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
160
Voted
ICDE
2008
IEEE
117views Database» more  ICDE 2008»
15 years 11 months ago
Similarity Search in Arbitrary Subspaces Under Lp-Norm
Similarity search has been widely used in many applications such as information retrieval, image data analysis, and time-series matching. Specifically, a similarity query retrieves...
Xiang Lian, Lei Chen 0002
72
Voted
ASIAN
2003
Springer
111views Algorithms» more  ASIAN 2003»
15 years 3 months ago
Unreliable Failure Detectors via Operational Semantics
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
Uwe Nestmann, Rachele Fuzzati
183
Voted
ICLP
2009
Springer
15 years 10 months ago
Finding Similar or Diverse Solutions in Answer Set Programming
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...
Thomas Eiter, Esra Erdem, Halit Erdogan, Michael F...
CDC
2008
IEEE
133views Control Systems» more  CDC 2008»
14 years 10 months ago
A nonlinear least squares estimation procedure without initial parameter guesses
Abstract-- This paper introduces a convex formulation approach for the initialization of parameter estimation problems (PEP). The proposed method exploits the parameter-affine feat...
Julian Bonilla Alarcon, Moritz Diehl, Bart De Moor...
105
Voted
SIGCOMM
2012
ACM
13 years 19 days ago
Reduction-based analysis of BGP systems with BGPVerif
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
Anduo Wang, Alexander J. T. Gurney, Xianglong Han,...