4075 search results - page 681 / 815 » Modeling Distributed Algorithm Using B |
172
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Each facial event will give rise to complex facial appearance variation. In this paper, we propose similarity features to describe the facial appearance for video-based facial even...
164
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
The appearance of non-rigid objects detected and tracked in video streams is highly variable and therefore makes the identification of similar objects very complex. Furthermore, i...
150
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
158
click to vote
CEC
2007
IEEE
16 years 23 days ago
2007
IEEE
— Gaussian models are widely adopted in continuous Estimation of Distribution Algorithms (EDAs). In this paper, we analyze continuous EDAs and show that they don’t always work ...
183
click to vote
CAIP
2005
Springer
15 years 12 months ago
2005
Springer
Non-parametric data representation can be done by means of a potential function. This paper introduces a methodology for finding modes of the potential function. Two different me...