Sciweavers

409 search results - page 16 / 82
» Natures and Perspectives
Sort
View
ENTCS
2006
128views more  ENTCS 2006»
14 years 11 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi
ICPR
2008
IEEE
15 years 6 months ago
The projective equation of a circle and its application in camera calibration
In this article, we present the projective equation of a circle in a perspective view, which naturally encodes such important geometric entities as the projected circle center, th...
Yinqiang Zheng, Yuncai Liu
CGF
2008
153views more  CGF 2008»
14 years 12 months ago
Context Aware Terrain Visualization for Wayfinding and Navigation
To assist wayfinding and navigation, the display of maps and driving directions on mobile devices is nowadays commonplace. While existing system can naturally exploit GPS informat...
Sebastian Möser, Patrick Degener, Roland Wahl...
IEEEICCI
2006
IEEE
15 years 5 months ago
Separating Designs from Implementations: Role-Based Software Development
This paper explores the nature of software and software development, discusses the importance of specialization in software development, and infers that separation of design and i...
Haibin Zhu
EMSOFT
2001
Springer
15 years 4 months ago
Embedded Control: From Asynchrony to Synchrony and Back
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
Paul Caspi