Sciweavers

2790 search results - page 231 / 558
» A generative theory of relevance
Sort
View
POPL
2004
ACM
16 years 7 months ago
Incremental execution of transformation specifications
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen
MMM
2008
Springer
128views Multimedia» more  MMM 2008»
16 years 1 months ago
Aesthetics-Based Automatic Home Video Skimming System
Abstract. In this paper, we propose an automatic home video skimming system based on media aesthetics. Unlike other similar works, the proposed system considers video editing theor...
Wei-Ting Peng, Yueh-Hsuan Chiang, Wei-Ta Chu, Wei-...
EMSOFT
2003
Springer
15 years 12 months ago
Schedule-Carrying Code
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
AIR
2006
107views more  AIR 2006»
15 years 6 months ago
Just enough learning (of association rules): the TAR2 "Treatment" learner
Abstract. An over-zealous machine learner can automatically generate large, intricate, theories which can be hard to understand. However, such intricate learning is not necessary i...
Tim Menzies, Ying Hu
TMI
2008
85views more  TMI 2008»
15 years 6 months ago
Sparsity-Enforced Slice-Selective MRI RF Excitation Pulse Design
We introduce a novel algorithm for the design of fast slice-selective spatially-tailored magnetic resonance imaging (MRI) excitation pulses. This method, based on sparse approximat...
Adam C. Zelinski, Lawrence L. Wald, K. Setsompop, ...