3972 search results - page 223 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
121
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
129
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
We propose a two-class classification model for grouping. Human segmented natural images are used as positive examples. Negative examples of grouping are constructed by randomly m...
125
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
134
click to vote
MIRAGE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned itself with the analysis of the twophase Mumford-Shah model also known as the active contour without edges model introduced by Chan and Vese. It c...
124
Voted
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
Model-based image segmentation requires prior information about the appearance of a structure in the image. Instead of relying on Principal Component Analysis such as in Statistica...