6456 search results - page 866 / 1292 » Constraint Solving on Terms |
165
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
164
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
My research examines the practical and social impact of technology on the urban homeless. To accomplish this, I have conducted interviews with the homeless to understand how techn...
141
Voted
TEI
2010
ACM
16 years 1 months ago
2010
ACM
“Captain Electric and Battery Boy” refers to an ongoing research project that aims to develop electronic garments and wearable artifacts that harness power from the body and u...
192
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
Analyzing videos of human activities involves not only recognizing actions (typically based on their appearances), but also determining the story/plot of the video. The storyline ...
151
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
1 Example-based super-resolution recovers missing high frequencies in a magnified image by learning the correspondence between co-occurrence examples at two different resolution le...