Sciweavers

7351 search results - page 1229 / 1471
» Segmenting Point Sets
Sort
View
GECCO
2009
Springer
123views Optimization» more  GECCO 2009»
16 years 1 months ago
Alternative voting systems in stock car racing
The National Association for Stock Car Auto Racing (NASCAR) is currently the No. 1 spectator sport in the United States. However, the manner in which drivers are ranked to determi...
Aaron Garrett, Daniel Eric Smith
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
16 years 1 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
ISAAC
2009
Springer
175views Algorithms» more  ISAAC 2009»
16 years 1 months ago
Worst-Case and Smoothed Analysis of k-Means Clustering with Bregman Divergences
The k-means algorithm is the method of choice for clustering large-scale data sets and it performs exceedingly well in practice. Most of the theoretical work is restricted to the c...
Bodo Manthey, Heiko Röglin
PKDD
2009
Springer
153views Data Mining» more  PKDD 2009»
16 years 1 months ago
Subspace Regularization: A New Semi-supervised Learning Method
Most existing semi-supervised learning methods are based on the smoothness assumption that data points in the same high density region should have the same label. This assumption, ...
Yan-Ming Zhang, Xinwen Hou, Shiming Xiang, Cheng-L...
TAP
2009
Springer
178views Hardware» more  TAP 2009»
16 years 1 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
« Prev « First page 1229 / 1471 Last » Next »