2777 search results - page 254 / 556 » Example centric programming |
129
Voted
TYPES
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
104
Voted
ICPR
2006
IEEE
15 years 9 months ago
2006
IEEE
Image registration is the process of geometrically aligning
two or more images. In this paper we describe a method
for registering pairs of images based on thin-plate spline
map...
118
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In this paper, the robustness of graspless manipulation (or nonprehensile manipulation) is investigated. We derive some new constraints for static frictional forces in ...
124
Voted
WECWIS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
113
Voted
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
Teaching introductory programming today presents considerable challenges, which traditional techniques do not properly address. Students start with a wide variety of backgrounds a...