5964 search results - page 273 / 1193 » A theory of speculative computation |
213
click to vote
AAAI
1993
15 years 8 months ago
1993
learning (EBL) component. In this paper we provide a brief review of FOIL and FOCL, then discuss how operationalizing a domain theory can adversely affect the accuracy of a learned...
225
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
173
click to vote
COMPUTER
1998
15 years 7 months ago
1998
Much of a computer’s value depends on how well it interacts with networks. To enhance this value, designers must improve the performance of networks delivered to users. Fortunat...
185
click to vote
SIGCSE
2004
ACM
16 years 21 days ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
183
click to vote
ITICSE
2006
ACM
16 years 1 months ago
2006
ACM
Computer graphics concepts have a high visual component. For that reason, teaching this subject should be enriched with the use of small applications showing concepts like near an...