26472 search results - page 366 / 5295 » Interactive |
147
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This design theatre experience explores the use of choreographic improvisation exercises to reflect on the structures of interaction in a mobile, co-located group. The design tech...
195
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
195
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
200
click to vote
ISBRA
2009
Springer
16 years 1 months ago
2009
Springer
Recent techniques increase the amount of our knowledge of interactions between proteins. To filter, interpret and organize this data, many authors have provided tools for querying...
165
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
Paleography experts spend many hours transcribing historic documents, and state-of-the-art handwritten text recognition systems are not suitable for performing this task automatica...