364 search results - page 37 / 73 » Guiding Model Search Using Segmentation |
124
click to vote
SAT
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
113
click to vote
IEEEARES
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
193
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Similarity search has been widely used in many applications such as information retrieval, image data analysis, and time-series matching. Specifically, a similarity query retrieves...
116
click to vote
BVAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Vision is a crucial sensor. It provides a very rich collection of information about our environment. However, not everything in a visual scene is relevant for the task at...
113
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper proposes a cache hierarchy that enables Web search engines to efficiently process user queries. The different caches in the hierarchy are used to store pieces of data w...