5230 search results - page 892 / 1046 » Engineering of Computer Vision Algorithms Using Evolutionary... |
114
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
118
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
122
Voted
COMPGEOM
2008
ACM
15 years 4 months ago
2008
ACM
In recent years a considerable amount of work in graphics and geometric optimization used tools based on the Laplace-Beltrami operator on a surface. The applications of the Laplac...
113
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
185
click to vote
JMLR
2012
13 years 4 months ago
2012
Models such as pairwise conditional random fields (CRFs) are extremely popular in computer vision and various other machine learning disciplines. However, they have limited expre...