Sciweavers

1150 search results - page 153 / 230
» Note from the Editor
Sort
View
OOPSLA
2009
Springer
14 years 3 months ago
The design of a task parallel library
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
SAT
2009
Springer
153views Hardware» more  SAT 2009»
14 years 3 months ago
Does Advice Help to Prove Propositional Tautologies?
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
Olaf Beyersdorff, Sebastian Müller
SIGGRAPH
2009
ACM
14 years 3 months ago
InTune: a musician's intonation visualization system
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...
Kyung Ae Lim, Christopher Raphael
CISS
2008
IEEE
14 years 3 months ago
On flat-rate and usage-based pricing for tiered commodity internet services
In this note, we discuss issues pertaining to end-to-end qualityof-service management of commodity Internet applications and associated pricing incentive mechanisms. The issue of ...
George Kesidis, A. Das, Gustavo de Veciana
ICASSP
2008
IEEE
14 years 3 months ago
Caption-aided speech detection in videos
This paper presents a novel audio-visual fusion method for speech detection, which is an important front-end for content-based video processing. This approach aims to extract homo...
Cong Li, Zhijian Ou, Wei Hu, Tao Wang, Yimin Zhang