Sciweavers

2302 search results - page 448 / 461
» Testing as Abstraction
Sort
View
TASLP
2008
201views more  TASLP 2008»
14 years 11 months ago
Syntactically Lexicalized Phrase-Based SMT
Abstract--Until quite recently, extending Phrase-based Statistical Machine Translation (PBSMT) with syntactic knowledge caused system performance to deteriorate. The most recent su...
Hany Hassan, Khalil Sima'an, Andy Way
TASLP
2008
176views more  TASLP 2008»
14 years 11 months ago
Analysis of Minimum Distances in High-Dimensional Musical Spaces
Abstract--We propose an automatic method for measuring content-based music similarity, enhancing the current generation of music search engines and recommender systems. Many previo...
Michael Casey, Christophe Rhodes, Malcolm Slaney
TC
2008
14 years 11 months ago
Exploiting In-Memory and On-Disk Redundancy to Conserve Energy in Storage Systems
Abstract--Today's storage systems place an imperative demand on energy efficiency. A storage system often places single-rotationrate disks into standby mode by stopping them f...
Jun Wang, Xiaoyu Yao, Huijun Zhu
INFORMATICALT
2007
167views more  INFORMATICALT 2007»
14 years 11 months ago
Ultrasound Quantitative Evaluation of Human Eye Cataract
Abstract. A technique to improve an eye cataract early detection and quantitative evaluation of maturity using ultrasound was investigated. A broadband coherent signal, backscatter...
Alvydas Paunksnis, Skaidra Kurapkiene, Audris Maci...
TCAD
2008
96views more  TCAD 2008»
14 years 11 months ago
An Implicit Approach to Minimizing Range-Equivalent Circuits
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
Yung-Chih Chen, Chun-Yao Wang