Sciweavers

4355 search results - page 684 / 871
» From Interpretation to Compilation
Sort
View
TASLP
2008
75views more  TASLP 2008»
14 years 10 months ago
Efficient Index-Based Audio Matching
Given a large audio database of music recordings, the goal of classical audio identification is to identify a particular audio recording by means of a short audio fragment. Even th...
Frank Kurth, Meinard Müller
112
Voted
APAL
2005
125views more  APAL 2005»
14 years 10 months ago
Dynamic topological logic
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
Philip Kremer, Grigori Mints
92
Voted
INFSOF
2007
74views more  INFSOF 2007»
14 years 10 months ago
Software process improvement as emergent change: A structurational analysis
This paper presents a framework that draws on Structuration theory and dialectical hermeneutics to explicate the dynamics of software process improvement (SPI) in a packaged softw...
I. Allison, Yasmin Merali
73
Voted
TCOM
2008
83views more  TCOM 2008»
14 years 10 months ago
Toward a unified framework for modeling and analysis of diversity in joint source-channel coding
The study of Joint Source-Channel Coding (JSCC) systems faces one major challenge in obtaining an analytical expression for the function that links end-to-end distortion with chann...
Andres Kwasinski, K. J. Ray Liu
IVC
2007
82views more  IVC 2007»
14 years 10 months ago
Cloud covering denoising through image fusion
This paper presents a solution to the cloud removal problem, based in a recently developed image fusion methodology consisting in applying a 1-D pseudo-Wigner distribution (PWD) t...
Salvador Gabarda, Gabriel Cristóbal