1880 search results - page 160 / 376 » A Static Analysis for Beta-Binders |
182
click to vote
ACCV
1998
Springer
15 years 10 months ago
1998
Springer
One of the important problems related to image analysis and compression is finding repeated structure. Although the focus of this paper is developing digital geometric models and m...
175
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we propose a new set of parameters for audio signal analysis and classification. These parameters are regressions computed on the normalized modulation spectrum of h...
214
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
175
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper investigates the effects of undercompensation and overcompensation of friction in PD controlled 1DOF mechanical systems. The friction force that is acting on the mechan...
186
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...