Sciweavers

228 search results - page 5 / 46
» An automated singing evaluation method for Karaoke systems
Sort
View
FLAIRS
2006
13 years 8 months ago
Context-based Term Disambiguation in Biomedical Literature
The huge volumes of unstructured texts available online drives the increasing need for automated techniques to analyze and extract knowledge from these repositories of information...
Ping Chen, Hisham Al-Mubaid
DATE
2003
IEEE
119views Hardware» more  DATE 2003»
14 years 23 days ago
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
Shinya Honda, Hiroaki Takada
JCDL
2005
ACM
90views Education» more  JCDL 2005»
14 years 1 months ago
An initial evaluation of automated organization for digital library browsing
In this article we present an evaluation of text clustering and classification methods for creating digital library browse interfaces, focusing on the particular case of collecti...
Aaron Krowne, Martin Halbert
CAV
2012
Springer
270views Hardware» more  CAV 2012»
11 years 10 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...
ACMSE
2005
ACM
14 years 1 months ago
Facilitating and automating empirical evaluation
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
Laurian Hobby, John Booker, D. Scott McCrickard, C...