4099 search results - page 386 / 820 » A Framework for Interactive Proof |
162
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
We present a general framework for the modeling and optimization of scalable multi-projector displays. Based on this framework, we derive algorithms that can robustly optimize the ...
160
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Despite the proliferation of large-scale displays in the workplace, creating groupware applications that take advantage of their potential for collaboration and communication rema...
160
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The Community Bar is a groupware tool supporting informal awareness and casual interaction for small communities of intimate collaborators. Its conceptual design is primarily base...
149
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider surveillance problems to be a set of system- adversary interaction problems in which an adversary can be modeled as a rational (selfish) agent trying to maximize his ...
199
click to vote
AB
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...