3771 search results - page 590 / 755 » Subobject Transformation Systems |
130
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
187
Voted
DISCO
1993
15 years 7 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
141
Voted
KDD
2010
ACM
15 years 7 months ago
2010
ACM
Periodicity is a frequently happening phenomenon for moving objects. Finding periodic behaviors is essential to understanding object movements. However, periodic behaviors could b...
150
Voted
DAWAK
2006
Springer
15 years 7 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...
141
Voted
ISMIR
2000
Springer
15 years 7 months ago
2000
Springer
We examine in some detail Mel Frequency Cepstral Coefficients (MFCCs) - the dominant features used for speech recognition - and investigate their applicability to modeling music. ...