Sciweavers

948 search results - page 67 / 190
» What can we achieve by arbitrary announcements
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
A subject-independent acoustic-to-articulatory inversion
Acoustic-to-articulatory inversion is usually done in a subjectdependent manner, i.e., the inversion procedure may not work well if the parallel acoustic and articulatory training...
Prasanta Kumar Ghosh, Shrikanth S. Narayanan
TARK
2005
Springer
14 years 1 months ago
Unconditional privacy in social choice
The aggregation of conflicting preferences is an important issue in human society and multiagent systems. Due to its universality, voting among a set of alternatives has a centra...
Felix Brandt, Tuomas Sandholm
INFOCOM
2012
IEEE
11 years 10 months ago
Estimators also need shared values to grow together
—Network management applications require large numbers of counters in order to collect traffic characteristics for each network flow. However, these counters often barely fit ...
Erez Tsidon, Iddo Hanniel, Isaac Keslassy
SBCCI
2003
ACM
115views VLSI» more  SBCCI 2003»
14 years 29 days ago
Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits
Recycling was recently proposed as a system-level design technique to facilitate the building of complex System-on-Chips (SOC) by assembling pre-designed components. Recycling all...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
MKM
2009
Springer
14 years 8 days ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller