3820 search results - page 324 / 764 » Bounded Model Debugging |
136
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
132
click to vote
ICML
2003
IEEE
16 years 5 months ago
2003
IEEE
We examine the set covering machine when it uses data-dependent half-spaces for its set of features and bound its generalization error in terms of the number of training errors an...
151
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a fully four-dimensional, globally convergent, incremental gradient algorithm to estimate the continuous-time tracer density from list mode positron emission tomography...
120
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
We propose and test an objective criterion for evaluation of clustering performance: How well does a clustering algorithm run on unlabeled data aid a classification algorithm? The...
137
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
We exhibit three approximation algorithms for the allocation problem in combinatorial auctions with complement free bidders. The running time of these algorithms is polynomial in ...