11381 search results - page 101 / 2277 » Connectivity |
121
click to vote
TABLEAUX
1995
Springer
15 years 6 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
106
click to vote
CHI
2009
ACM
15 years 6 months ago
2009
ACM
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
AAAI
2008
15 years 5 months ago
2008
To truly understand language, an intelligent system must be able to connect words, phrases, and sentences to its perception of objects and events in the world. Current natural lan...
143
click to vote
CCCG
2010
15 years 4 months ago
2010
We propose algorithms for efficiently maintaining a constant-approximate minimum connected dominating set (MCDS) of a geometric graph under node insertions and deletions. Assuming...
125
Voted
CATS
2007
15 years 4 months ago
2007
We consider the problem of constructing a shortest Euclidean 2-connected Steiner network (SMN) for a set of terminals. This problem has natural applications in the design of survi...