2929 search results - page 78 / 586 » Rich Interaction: Issues |
142
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
125
Voted
CHI
2006
ACM
16 years 5 months ago
2006
ACM
Through a study of field biology practices, we observed that biology fieldwork generates a wealth of heterogeneous information, requiring substantial labor to coordinate and disti...
142
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Although constructed for researchers to share news and information, Usenet quickly developed into a social environment with varied styles of interactions. Unfortunately, the brows...
124
Voted
CHI
2011
ACM
14 years 8 months ago
2011
ACM
The ability to recognize emotions is an important part of building intelligent computers. Emotionally-aware systems would have a rich context from which to make appropriate decisi...
140
Voted
EICS
2009
ACM
15 years 11 months ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...