1368 search results - page 192 / 274 » Personality-Based Practical Reasoning |
118
click to vote
EUC
2004
Springer
15 years 8 months ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
126
click to vote
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
148
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
124
click to vote
IFL
2004
Springer
15 years 8 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
141
click to vote
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...