925 search results - page 142 / 185 » Connectivity on Complete Lattices |
CSL
2010
Springer
13 years 8 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
ACS
2007
13 years 7 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Non-adaptive group testing involves grouping arbitrary subsets of n items into different pools. Each pool is then tested and defective items are identified. A fundamental question...
COGSCI
2008
13 years 7 months ago
2008
bstraction, and Disbelief Elena Hoicka a ; Sarah Jutsum b ; Merideth Gattis b a Department of Psychology, University of California, Santa Cruz b School of Psychology, Cardiff Unive...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
During the last decade, incremental sampling-based motion planning algorithms, such as the Rapidly-exploring Random Trees (RRTs), have been shown to work well in practice and to po...