882 search results - page 40 / 177 » Local Search for Very Large SAT Problems |
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
— This paper presents a new approach for the absolute self-localization of a mobile robot in structured large-scale environments. The requirements with regard to both, the necess...
85
Voted
ICPR
2002
IEEE
16 years 26 days ago
2002
IEEE
This paper examines the problem of database organization and retrieval based on computing metric pairwise distances. A low-dimensional Euclidean approximation of a high-dimensiona...
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— Wireless mesh network deployments are popular as a cost-effective means to provide broadband connectivity to large user populations. As the network usage grows, network...
103
click to vote
SIAMSC
2011
14 years 6 months ago
2011
The classical inexact Newton algorithm is an efficient and popular technique for solving large sparse nonlinear system of equations. When the nonlinearities in the system are wellb...
103
click to vote
HICSS
1994
IEEE
15 years 3 months ago
1994
IEEE
A method is described for identification and classification of proteins encoded in large DNA sequences. Previously, an automated system was introduced for the general detection of...