5583 search results - page 804 / 1117 » Application of Micro-Genetic Algorithm for Task Based Comput... |
172
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
179
click to vote
SCALESPACE
2007
Springer
16 years 26 days ago
2007
Springer
In this work a marker-controlled and regularized watershed segmentation is proposed. Only a few previous studies address the task of regularizing the obtained watershed lines from ...
157
click to vote
WIKIS
2005
ACM
16 years 9 days ago
2005
ACM
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...
199
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
181
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Detecting and recognizing face images automatically is a difficult task due to the variability of illumination, presentation angle, face expression and other common problems of m...