5726 search results - page 972 / 1146 » Supporting annotations on relations |
161
click to vote
CSCW
2012
ACM
14 years 1 months ago
2012
ACM
Recent advances in ubiquitous technology have greatly changed the way people stay connected. We conducted an in-depth video shadowing study to observe how close-knit groups use al...
231
click to vote
HICSS
2012
IEEE
14 years 1 months ago
2012
IEEE
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
179
Voted
HPCA
2012
IEEE
14 years 1 months ago
2012
IEEE
Data races are a major contributor to parallel software unreliability. A type of race that is both common and typically harmful is the Asymmetric data race. It occurs when at leas...
186
click to vote
VSTTE
2012
Springer
14 years 1 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
158
click to vote
ECCV
2010
Springer
14 years 9 days ago
2010
Springer
Hough voting methods efficiently handle the high complexity of multiscale,
category-level object detection in cluttered scenes. The primary weakness
of this approach is however t...