Sciweavers

1329 search results - page 141 / 266
» Constraint-based model synthesis
Sort
View
GW
2007
Springer
85views Biometrics» more  GW 2007»
15 years 10 months ago
A Qualitative and Quantitative Characterisation of Style in Sign Language Gestures
This paper addresses the identification and representation of the variations induced by style for the synthesis of realistic and convincing expressive gesture sequences. A qualita...
Alexis Heloir, Sylvie Gibet
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 9 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
ICCAD
1997
IEEE
117views Hardware» more  ICCAD 1997»
15 years 8 months ago
Decomposition of timed decision tables and its use in presynthesis optimizations
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
Jian Li, Rajesh K. Gupta
EURODAC
1994
IEEE
163views VHDL» more  EURODAC 1994»
15 years 8 months ago
VHDL and cyclic corrector codes
Cyclic corrector codes, or "block codes", are often used in telecommunications systems. To facilitate the design of coding/decoding circuits using this type of code, we ...
France Mendez
159
Voted
ISBI
2002
IEEE
16 years 5 months ago
Capturing contextual dependencies in medical imagery using hierarchical multi-scale models
In this paper we summarize our results for two classes of hierarchical multi-scale models that exploit contextual information for detection of structure in mammographic imagery. T...
Paul Sajda, Clay Spence, Lucas C. Parra