Sciweavers

4488 search results - page 190 / 898
» Properties of NP-Complete Sets
Sort
View
COLT
2010
Springer
13 years 6 months ago
Characterization of Linkage-based Clustering
Clustering is a central unsupervised learning task with a wide variety of applications. Not surprisingly, there exist many clustering algorithms. However, unlike classification ta...
Margareta Ackerman, Shai Ben-David, David Loker
SIAMNUM
2011
124views more  SIAMNUM 2011»
13 years 3 months ago
Discrete Compactness for the p-Version of Discrete Differential Forms
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
Daniele Boffi, Martin Costabel, Monique Dauge, Les...
ESORICS
2009
Springer
14 years 9 months ago
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
Mihhail Aizatulin, Henning Schnoor, Thomas Wilke
AAECC
2007
Springer
85views Algorithms» more  AAECC 2007»
14 years 2 months ago
Extended Norm-Trace Codes with Optimized Correction Capability
We consider a generalization of the codes defined by norm and trace functions on finite fields introduced by Olav Geil. The codes in the new family still satisfy Geil’s dualit...
Maria Bras-Amorós, Michael E. O'Sullivan
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
14 years 1 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka