Sciweavers

1195 search results - page 35 / 239
» Interactive graphic design using automatic presentation know...
Sort
View
FM
2006
Springer
148views Formal Methods» more  FM 2006»
14 years 23 days ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
UIST
2006
ACM
14 years 3 months ago
Huddle: automatically generating interfaces for systems of multiple connected appliances
Systems of connected appliances, such as home theaters and presentation rooms, are becoming commonplace in our homes and workplaces. These systems are often difficult to use, in p...
Jeffrey Nichols, Brandon Rothrock, Duen Horng Chau...
UIST
2006
ACM
14 years 3 months ago
Viz: a visual analysis suite for explaining local search behavior
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...
Steven Halim, Roland H. C. Yap, Hoong Chuin Lau
CHI
1999
ACM
14 years 1 months ago
PingPongPlus: Design of an Athletic-Tangible Interface for Computer-Supported Cooperative Play
This paper introduces a novel interface for digitallyaugmented cooperative play. We present the concept of the "athletic-tangible interface," a new class of interaction ...
Hiroshi Ishii, Craig Wisneski, Julian Orbanes, Ben...
IWC
2008
99views more  IWC 2008»
13 years 9 months ago
Pedagogy and usability in interactive algorithm visualizations: Designing and evaluating CIspace
Interactive algorithm visualizations (AVs) are powerful tools for teaching and learning concepts that are difficult to describe with static media alone. However, while countless A...
Saleema Amershi, Giuseppe Carenini, Cristina Conat...