Sciweavers

4074 search results - page 646 / 815
» Abstract Graph Transformation
Sort
View
DCC
2004
IEEE
16 years 1 months ago
Source Coding With Distortion Side Information At The Encoder
Abstract: We consider lossy source coding when side information affecting the distortion measure may be available at the encoder, decoder, both, or neither. For example, such disto...
Emin Martinian, Gregory W. Wornell, Ram Zamir
MICCAI
2009
Springer
15 years 11 months ago
DISCO: A Coherent Diffeomorphic Framework for Brain Registration under Exhaustive Sulcal Constraints
Abstract. Neuroimaging at the group level requires spatial normalization of individual structural data. We propose a geometric approach that consists in matching a series of cortic...
Guillaume Auzias, Joan Glaunes, Olivier Colliot, M...
PEPM
2010
ACM
15 years 10 months ago
Clone detection and elimination for Haskell
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
Christopher Brown, Simon Thompson
FASE
2010
Springer
15 years 8 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...
ATS
2009
IEEE
142views Hardware» more  ATS 2009»
15 years 8 months ago
Speeding up SAT-Based ATPG Using Dynamic Clause Activation
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
Stephan Eggersglüß, Daniel Tille, Rolf ...