Sciweavers

7486 search results - page 1161 / 1498
» The Limits of Quantum Computers
Sort
View
CORR
2006
Springer
110views Education» more  CORR 2006»
15 years 6 months ago
Reliable Multi-Path Routing Schemes for Real-Time Streaming
In off-line streaming, packet level erasure resilient Forward Error Correction (FEC) codes rely on the unrestricted buffering time at the receiver. In real-time streaming, the ext...
Emin Gabrielyan, Roger D. Hersch
182
Voted
CORR
2006
Springer
144views Education» more  CORR 2006»
15 years 6 months ago
On the logical definability of certain graph and poset languages
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
Pascal Weil
CORR
2006
Springer
114views Education» more  CORR 2006»
15 years 6 months ago
Emergence Explained
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
Russ Abbott
CORR
2006
Springer
77views Education» more  CORR 2006»
15 years 6 months ago
Prioritizing Software Inspection Results using Static Profiling
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
Cathal Boogerd, Leon Moonen
DAM
2006
83views more  DAM 2006»
15 years 6 months ago
Scheduling workover rigs for onshore oil production
Many oil wells in Brazilian onshore fields rely on artificial lift methods. Maintenance services such as cleaning, reinstatement, stimulation and others are essential to these wel...
Dario J. Aloise, Daniel Aloise, Caroline T. M. Roc...
« Prev « First page 1161 / 1498 Last » Next »