Sciweavers

2005 search results - page 260 / 401
» Business Process Knowledge Modelling: Method and Tool
Sort
View
154
Voted
IJVR
2007
204views more  IJVR 2007»
15 years 3 months ago
Modeling and Animating Virtual Humans
—We report on the workflow for the creation of realistic virtual anthropomorphic characters. 3D-models of human heads have been reconstructed from real people by following a stru...
Frank Hülsken, Christian Eckes, Roland Kuck, ...
101
Voted
DAC
2005
ACM
16 years 4 months ago
Minimising buffer requirements of synchronous dataflow graphs with model checking
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
Marc Geilen, Twan Basten, Sander Stuijk
245
Voted
PADL
2009
Springer
16 years 4 months ago
Layered Models Top-Down Querying of Normal Logic Programs
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
Alexandre Miguel Pinto, Luís Moniz Pereira
MICCAI
2009
Springer
16 years 4 months ago
Personalized Pulmonary Trunk Modeling for Intervention Planning and Valve Assessment Estimated from CT Data
Pulmonary valve disease affects a significant portion of the global population and often occurs in conjunction with other heart dysfunctions. Emerging interventional methods enable...
Dime Vitanovski, Razvan Ioan Ionasec, Bogdan Geo...
RECOMB
2005
Springer
16 years 4 months ago
Stability of Rearrangement Measures in the Comparison of Genome Sequences
We present data-analytic and statistical tools for studying rates of rearrangement of whole genomes and to assess the stability of these methods with changes in the level of resol...
David Sankoff, Matthew Mazowita