Sciweavers

1143 search results - page 126 / 229
» Mental models of recursion
Sort
View
104
Voted
ICRA
2006
IEEE
163views Robotics» more  ICRA 2006»
15 years 6 months ago
Actuation Compensation for Flexible Surgical Snake-like Robots with Redundant Remote Actuation
– This paper presents two actuation compensation methods for a snake-like robot implementing multi flexible backbones and actuation redundancy. This snake-like robot is designed ...
Kai Xu 0005, Nabil Simaan
87
Voted
TLCA
2005
Springer
15 years 6 months ago
The Elimination of Nesting in SPCF
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
James Laird
CAD
2007
Springer
15 years 21 days ago
Dynamic B-spline surface reconstruction: Closing the sensing-and-modeling loop in 3D digitization
In this paper, we present a new B-spline surface reconstruction approach, called dynamic surface reconstruction, aiming to close the sensingand-modeling loop in 3D digitization. A...
Yunbao Huang, Xiaoping Qian
120
Voted
EMSOFT
2010
Springer
14 years 10 months ago
Nucleos: a runtime system for ultra-compact wireless sensor nodes
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
Jiwon Hahn, Pai H. Chou
118
Voted
LATA
2011
Springer
14 years 3 months ago
Networks of Evolutionary Processors with Subregular Filters
In this paper we propose a hierarchy of classes of languages, generated by networks of evolutionary processors with the filters in several special classes of regular sets. More p...
Jürgen Dassow, Florin Manea, Bianca Truthe