338 search results - page 38 / 68 » Understanding Scenes on Many Levels |
126
Voted
SAT
2010
Springer
15 years 4 days 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...
109
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...
217
click to vote
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
Market analysis is a representative data analysis process with many applications. In such an analysis, critical numerical measures, such as profit and sales, fluctuate over time a...
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—The publicly available BGP vantage points (VPs) have been heavily used by the research community to build the Internet autonomous system (AS) level topology, which is a key inpu...