571 search results - page 78 / 115 » A principled approach to operating system construction in Ha... |
208
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
127
click to vote
CGF
2011
14 years 4 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
116
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
This paper proposes a novel approach to constructing a hierarchical representation of visual input that aims to enable recognition and detection of a large number of object catego...
OSDI
2008
ACM
16 years 1 months ago
2008
ACM
SALSA examines system logs to derive state-machine views of the sytem's execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA's d...
123
click to vote
WCE
2007
15 years 2 months ago
2007
- Machine vision has evolved to become a mainstream automation tool, enabling computers to replace human vision in high speed and precision manufacturing techniques. Images usually...