5550 search results - page 988 / 1110 » Different Approaches to Proof Systems |
174
click to vote
TASLP
2008
15 years 6 months ago
2008
A method is described for estimating the fundamental frequencies of several concurrent sounds in polyphonic music and multiple-speaker speech signals. The method consists of a comp...
150
click to vote
INTEGRATION
2007
15 years 6 months ago
2007
The ubiquitous presence of mobile devices and the demand for better performance and efficiency have motivated research into embedded implementations of cryptography algorithms. I...
185
click to vote
TLT
2008
15 years 6 months ago
2008
For many practical learning scenarios, the integrated use of more than one learning tool is educationally beneficial. In these cases, interoperability between learning tools--getti...
141
click to vote
TOG
2008
15 years 6 months ago
2008
We propose a tone-mapping operator that can minimize visible contrast distortions for a range of output devices, ranging from e-paper to HDR displays. The operator weights contras...
152
click to vote
JDM
2007
15 years 6 months ago
2007
Environmental research and knowledge discovery both require extensive use of data stored in various sources and created in different ways for diverse purposes. We describe a new m...