Sciweavers

11321 search results - page 150 / 2265
» Improvements to Turing's method
Sort
View
FMCAD
2007
Springer
15 years 10 months ago
Improved Design Debugging Using Maximum Satisfiability
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
Sean Safarpour, Hratch Mangassarian, Andreas G. Ve...
CORIA
2006
15 years 8 months ago
On Combining Text and MeSH Searches to Improve the Retrieval of MEDLINE documents
The MEDLINE database is the world largest repository of bio-medical abstracts. It is a central information entry point for most biologists despite the growing availability of full-...
Fabrice Camous, Stephen Blott, Alan F. Smeaton
ACL
1998
15 years 7 months ago
Improving Automatic Indexing through Concept Combination and Term Enrichment
Although indexes may overlap, the output of an automatic indexer is generally presented as a fiat and unstructured list of terms. Our purpose is to exploit term overlap and embedd...
Christian Jacquemin
CGF
2010
117views more  CGF 2010»
15 years 6 months ago
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
Jiawei Ou, Fabio Pellacini
TSP
2008
119views more  TSP 2008»
15 years 6 months ago
Universal Weighted MSE Improvement of the Least-Squares Estimator
Since the seminal work of Stein in the 1950s, there has been continuing research devoted to improving the total meansquared error (MSE) of the least-squares (LS) estimator in the l...
Yonina C. Eldar