4806 search results - page 202 / 962 » Interactive uncertainty analysis |
124
click to vote
AUIC
2006
IEEE
15 years 10 months ago
2006
IEEE
A value can be understood as a belief that one mode of conduct is preferable to others. The user-interface of computer games mediates all player conduct in the game and is therefo...
153
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
A new semantic pattern is proposed in this paper, which can be used by users to post questions and answers in user-interactive question answering (QA) system. The necessary proced...
139
click to vote
ARTS
1999
Springer
15 years 8 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...
138
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
The phrase "virtual community" is often used to describe long term, computer-mediated conversations amongst large groups. This paper suggests that such conversations may...
155
click to vote
EUROSSC
2006
Springer
15 years 8 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...