11321 search results - page 166 / 2265 » Improvements to Turing's method |
138
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
155
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...
145
click to vote
IJSS
2007
15 years 6 months ago
2007
— The purpose of this case study is to create a competitive operative management system for efficiency and quality performance for a company running maintenance service business ...
186
click to vote
EMNLP
2009
15 years 4 months ago
2009
Recently system combination has been shown to be an effective way to improve translation quality over single machine translation systems. In this paper, we present a simple and ef...
241
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—Online shopping has grown rapidly over the past few years. Besides the convenience of shopping directly from ones home, an important advantage of e-commerce is the great variety...