691 search results - page 123 / 139 » Automatically Proving Linearizability |
ICCV
1999
IEEE
15 years 1 days ago
1999
IEEE
Automatic grouping and segmentation of images remains a challenging problem in computer vision. Recently, a number of authors have demonstrated good performance on this task using...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We propose a system that reads the text encountered in natural scenes with the aim to provide assistance to the visually impaired persons. This paper describes the system design a...
DAC
2008
ACM
14 years 11 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Some previous works show that a web page can be partitioned to multiple segments or blocks, and usually the importance of those blocks in a page is not equivalent. Also, it is pro...