633 search results - page 18 / 127 » Locality and Hard SAT-Instances |
CHI
2003
ACM
14 years 7 months ago
2003
ACM
The success of mobile text messaging poses many questions for usability studies. Considering the inherent usability weaknesses of mobile phones such as the small display, poor inp...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we study imprecise terrains, that is, triangulated terrains with a vertical error interval in the vertices. We study the problem of removing as many local extrema (...
LPAR
2005
Springer
14 years 28 days ago
2005
Springer
Local search algorithms are one of the effective methods for solving hard combinatorial problems. However, a serious problem of this approach is that the search often traps at loca...
ECCV
1998
Springer
14 years 9 months ago
1998
Springer
Many object classes, including human faces, can be modeled as a set of characteristic parts arranged in a variable spatial con guration. We introduce a simpli ed model of a deforma...
KBSE
2003
IEEE
14 years 21 days ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...