888 search results - page 26 / 178 » The Power of Temporal Proofs |
BIRTHDAY
2003
Springer
15 years 1 months ago
2003
Springer
We prove in this paper that if r and s are two semilinear power series in commuting variables and s has bounded coefficients, then r-s is a rational series. This result can be tho...
ICDE
2006
IEEE
15 years 3 months ago
2006
IEEE
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...
ACL
1997
14 years 11 months ago
1997
This paper shows that a class of Combinatory Categorial Grammars (CCGs) augmented with a linguistically-motivated form of type raising involving variables is weakly equivalent to ...
MFCS
2010
Springer
14 years 8 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
The conventional approach to audio processing, based on the short-time power spectrum model, is not adequate when it comes to general audio signals. We propose an approach, justi...