328 search results - page 28 / 66 » Simple Termination Revisited |
CSL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
ICCV
2009
IEEE
15 years 17 days ago
2009
IEEE
The accurate estimation of motion in image sequences is
of central importance to numerous computer vision applications.
Most competitive algorithms compute flow fields
by minimi...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—We consider multi-resolution storage, a technique for providing scalable adaptive data fidelity, necessary for many applications of large wireless sensor networks (WSNs). Altho...
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
—This paper presents a new method to study the capability of an underactuated hand to produce form-closed grasps. First, the stability behaviours of different underactuated paral...
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
The old idea of navigation in a database is revisited with two essential changes: we address Web users rather than programmers and the navigation is accomplished as a visual metaph...