882 search results - page 135 / 177 » Local Search for Very Large SAT Problems |
122
click to vote
CIKM
1999
Springer
15 years 8 months ago
1999
Springer
On-line analytical processing (OLAP) requires e cient processing of complex decision support queries over very large databases. It is well accepted that pre-computed data cubes ca...
116
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
We consider the problem of characterization of spatial region data such as the regions of interest (ROIs) in medical images. We propose a method that efficiently extracts a k-dime...
129
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
154
click to vote
ADHOC
2006
15 years 3 months ago
2006
We study the problem of data propagation in sensor networks, comprised of a large number of very small and low-cost nodes, capable of sensing, communicating and computing. The dis...
145
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The peer sampling service is a middleware service that provides random samples from a large decentralized network to support gossip-based applications such as multicast, ...