4744 search results - page 64 / 949 » Connected Computing |
151
click to vote
TABLEAUX
1995
Springer
15 years 9 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...
160
click to vote
FOCS
2008
IEEE
16 years 16 days ago
2008
IEEE
In the Survivable Network Design Problem (SNDP) the goal is to find a minimum cost subset of edges that satisfies a given set of pairwise connectivity requirements among the ver...
174
click to vote
CHI
2010
ACM
16 years 28 days ago
2010
ACM
Current business conditions have given rise to distributed teams that are mostly collocated except for one remote member. These “hub-and-satellite” teams face the challenge of...
145
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Video-mediated communication systems such as teleconferencing and videophone have become popular. As with face-to-face communication, non-verbal cues such as gaze, facial expressi...
152
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose a semi-supervised model which segments and annotates images using very few labeled images and a large unaligned text corpus to relate image regions to text labels. Give...