3951 search results - page 176 / 791 » Automatic amortized analysis |
108
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, a multi-camera architecture is presented for heterogeneous targets analysis and tracking. The proposed system can be switched in various configurations enabling aut...
125
Voted
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
This article focuses on the field-to-image registration for TV sports-related image processing through basic geometrical reasoning. We propose a robust automatic line-based method...
127
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
138
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—A new network architecture for high-speed low-latency interconnects is introduced, based on a combination of optical wavelength division multiplexing and the automatic packet se...
130
click to vote
FUZZY
2001
Springer
15 years 9 months ago
2001
Springer
The paper presents the results of experiments of usage of LSA for analysis of textual data. The method is explained in brief and special attention is pointed on its potential for c...