1742 search results - page 141 / 349 » An Applicative Module Calculus |
115
click to vote
JUCS
2008
15 years 20 days ago
2008
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
70
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...
78
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper presents a dynamic and distributed reconfiguration planning algorithm for chain-type selfreconfigurable robots, by which a robot can autonomously self-reconfigure fr...
114
Voted
ICDIM
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...
ICPPW
2007
IEEE
15 years 7 months ago
2007
IEEE
With the growth in the computation capacity of sensor nodes, they are increasingly equipped to handle more complex functions. Moreover, the need to realize the complete loop of se...