Sciweavers

1316 search results - page 75 / 264
» The Jam-O-Drum Interactive Music System: A Study in Interact...
Sort
View
ERLANG
2007
ACM
15 years 1 months ago
A language for specifying type contracts in Erlang and its interaction with success typings
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
BIBE
2004
IEEE
149views Bioinformatics» more  BIBE 2004»
15 years 1 months ago
Interactive 3D Protein Structure Visualization Using Virtual Reality
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
Elke Moritz, Jörg Meyer
CHI
2009
ACM
15 years 10 months ago
Designing for families
In this Special Interest Group (SIG) we plan to focus on discussions and activities surrounding the design of technologies to support families. Many researchers and designers stud...
Carman Neustaedter, Svetlana Yarosh, A. J. Bernhei...
CHI
2009
ACM
15 years 10 months ago
Designing for all users: including the odd users
The field of HCI has played an important role in broadening the spectrum of users of computational artifacts. However, users with extreme preferences are mostly ignored by the des...
Jina Huh, Mark S. Ackerman
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
15 years 3 months ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...