7167 search results - page 887 / 1434 » Answer Set Programming |
141
click to vote
ENTCS
2002
15 years 4 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
122
Voted
LISP
2000
15 years 4 months ago
2000
Most areas of research or work use their own set of words and phrases and gives specific technical meaning to terms that in everyday speech may mean something less specific or some...
125
click to vote
JLP
1998
15 years 4 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
146
Voted
SIAMJO
2002
15 years 4 months ago
2002
We consider a conic-quadratic (and in particular a quadratically constrained) optimization problem with uncertain data, known only to reside in some uncertainty set U. The robust ...
134
click to vote
IPL
2010
15 years 3 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...