3317 search results - page 360 / 664 » Strategies in Rigid-Variable Methods |
182
click to vote
AICOM
2010
15 years 7 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
178
click to vote
IJCV
2000
15 years 6 months ago
2000
In this paper we show that a classic optical ow technique by Nagel and Enkelmann (1986) can be regarded as an early anisotropic di usion method with a di usion tensor. We introduc...
191
click to vote
TASLP
2010
15 years 1 months ago
2010
This paper presents a maximum likelihood approach to multiple fundamental frequency (F0) estimation for a mixture of harmonic sound sources, where the power spectrum of a time fra...
213
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
Action recognition methods suffer from many drawbacks in practice, which include (1)the inability to cope with incremental recognition problems; (2)the requirement of an intensive...
150
click to vote
ASAP
1997
IEEE
15 years 11 months ago
1997
IEEE
In this article processor elements for the effective implementation of standard cell circuits based on Residue Number Systems (RNS) are presented. Two new processors are proposed ...