4890 search results - page 546 / 978 » From system specifications to component behavioral models |
195
Voted
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
185
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
191
Voted
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
We introduce a novel approach to modeling the dynamics of human facial motion induced by the action of speech for the purpose of synthesis. We represent the trajectories of a numbe...
176
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper, we present the results of a pre-study on music performance analysis of ensemble music. Our aim is to implement a music classification system for the description of...
239
Voted
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a framework for authoring three-dimensional virtual scenes for Augmented Reality (AR) which is based on hand sketching. Sketches consisting of multiple components are u...