325 search results - page 34 / 65 » Thinking with external representations |
108
Voted
AI
2007
Springer
15 years 17 days ago
2007
Springer
In this paper a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain re...
184
Voted
POPL
2008
ACM
16 years 23 days ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
PERCOM
2004
ACM
16 years 1 days ago
2004
ACM
We present the Cooperative Location-sensing system (CLS), an adaptive location-sensing system that enables devices to estimate their position in a self-organizing manner without t...
118
click to vote
SIBGRAPI
2008
IEEE
15 years 6 months ago
2008
IEEE
This work proposes a simple approximation scheme for discrete data that leads to an infinitely smooth result without global optimization. It combines the flexibility of Binary Sp...
103
Voted
HAPTICS
2005
IEEE
15 years 6 months ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...