769 search results - page 99 / 154 » Is Logic all in our Heads |
112
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
109
click to vote
SACMAT
2003
ACM
15 years 6 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
130
Voted
EAGC
2003
Springer
15 years 5 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
103
click to vote
ARVLSI
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper describes the architecture and implementation of a high-speed decompression engine for embedded processors. The engine is targeted to processors where embedded programs...
104
Voted
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
Table 1 shows the payoff to player one. The same matrix also holds for player two. Player one can gain the maximum 5 points (T = 5) by defection if player two cooperates. However,...