2774 search results - page 293 / 555 » Query-Driven Program Testing |
154
click to vote
ACIVS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
134
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper investigates retiming and clock skew scheduling for improving the tolerance of synchronous circuits to delay variations. It is shown that when both long and short paths...
129
Voted
CCS
1998
ACM
15 years 6 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
117
click to vote
EUROGP
1998
Springer
15 years 6 months ago
1998
Springer
Koza has shown how automatically defined functions (ADFs) can reduce computational effort in the GP paradigm. In Koza's ADF, as well as in standard GP, an improvement in a par...
128
click to vote
CHI
1996
ACM
15 years 6 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...