4255 search results - page 301 / 851 » Cover |
160
Voted
SCAM
2007
IEEE
16 years 29 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
151
click to vote
SMI
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
161
click to vote
TASE
2007
IEEE
16 years 29 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
380
click to vote
ACCV
2007
Springer
16 years 27 days ago
2007
Springer
This work explores full registration of scenes in a large area purely based images for city indexing and visualization. Ground-based images including route panoramas, scene tunnels...
160
click to vote
AMR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper, we present an approach to automatically detecting music band members and instrumentation using web content mining techniques. To this end, we combine a nam...