4099 search results - page 382 / 820 » A Framework for Interactive Proof |
186
click to vote
MMM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The paper presents a new approach on an omni-directional omnistereo multi-camera system that allows the recording of panoramic 3D video with high resolution and quality a...
171
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
224
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
198
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
237
click to vote
FOCS
2004
IEEE
15 years 10 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...