Sciweavers

228 search results - page 33 / 46
» An automated singing evaluation method for Karaoke systems
Sort
View
ISD
1999
Springer
213views Database» more  ISD 1999»
13 years 11 months ago
A Probabilistic Approach to Environmental Change Detection with Area-Class Map Data
One of the primary methods of studying change in the natural and man-made environment is that of comparison of multi-date maps and images of the earth's surface. Such comparis...
Christopher B. Jones, J. Mark Ware, David R. Mille...
CIKM
2006
Springer
13 years 11 months ago
Validating associations in biological databases
To cope with the large amount of biological sequences being produced, a significant number of genes and proteins have been annotated by automated tools. A protein annotation is an...
Francisco M. Couto, Mário J. Silva, Pedro C...
DSN
2006
IEEE
14 years 1 months ago
User Interface Defect Detection by Hesitation Analysis
Delays and errors are the frequent consequences of people having difficulty with a user interface. Such delays and errors can result in severe problems, particularly for mission-...
Robert W. Reeder, Roy A. Maxion
MMB
2010
Springer
185views Communications» more  MMB 2010»
13 years 9 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
LREC
2010
166views Education» more  LREC 2010»
13 years 9 months ago
Large Scale Multilingual Broadcast Data Collection to Support Machine Translation and Distillation Technology Development
The development of technologies to address machine translation and distillation of multilingual broadcast data depends heavily on the collection of large volumes of material from ...
Kevin Walker, Christopher Caruso, Denise DiPersio