5214 search results - page 661 / 1043 » The Online Specialization Problem |
162
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
177
click to vote
PEPM
1999
ACM
15 years 11 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
212
click to vote
COMPGEOM
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we are concerned with developing a practical parallel algorithm for Delaunay triangulation that works well on general distributions, particularly those that arise in...
228
click to vote
SSD
1997
Springer
15 years 11 months ago
1997
Springer
Theory, algorithms, techniques and tools for producing a generalisation of a map have long been available. In this paper we study the inverse problem, namely, given two maps L and...
197
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...