1992 search results - page 297 / 399 » Memory modeling for system synthesis |
136
click to vote
ICMAS
2000
15 years 6 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
140
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we review the acoustic features used for music-to-score alignment and study their influence on the performance in a challenging alignment task, where the audio data...
149
Voted
CGF
2008
15 years 4 months ago
2008
We propose a framework for 3D geometry processing that provides direct access to surface curvature to facilitate advanced shape editing, filtering, and synthesis algorithms. The c...
124
click to vote
STTT
2008
15 years 4 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
154
click to vote
TCAD
2010
14 years 11 months ago
2010
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...