3335 search results - page 574 / 667 » Grid result checking |
113
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
176
click to vote
TOG
2012
13 years 6 months ago
2012
We introduce tailored displays that enhance visual acuity by decomposing virtual objects and placing the resulting anisotropic pieces into the subject’s focal range. The goal is...
140
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We present a sensor fusion scheme that combines active stereo with photometric stereo. Aiming at capturing full-frame depth for dynamic scenes at a minimum of three lighting condi...
199
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
126
click to vote
JSC
2007
15 years 3 months ago
2007
A well-known result due to J. T. Stafford asserts that a stably free left module M over the Weyl algebras D = An(k) or Bn(k) − where k is a field of characteristic 0 − with ...