Sciweavers

4163 search results - page 305 / 833
» A comprehensive combination framework
Sort
View
ICRA
2003
IEEE
106views Robotics» more  ICRA 2003»
15 years 12 months ago
Motion planning for a three-limbed climbing robot in vertical natural terrain
This paper presents a general framework for planning the quasi-static motion of a three-limbed climbing robot in vertical natural terrain. The problem is to generate a sequence of...
Timothy Bretl, Stephen M. Rock, Jean-Claude Latomb...
IPPS
2002
IEEE
15 years 11 months ago
Eclipse: Heterogeneous Multiprocessor Architecture for Flexible Media Processing
Eclipse is a heterogeneous multiprocessor architecture for high-performance media processing, including highdefinition MPEG encoding/decoding. The scalable architecture framework ...
Martijn J. Rutten, Jos T. J. van Eijndhoven, Evert...
HICSS
1999
IEEE
92views Biometrics» more  HICSS 1999»
15 years 11 months ago
XMDS: The Xputer Multimedia Development System
The paper introduces an Internet based development system for Xputers, which combines an application development framework with a runtime support to run applications on the real h...
Michael Herz, Thomas Hoffmann, Ulrich Nageldinger,...
CSFW
1997
IEEE
15 years 11 months ago
Verifying authentication protocols with CSP
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
Steve Schneider
DEXAW
1996
IEEE
79views Database» more  DEXAW 1996»
15 years 10 months ago
Managing Multiple Representations of Georeferenced Elements
This paper presents a framework for the management of multiple representations of georeferenced elements in a GIS environment. This solution is presented from a database perspecti...
Claudia Bauzer Medeiros, Marie-Jo Bellosta, Genevi...