15754 search results - page 2825 / 3151 » Programs are Knowledge Bases |
176
click to vote
PLILP
1995
Springer
15 years 11 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
188
click to vote
COMPGEOM
1991
ACM
15 years 11 months ago
1991
ACM
We present a new pivot-based algorithm which can be used with minor modification for the enumeration of the facets of the convex hull of a set of points, or for the enumeration o...
190
click to vote
SIGGRAPH
1991
ACM
15 years 11 months ago
1991
ACM
We present a new interactive modeling technique based on the notion of sculpting a solid material. A sculpting tool is controlled by a 3D input device and the material is represen...
195
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present a generic, mirror-based debugging architecture that supports runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibil...
190
click to vote
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...