1163 search results - page 110 / 233 » Concurrent Subspaces Analysis |
140
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
120
Voted
IJCV
2008
15 years 3 months ago
2008
In this study we concentrate on qualitative topological analysis of the local behavior of the space of natural images. To this end, we use a space of 3 by 3 high-contrast patches ...
120
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we propose a method for recognizing lowresolution characters using a super-resolution technique. Although portable digital cameras can be used for camerabased chara...
135
Voted
SIAMNUM
2010
14 years 10 months ago
2010
In this paper we develop an a posteriori error analysis of a new conforming mixed finite element method for the coupling of fluid flow with porous media flow. The flows are govern...
131
click to vote
WSC
1998
15 years 5 months ago
1998
This study details the synergistic application of ergonomic analysis, discrete-process simulation, and statistical analysis to the problems of determining the optimum design for a...