1801 search results - page 61 / 361 » Pointing without a pointer |
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
COTS components, like software libraries, can be used to reduce the development effort. Unfortunately, many COTS components have been developed without a focus on robustness and s...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
VRCAI
2006
ACM
14 years 3 months ago
2006
ACM
We introduce a system that adds a foveal inset to large-scale projection displays. The effective resolution of the foveal inset projection is higher than the original display reso...
FUN
2010
Springer
14 years 13 days ago
2010
Springer
Conventional wisdom suggests that O(k)-time is required to reverse a substring of length k. To reduce this time complexity, a simple and unorthodox data structure is introduced. A ...
3DPVT
2004
IEEE
14 years 26 days ago
2004
IEEE
Modern automatic digitizers can sample huge amounts of 3D data points on the object surface in a short time. Point based graphics is becoming a popular framework to reduce the car...