4190 search results - page 337 / 838 » Type Class Directives |
143
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
Human visual perception is able to recognize a wide range of targets under challenging conditions, but has limited throughput. Machine vision and automatic content analytics can p...
179
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
Learning useful and predictable features from past workloads and exploiting them well is a major source of improvement in many operating system problems. We review known parallel ...
142
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
132
click to vote
STOC
1991
ACM
15 years 8 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
143
Voted
KRDB
1998
15 years 6 months ago
1998
We present a semantic caching approach for optimizing the performance of information mediators. A critical problem with information mediators, particularly those gathering and int...