882 search results - page 151 / 177 » Local Search for Very Large SAT Problems |
142
Voted
AAAI
2010
15 years 5 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...
137
Voted
SCAI
1997
15 years 5 months ago
1997
The class of well-behaved evaluation functions simplifies and makes efficient the handling of numerical attributes; for them it suffices to concentrate on the boundary points in...
192
Voted
HT
2011
ACM
14 years 7 months ago
2011
ACM
Personalized search and browsing is increasingly vital especially for enterprises to able to reach their customers. Key challenge in supporting personalization is the need for ric...
160
Voted
FEDCSIS
2011
14 years 3 months ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
163
Voted
TOG
2012
13 years 6 months ago
2012
Given a large repository of geotagged imagery, we seek to automatically find visual elements, e.g. windows, balconies, and street signs, that are most distinctive for a certain g...