11160 search results - page 381 / 2232 » Incompleteness in a General Setting |
158
click to vote
DM
2006
15 years 6 months ago
2006
Berge's conjecture from 1982 on path partitions in directed graphs generalizes and extends Dilworth's Theorem and the Greene-Kleitman Theorem which are well known for pa...
131
click to vote
FUIN
2007
15 years 6 months ago
2007
Two set systems E, F on an underlying set V will be said to have Property S if there exists a subset σ of V , such that σ ∩ e = ∅, for all e ∈ E and f ⊆ σ, for all f ...
189
click to vote
CONCUR
2005
Springer
16 years 11 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
192
click to vote
ESANN
2008
15 years 8 months ago
2008
Clustering algorithms such as k-means, the self-organizing map (SOM), or Neural Gas (NG) constitute popular tools for automated information analysis. Since data sets are becoming l...
160
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Set construction is the process of selecting and positioning virtual geometric objects to create a virtual environment used in a computer-animated film. Set construction artists ...