7991 search results - page 449 / 1599 » Using More Reasoning to Improve |
172
click to vote
CSL
2005
Springer
16 years 15 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
198
click to vote
ICCBR
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the de...
169
click to vote
SOCO
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
148
click to vote
MPC
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
178
click to vote
ACSC
2002
IEEE
15 years 12 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...