3544 search results - page 276 / 709 » Rethinking the Presentation of Results from Web Search |
199
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Algorithms based on local search are popular for solving many optimization problems including the maximum satisfiability problem (MAXSAT). With regard to MAXSAT, the state of the ...
163
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...
170
click to vote
INTERACT
2003
15 years 8 months ago
2003
: This paper presents results from work we have done into the combination of visual and vibrotactile cues for improving user interaction in virtual environments. Using a custom-des...
174
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
We present a completely automatic method for obtaining the approximate calibration of a camera (alignment to a world frame and focal length) from a single image of an unknown scene...
212
click to vote
ECML
1998
Springer
15 years 10 months ago
1998
Springer
Previous bias shift approaches to predicate invention are not applicable to learning from positive examples only, if a complete hypothesis can be found in the given language, as ne...