Sciweavers

1746 search results - page 131 / 350
» Residual for Component Specifications
Sort
View
INFORMATICALT
2000
114views more  INFORMATICALT 2000»
15 years 4 months ago
The Language-Centric Program Generator Models: 3L Paradigm
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
Vytautas Stuikys, Giedrius Ziberkas, Robertas Dama...
IJRR
2002
96views more  IJRR 2002»
15 years 3 months ago
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...
Eric Klavins, Daniel E. Koditschek
DASIP
2010
14 years 11 months ago
RVC: A multi-decoder CAL Composer tool
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
Francesca Palumbo, Danilo Pani, Emanuele Manca, Lu...
MSS
2000
IEEE
113views Hardware» more  MSS 2000»
15 years 8 months ago
Jiro Storage Management
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
Bruce K. Haddon, William H. Connor
CVPR
1999
IEEE
16 years 6 months ago
Shape from Recognition and Learning: Recovery of 3-D Face Shapes
In this paper, a novel framework for the recovery of 3D surfaces of faces from single images is developed. The underlying principle is shape from recognition, i.e. the idea that p...
Dibyendu Nandy, Jezekiel Ben-Arie