330 search results - page 12 / 66 » Using Sequential Context for Image Analysis |
AGP
1995
IEEE
13 years 11 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
Edge detection is the basic operation in the image processing and analysis. Multiresolution Sequential Edge Linking (MSEL), which is proposed by Edward J.Delp of Purdue University...
SCIA
2005
Springer
14 years 29 days ago
2005
Springer
Experiments were carried out to investigate the possibility of training cellular automata to to perform processing. Currently, only binary images are considered, but the space of r...
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
Near-duplicate keyframes (NDK) play a unique role in large-scale video search, news topic detection and tracking. In this paper, we propose a novel NDK retrieval approach by explo...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...