663 search results - page 110 / 133 » Interactive Realizers and Monads |
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Kazuhiro Terajima The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656 Japan Kazuhiro_Terajima@ipc.i.u-tokyo.ac.jp Takashi Komuro The University of Tokyo 7-3-1 Hongo, Bu...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
Even though "providing insight" has been considered one of the main purposes of information visualization (InfoVis), we feel that insight is still a not-well-understood ...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
MIR
2010
ACM
14 years 5 months ago
2010
ACM
Over the last few years, social network systems have greatly increased users’ involvement in online content creation and annotation. Since such systems usually need to deal with...
COMSWARE
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...