Sciweavers

6562 search results - page 89 / 1313
» Noetherianity and Combination Problems
Sort
View
IPMI
2009
Springer
16 years 1 months ago
Multivariate High-Dimensional Cortical Folding Analysis, Combining Complexity and Shape, in Neonates with Congenital Heart Disea
The paper presents a novel statistical framework for cortical folding pattern analysis that relies on a rich multivariate descriptor of folding patterns in a region of interest (RO...
Suyash P. Awate, Paul A. Yushkevich, Zhuang Song, ...
93
Voted
SIGSOFT
2001
ACM
16 years 1 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
87
Voted
CHI
2008
ACM
16 years 1 months ago
Sigma lenses: focus-context transitions combining space, time and translucence
Focus + context techniques such as fisheye lenses are used to navigate and manipulate objects in multi-scale worlds. They provide in-place magnification of a region without requir...
Emmanuel Pietriga, Caroline Appert
109
Voted
ICCD
2007
IEEE
157views Hardware» more  ICCD 2007»
15 years 9 months ago
Combining cluster sampling with single pass methods for efficient sampling regimen design
Microarchitectural simulation is orders of magnitude slower than native execution. As more elements are accurately modeled, problems associated with slow simulation are further ex...
Paul D. Bryan, Thomas M. Conte
MEMOCODE
2007
IEEE
15 years 7 months ago
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
Stephan Eggersglüß, Görschwin Fey,...