4190 search results - page 337 / 838 » Type Class Directives |
183
click to vote
MM
2009
ACM
16 years 1 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...
222
click to vote
ICS
2005
Tsinghua U.
16 years 6 days 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 ...
165
click to vote
VMCAI
2004
Springer
16 years 1 days 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...
163
click to vote
STOC
1991
ACM
15 years 10 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...
178
click to vote
KRDB
1998
15 years 8 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...