Sciweavers

36887 search results - page 82 / 7378
» Are We All In the Same
Sort
View
JCT
2010
102views more  JCT 2010»
13 years 7 months ago
Coloring axis-parallel rectangles
For every k and r, we construct a finite family of axis-parallel rectangles in the plane such that no matter how we color them with k colors, there exists a point covered by prec...
János Pach, Gábor Tardos
CAV
2001
Springer
154views Hardware» more  CAV 2001»
14 years 1 months ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
CSCW
1998
ACM
14 years 1 months ago
HyperMirror: Toward Pleasant-to-Use Video Mediated Communication System
We designed HyperMirror to provide a new video image that presents an attractive, highly understandable communication environment, rather than imitating face-toface communication....
Osamu Morikawa, Takanori Maesako
DIAGRAMS
2004
Springer
14 years 1 months ago
What Can Spider Diagrams Say?
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
Gem Stapleton, John Howse, John Taylor, Simon J. T...
ICMCS
2009
IEEE
132views Multimedia» more  ICMCS 2009»
13 years 7 months ago
Video face recognition with graph-based semi-supervised learning
We consider the problem of classification of multiple observations of the same object, possibly under different transformations. We view this problem as a special case of semi-sup...
Effrosini Kokiopoulou, Pascal Frossard