2036 search results - page 243 / 408 » From Sampling to Model Counting |
149
click to vote
SMA
2006
ACM
16 years 8 days ago
2006
ACM
We present an algorithm to identify the flat and tubular regions of a three dimensional shape from its point sample. We consider the distance function to the input point cloud an...
171
click to vote
VISUAL
2000
Springer
15 years 10 months ago
2000
Springer
We present an original approach for motion-based retrieval involving partial query. More precisely, we propose an uni ed statistical framework both to extract entities of interest ...
163
click to vote
WSC
2007
15 years 8 months ago
2007
The key question addressed by the resource-constrained project scheduling problem (RCPSP) is to determine the start times for each activity such that precedence and resource const...
149
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we investigate stability-based methods for cluster model selection, in particular to select the number K of clusters. The scenario under consideration is that clust...
141
Voted
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...