1140 search results - page 178 / 228 » Progress on Certifying Algorithms |
JPDC
2007
13 years 9 months ago
2007
High-dimensional problems arising from robot motion planning, biology, data mining, and geographic information systems often require the computation of k nearest neighbor (knn) gr...
ANOR
2004
13 years 9 months ago
2004
Abstract. In recent years we have seen an increasing interest in combining constraint satisfaction problem (CSP) formulations and linear programming (LP) based techniques for solvi...
CORR
1998
Springer
13 years 9 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
ISB
2002
13 years 9 months ago
2002
ABSTRACT: Biochemical reactions form large and complex networks. Comprehensible visual representations of these networks help biochemists understand the relationships between the c...
MP
2002
13 years 9 months ago
2002
The asymptotic convergence of parameterized variants of Newton's method for the solution of nonlinear systems of equations is considered. The original system is perturbed by a...