5086 search results - page 374 / 1018 » The Power of Comparative Reasoning |
153
click to vote
SFP
2003
15 years 8 months ago
2003
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, whic...
142
click to vote
SSR
1997
15 years 8 months ago
1997
Frameworks are an object-oriented reuse technique that are widely used in industry but not discussed much by the software engineering research community. They are a way of reusing...
145
click to vote
NIPS
1996
15 years 8 months ago
1996
This paper compares three penalty terms with respect to the efficiency of supervised learning, by using first- and second-order learning algorithms. Our experiments showed that fo...
184
click to vote
ENTCS
2008
15 years 6 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
155
click to vote
ENTCS
2008
15 years 6 months ago
2008
We establish a monotonicity principle for convex functions that enables high-level reasoning about capacity in information theory. Despite its simplicity, this single idea is rema...