3251 search results - page 270 / 651 » Dynamic User Modeling for Sketch-Based User Interface |
243
click to vote
FROCOS
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
140
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes SwarmArt, a collaborative project between computer science and art, which resulted in two installations of interactive art that incorporates swarm intelligenc...
138
click to vote
IUI
2012
ACM
13 years 11 months ago
2012
ACM
Numerous interaction techniques have been developed that make “virtual” pointing at targets in graphical user interfaces easier than analogous physical pointing tasks by invok...
149
click to vote
ICWSM
2010
15 years 5 months ago
2010
In this study, we examine human social interactions within virtual worlds and address the question of how group interactions are affected by the surrounding game environment. To i...
190
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—Federation of geo-distributed cloud services is a trend in cloud computing which, by spanning multiple data centers at different geographical locations, can provide a cloud plat...