7393 search results - page 221 / 1479 » Synthesis-for-testability using transformations |
161
click to vote
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. Dimensionality reduction is an essential aspect of visual processing. Traditionally, linear dimensionality reduction techniques such as principle components analysis have...
126
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse in...
171
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
demanding algorithm of a video encoder. It is known that about 60% ~ 80% of the total computation time is consumed for motion estimation [1]. The second is its high impact on the v...
136
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Embedded application requirements, including high performance, low power consumption and fast time to market, are uncommon in the broader domain of general purpose applications. I...
191
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...