Sciweavers

5414 search results - page 248 / 1083
» Data representation synthesis
Sort
View
124
Voted
IVA
2005
Springer
16 years 1 days ago
INTERFACE Toolkit: A New Tool for Building IVAs
INTERFACE is an integrated software implemented in Matlab© and created to speed-up the procedure for building an emotive/expressive talking head. Various processing tools, working...
Piero Cosi, Carlo Drioli, Fabio Tesser, Graziano T...
214
Voted
DAC
2006
ACM
16 years 7 months ago
Placement of digital microfluidic biochips using the t-tree formulation
Droplet-based microfluidic biochips have recently gained much attention and are expected to revolutionize the biological laboratory procedure. As biochips are adopted for the comp...
Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang
CVPR
2010
IEEE
16 years 2 months ago
Spike Train Driven Dynamical Models for Human Actions
We investigate dynamical models of human motion that can support both synthesis and analysis tasks. Unlike coarser discriminative models that work well when action classes are ...
Michalis Raptis, Kamil Wnuk , Stefano Soatto
184
Voted
JELIA
2004
Springer
15 years 12 months ago
Towards a Logical Analysis of Biochemical Pathways
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
TCAD
2002
121views more  TCAD 2002»
15 years 6 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...