Sciweavers

1240 search results - page 90 / 248
» Composition with Target Constraints
Sort
View
STOC
2006
ACM
138views Algorithms» more  STOC 2006»
15 years 10 months ago
The PCP theorem by gap amplification
The PCP theorem [3, 2] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The cele...
Irit Dinur
ICIP
2005
IEEE
15 years 3 months ago
An active volumetric model for 3D reconstruction
—In this paper, we present an active volumetric model (AVM) for 3D reconstruction from multiple calibrated images of a scene. The AVM is a physically motivated 3D deformable mode...
Xin Liu, Hongxun Yao, Xilin Chen, Wen Gao
MMM
2005
Springer
143views Multimedia» more  MMM 2005»
15 years 3 months ago
Color Time Petri Net for Interactive Adaptive Multimedia Objects
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
Ahmed Gomaa, Nabil R. Adam, Vijayalakshmi Atluri
DAC
1999
ACM
15 years 2 months ago
Behavioral Synthesis of Analog Systems Using Two-layered Design Space Exploration
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
Alex Doboli, Adrián Núñez-Ald...
DIMEA
2008
130views Multimedia» more  DIMEA 2008»
14 years 11 months ago
Iscore: a system for writing interaction
In this article, we present the development of research carried out to design a system of interactive scores for composition and execution, based on temporal constraints called Is...
Antoine Allombert, Myriam Desainte-Catherine, G&ea...