977 search results - page 120 / 196 » Logic programming with infinite sets |
70
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
100
Voted
NIPS
2008
15 years 2 months ago
2008
We consider the problem of multiple kernel learning (MKL), which can be formulated as a convex-concave problem. In the past, two efficient methods, i.e., Semi-Infinite Linear Prog...
112
Voted
ENTCS
2007
15 years 16 days ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
194
Voted
LISP
2006
15 years 16 days ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
111
Voted
VLDB
2002
ACM
15 years 6 days ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...