3951 search results - page 270 / 791 » Automatic amortized analysis |
248
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
195
click to vote
JCDL
2009
ACM
16 years 1 months ago
2009
ACM
A lot of future-related information is available in news articles or Web pages. This information can however differ to large extent and may fluctuate over time. It is therefore di...
183
click to vote
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Although automatic identity inference based on faces has shown success when using high quality images, for CCTV based images it is hard to attain similar levels of performance. Fu...
223
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Image segmentation plays an important role in image analysis and computer vision system. Among all segmentation techniques, the automatic thresholding methods are widely used be...
163
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel and effective algorithm for rotation symmetry group detection from real-world images. We propose a frieze-expansion method that transforms rotation symmetry gro...