882 search results - page 57 / 177 » Local Search for Very Large SAT Problems |
192
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Finding latent patterns in high dimensional data is an important research problem with numerous applications. Existing approaches can be summarized into 3 categories: feature selec...
106
click to vote
KDD
2008
ACM
16 years 7 days ago
2008
ACM
Extracting entities (such as people, movies) from documents and identifying the categories (such as painter, writer) they belong to enable structured querying and data analysis ov...
ETS
2007
IEEE
15 years 6 months ago
2007
IEEE
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Therefore embedded memories are commonly equipped with spare r...
108
click to vote
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— The problem of appearance-based mapping and navigation in outdoor environments is far from trivial. In this paper, an appearance-based topological map, covering a large, mixed ...
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. A team of mobile sensors can be used for coverage of targets in different environments. The dynamic nature of such an application requires the team of agents to adjust th...