4502 search results - page 370 / 901 » Regular Model Checking |
176
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
253
click to vote
STTT
2010
15 years 5 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
172
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Robust integration of range images is an important task for building high-quality 3D models. Since range images, and in particular range maps from stereo vision, may have a substa...
174
Voted
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Automatically assigning relevant text keywords to images is an important problem. Many algorithms have been proposed in the past decade and achieved good performance. Efforts have...
172
click to vote
ICDM
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents the triple jump framework for accelerating the EM algorithm and other bound optimization methods. The idea is to extrapolate the third search point based on th...