13534 search results - page 2320 / 2707 » Modelling Human-Computer Interaction |
169
click to vote
COOTS
1996
15 years 8 months ago
1996
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
162
click to vote
AMW
2009
15 years 8 months ago
2009
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
189
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
205
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
142
Voted
FUNGAMES
2008
15 years 7 months ago
2008
We report on the construction of real-world dice equipped with radio frequency identification (RFID) technology that support the automated readout and processing of rolled results....