Sciweavers

21319 search results - page 367 / 4264
» An Approach for Method Reengineering
Sort
View
IEAAIE
2001
Springer
15 years 10 months ago
A Mixed Closure-CSP Method to Solve Scheduling Problems
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
María Isabel Alfonso Galipienso, Federico B...
147
Voted
MICCAI
2001
Springer
15 years 10 months ago
A New Method for the Registration of Cardiac PET and MR Images Using Deformable Model Based Segmentation of the Main Thorax Stru
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...
Timo Mäkelä, Patrick Clarysse, Jyrki L&o...
VISUALIZATION
2000
IEEE
15 years 10 months ago
A continuous clustering method for vector fields
A new method for the simplification of flow fields is presented. It is based on continuous clustering. A well-known physical clustering model, the Cahn Hillard model which desc...
Harald Garcke, Tobias Preußer, Martin Rumpf,...
DSVIS
1998
Springer
15 years 10 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
ASPDAC
2007
ACM
144views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Parameter Reduction for Variability Analysis by Slice Inverse Regression (SIR) Method
With semiconductor fabrication technologies scaled below 100 nm, the design-manufacturing interface becomes more and more complicated. The resultant process variability causes a nu...
Alexander V. Mitev, Michael Marefat, Dongsheng Ma,...