4370 search results - page 669 / 874 » Algebra of Logic Programming |
240
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
150
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
143
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
134
click to vote
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
120
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...