4502 search results - page 539 / 901 » Regular Model Checking |
187
click to vote
NHM
2010
15 years 1 months ago
2010
We propose here a general framework to address the question of trace operators on a dyadic tree. This work is motivated by the modeling of the human bronchial tree which, thanks t...
248
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A nonparametric version of the basis pursuit method is developed for field estimation. The underlying model entails known bases, weighted by generic functions to be estimated fro...
194
click to vote
IJCV
2011
14 years 10 months ago
2011
We examine the underlying structure of popular algorithms for variational methods used in image processing. We focus here on operator splittings and Bregman methods based on a uni...
262
click to vote
PAMI
2012
13 years 9 months ago
2012
—We present a novel framework to generate and rank plausible hypotheses for the spatial extent of objects in images using bottom-up computational processes and mid-level selectio...
196
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...