Sciweavers

110 search results - page 22 / 22
» Computational Considerations in Correcting User-Language
Sort
View
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 6 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
TIT
2002
126views more  TIT 2002»
13 years 5 months ago
Two-dimensional interleaving schemes with repetitions: Constructions and bounds
Abstract--Two-dimensional interleaving schemes with repetitions are considered. These schemes are required for the correction of two-dimensional bursts (or clusters) of errors in a...
Tuvi Etzion, Alexander Vardy
TIT
2002
98views more  TIT 2002»
13 years 5 months ago
DC-free binary convolutional coding
A novel DC-free binary convolutional coding scheme is presented. The proposed scheme achieves the DC-free and error correcting capability simultaneously. The scheme has a simple ca...
Tadashi Wadayama, A. J. Han Vinck
JOCN
2010
81views more  JOCN 2010»
13 years 4 months ago
Mental Reversal of Imagined Melodies: A Role for the Posterior Parietal Cortex
■ Two fMRI experiments explored the neural substrates of a musical imagery task that required manipulation of the imagined sounds: temporal reversal of a melody. Musicians were ...
Robert J. Zatorre, Andrea R. Halpern, Marc Bouffar...
IEEECSA
2009
13 years 4 months ago
Improved Query Plans for Unnesting Nested SQL Queries
- The SQL language allows users to express queries that have nested subqueries in them. Optimization of nested queries has received considerable attention over the last few years. ...
Pranav Khaitan, Satish Kumar M, Korra Sathya Babu,...