6120 search results - page 845 / 1224 » The Power of Linear Functions |
170
Voted
LCTRTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
205
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
192
click to vote
VISUAL
2000
Springer
15 years 10 months ago
2000
Springer
Relevance feedback is a powerful technique for content-based image retrieval. Many parameter estimation approaches have been proposed for relevance feedback. However, most of them ...
180
click to vote
ISER
1995
Springer
15 years 10 months ago
1995
Springer
We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the an...
178
click to vote
VL
1995
IEEE
15 years 10 months ago
1995
IEEE
A critical incident is reported where a discretionary user needed to partition the spreadsheet grid into an arithmetic series of blocks and apply a function to each, but was unabl...