4592 search results - page 545 / 919 » Framework for Studying Substitution |
174
click to vote
SCP
2008
15 years 7 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...
217
click to vote
SIGARCH
2008
15 years 7 months ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...
185
click to vote
IJIM
2007
15 years 7 months ago
2007
—In this paper we describe our approach whose objective is to apply MOCOCO concepts to e-learning. After a short presentation of MOCOCO (Mobility, COoperation, Contextua-lisation...
184
click to vote
IJIPT
2007
15 years 7 months ago
2007
: We propose to extend standard Radio Frequency IDentification (RFID) usage by storing semantically annotated data within RFID tags memory, so that objects may actually ‘describ...
159
click to vote
TASLP
2008
15 years 7 months ago
2008
In this paper, we present an algorithm for time-scale modification of music signals, based on the waveform similarity overlap-and-add technique (WSOLA). A well-known disadvantage o...