10997 search results - page 1985 / 2200 » On the Structure of Complete Sets |
111
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
Graph pattern matching is often defined in terms of subgraph isomorphism, an np-complete problem. To lower its complexity, various extensions of graph simulation have been consid...
146
click to vote
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
224
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—In this work we develop a distributed boundary detection algorithm, dubbed Coconut, for 3D wireless sensor networks. It first constructs a tetrahedral structure to delineate th...
138
click to vote
SIGIR
2012
ACM
13 years 3 months ago
2012
ACM
During a three-day workshop in February 2012, 45 Information Retrieval researchers met to discuss long-range challenges and opportunities within the field. The result of the works...
148
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
In this paper, we present an efficient general-purpose objective no-reference (NR) image quality assessment (IQA) framework based on unsupervised feature learning. The goal is to...