Sciweavers

614 search results - page 60 / 123
» global 2003
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 4 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
HIPC
2003
Springer
15 years 4 months ago
Supporting Mobile Multimedia Services with Intermittently Available Grid Resources
Advances in high quality digital wireless networks and differentiated services have enabled the development of mobile multimedia applications that can execute in global infrastruct...
Yun Huang, Nalini Venkatasubramanian
HUC
2003
Springer
15 years 4 months ago
Activity Zones for Context-Aware Computing
Location is a primary cue in many context-aware computing systems, and is often represented as a global coordinate, room number, or a set of Euclidean distances to various landmark...
Kimberle Koile, Konrad Tollmar, David Demirdjian, ...
IBPRIA
2003
Springer
15 years 4 months ago
Non-rigid Registration of Vessel Structures in IVUS Images
Abstract. We present a registration and retrieval algorithm of medical images. Our algorithm is oriented in a general fashion towards gray level medical images of non-rigid bodies ...
Jaume Amores, Petia Radeva
82
Voted
IBPRIA
2003
Springer
15 years 4 months ago
Local Motion Estimation from Stereo Image Sequences
This paper proposes a method for representing local temporal deformations of a 3D flexible surface in an orthogonal space from a sequence of stereo images. The approach uses a disp...
Nicolas Pérez de la Blanca, José M. ...