3235 search results - page 219 / 647 » Partial Redundant Modeling |
164
click to vote
TACAS
2010
Springer
16 years 1 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 ...
174
click to vote
IPMI
2009
Springer
16 years 1 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...
156
click to vote
IDA
2009
Springer
16 years 1 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...
164
click to vote
HICSS
2008
IEEE
16 years 1 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...
248
click to vote
IEEECGIV
2005
IEEE
16 years 5 days 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...