Sciweavers

79 search results - page 8 / 16
» Fast automatic skinning transformations
Sort
View
DDECS
2009
IEEE
128views Hardware» more  DDECS 2009»
14 years 2 months ago
A fast untestability proof for SAT-based ATPG
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
Daniel Tille, Rolf Drechsler
CF
2007
ACM
13 years 11 months ago
Fast compiler optimisation evaluation using code-feature based performance prediction
Performance tuning is an important and time consuming task which may have to be repeated for each new application and platform. Although iterative optimisation can automate this p...
Christophe Dubach, John Cavazos, Björn Franke...
IPAS
2008
13 years 10 months ago
Multivariate mathematical morphology and Bayesian classifier application to colour and medical images
Multivariate images are now commonly produced in many applications. If their process is possible due to computers power and new programming languages, theoretical difficulties hav...
Arnaud Garcia, Corinne Vachier, Jean-Paul Vall&eac...
DEXAW
2008
IEEE
114views Database» more  DEXAW 2008»
13 years 9 months ago
Management of User-Defined Meta Information for Virtual Product Development
Virtual product development puts high demands on data management solutions due to many dependent heterogeneous data sources, automatic data transformations, and fast changing requ...
Ingolf Geist, Stephan Vornholt
CAIP
2005
Springer
220views Image Analysis» more  CAIP 2005»
14 years 1 months ago
Application of Automatic Image Registration in a Segmentation Framework of Pelvic CT Images
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...
Attila Tanács, Eörs Máté...