Sciweavers

4242 search results - page 518 / 849
» For a science of group interaction
Sort
View
201
Voted
AISC
2010
Springer
16 years 8 days ago
Formal Proof of SCHUR Conjugate Function
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
Franck Butelle, Florent Hivert, Micaela Mayero, Fr...
178
Voted
CHI
2009
ACM
16 years 5 days ago
A design evaluation of a user interface for tending long-term tasks
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...
Robert Farrell, Hina Shah, Thomas Erickson, Wendy ...
203
Voted
MM
2009
ACM
111views Multimedia» more  MM 2009»
16 years 4 days ago
Integrating corrections into digital ink playback
In this paper, we describe preliminary work on an ink editing application that allows an instructor to correct mistakes to digital ink written during a presentation that is to be ...
Richard J. Anderson, Devy Pranowo, Craig Prince, F...
EMSOFT
2001
Springer
15 years 12 months ago
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
Tak-John Koo, Judith Liebman, Cedric Ma, Shankar S...
NOSSDAV
2001
Springer
15 years 12 months ago
A case for network musical performance
A Network Musical Performance (NMP) occurs when a group of musicians, located at different physical locations, interact over a network to perform as they would if located in the ...
John Lazzaro, John Wawrzynek