10493 search results - page 474 / 2099 » Dynamic Word Problems |
165
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
173
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Background modeling and subtraction is a core component in motion analysis. The central idea behind such module is to create a probabilistic representation of the static scene tha...
305
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Collaboration between small-scale wireless devices hinges on their ability to infer properties shared across multiple nearby nodes. Wireless-enabled mobile devices in particular cr...
183
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
The clustering-based approach for detecting abnormalities in surveillance video requires the appropriate definition of similarity between events. The HMM-based similarity defined ...
214
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
A common problem in most active contour methods is that the recursive searching scheme can only return a local optimal solution. Furthermore, the internal energy of the snake is n...