7167 search results - page 646 / 1434 » Answer Set Programming |
147
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
163
click to vote
PPCP
1993
15 years 10 months ago
1993
Use of constraint-based techniques in interactive graphics applications poses a variety of unique challenges to system implementors. This paper begins by describing how interface ...
141
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
156
click to vote
ICALP
1995
Springer
15 years 10 months ago
1995
Springer
We show that if a self-reducible set has polynomial-size circuits, then it is low for the probabilistic class ZPP(NP). As a consequence we get a deeper collapse of the polynomial-...
127
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...