10707 search results - page 1779 / 2142 » Designing executable abstractions |
187
Voted
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— Salamanders propel themselves by proper coordination of limb movements and body undulations. This type of locomotion is interesting for robotics to design robots capabl...
208
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
186
Voted
ACCV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents a new algorithm for low-level multiscale segmentation of images. The algorithm is designed to detect image regions regardless of their shapes, sizes, ...
173
Voted
ACNS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Network coding has been shown to improve the capacity and robustness in networks. However, since intermediate nodes modify packets en-route, integrity of data cannot be c...
198
Voted
ADAEUROPE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...