540 search results - page 83 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
PDC
2004
ACM
15 years 6 months ago
2004
ACM
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...
112
click to vote
CHI
2011
ACM
14 years 4 months ago
2011
ACM
Much of the mobile work by HCI researchers explores a future world populated by high-end devices and relatively affluent users. This paper turns to consider the hundreds of milli...
77
Voted
CADE
2008
Springer
16 years 26 days ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
100
Voted
CADE
2002
Springer
16 years 26 days ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
118
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...