3573 search results - page 396 / 715 » Reasoning about Codata |
179
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
This paper describes a method for estimating a human spine posture from human images using a human spine model to compute the rough approximation of the physical forces working on ...
160
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
182
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
221
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
157
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...