4502 search results - page 229 / 901 » Regular Model Checking |
174
click to vote
COGSCI
2010
15 years 6 months ago
2010
With only two to five slots of visual working memory (VWM), humans are able to quickly solve complex visual problems to near optimal solutions. To explain the paradox between tigh...
179
click to vote
FGCS
2006
15 years 6 months ago
2006
Tw o parallel programming models represented b y OpenMP and MPI are compared for PDE solvers based on regular sparse numerical operators. As a typical representative of such an app...
204
click to vote
TIP
2010
15 years 4 months ago
2010
—In increasingly many cases of interest in computer vision and pattern recognition, one is often confronted with the situation where data size is very large. Usually, the labels ...
161
click to vote
TIP
2008
15 years 6 months ago
2008
Denoising is always a challenging problem in natural imaging and geophysical data processing. In this paper we consider the denoising of texture images using a nonlinear reaction-...
165
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...