3235 search results - page 219 / 647 » Partial Redundant Modeling |
131
click to vote
TACAS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
149
click to vote
IPMI
2009
Springer
15 years 11 months ago
2009
Springer
We propose a method for estimating confidence regions around shapes predicted from partial observations, given a statistical shape model. Our method relies on the estimation of the...
131
click to vote
IDA
2009
Springer
15 years 11 months ago
2009
Springer
Underdetermined source separation is often carried out by modeling time-frequency source coefficients via a fixed sparse prior. This approach fails when the number of active sourc...
136
Voted
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
The proliferation of retail outlets with nearly identical product offerings and similar costs due to market efficiency means that selecting an appropriate market to open a store i...
218
Voted
IEEECGIV
2005
IEEE
15 years 10 months ago
2005
IEEE
We use two fourth order geometric partial differential equations to efficiently solve several surface modelling problems, including the surface blending, the N-sided hole fillin...