Sciweavers

4902 search results - page 267 / 981
» Multi-agent Systems Methodology
Sort
View
155
Voted
ICASSP
2011
IEEE
14 years 9 months ago
A unified approach to real time audio-to-score and audio-to-audio alignment using sequential Montecarlo inference techniques
We present a methodology for the real time alignment of music signals using sequential Montecarlo inference techniques. The alignment problem is formulated as the state tracking o...
Nicola Montecchio, Arshia Cont
AUTOMATICA
2007
86views more  AUTOMATICA 2007»
15 years 5 months ago
Switched seesaw control for the stabilization of underactuated vehicles
This paper addresses the stabilization of a class of nonlinear systems in the presence of disturbances, using switching controllers. To this effect we introduce two new classes o...
A. Pedro Aguiar, João P. Hespanha, Ant&oacu...
147
Voted
DAC
1997
ACM
15 years 9 months ago
Quadratic Placement Revisited
The “quadratic placement” methodology is rooted in [6] [14] [16] and is reputedly used in many commercial and in-house tools for placement of standard-cell and gate-array desi...
Charles J. Alpert, Tony F. Chan, Dennis J.-H. Huan...
182
Voted
FDL
2004
IEEE
15 years 9 months ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
Daniel Karlsson, Petru Eles, Zebo Peng
159
Voted
CODES
2001
IEEE
15 years 9 months ago
A design framework to efficiently explore energy-delay tradeoffs
Comprehensive exploration of the design space parameters at the system-level is a crucial task to evaluate architectural tradeoffs accounting for both energy and performance const...
William Fornaciari, Donatella Sciuto, Cristina Sil...