42738 search results - page 181 / 8548 » Search Computing Systems |
138
click to vote
TABLETOP
2006
IEEE
15 years 9 months ago
2006
IEEE
Interactive tables can enhance small-group colocated collaborative work in many domains. One application enabled by this new technology is copresent, collaborative search for digi...
134
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we study multi-agent economic systems using a recent approach to economic modeling called Agent-based Computational Economics (ACE): the application of the Complex ...
120
Voted
ERCIMDL
1998
Springer
15 years 7 months ago
1998
Springer
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
119
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
145
click to vote
AGP
1995
IEEE
15 years 6 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...