7393 search results - page 1109 / 1479 » Synthesis-for-testability using transformations |
122
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
168
click to vote
AVBPA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper is framed in the field of statistical face analysis. In particular, the problem of accurate segmentation of prominent features of the face in frontal view ima...
120
click to vote
EXTREME
2004
ACM
15 years 10 months ago
2004
ACM
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...
153
click to vote
MIR
2004
ACM
15 years 10 months ago
2004
ACM
Music and songs usually have repeating patterns and prominent structure. The automatic extraction of such repeating patterns and structure is useful for further music summarizatio...
127
click to vote
WMPI
2004
ACM
15 years 10 months ago
2004
ACM
Current trends suggest that the number of memory chips per processor chip will increase at least a factor of ten in seven years. This will make DRAM cost, the space and the power i...