247 search results - page 37 / 50 » A Qualitative Physics Compiler |
GIS
2010
ACM
14 years 8 months ago
2010
ACM
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
BMVC
2010
14 years 7 months ago
2010
We propose a new coherent framework for joint object detection, 3D layout estimation, and object supporting region segmentation from a single image. Our approach is based on the m...
CSCW
2011
ACM
14 years 4 months ago
2011
ACM
Long-distance couples face considerable communication challenges in their relationships. Unlike collocated couples, long-distance couples lack awareness cues associated with physi...
105
click to vote
CORR
2012
Springer
13 years 5 months ago
2012
Springer
Determinantal point processes (DPPs), which arise in random matrix theory and quantum physics, are natural models for subset selection problems where diversity is preferred. Among...
97
Voted
DSN
2006
IEEE
15 years 1 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...