7766 search results - page 1187 / 1554 » Testing Nondeterminate Systems |
153
click to vote
VEE
2012
ACM
13 years 12 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
167
click to vote
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
This paper introduces CarSpeak, a communication system for autonomous driving. CarSpeak enables a car to query and access sensory information captured by other cars in a manner si...
177
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
In this paper we present a novel face classification system
where we represent face images as a spatial arrangement
of image patches, and seek a smooth non-linear functional
map...
165
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Classifying pictures into one of several semantic categories is a classical image understanding problem. In this paper, we present a stratified approach to both binary (outdoor-in...
131
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...