2314 search results - page 213 / 463 » Monoids over domains |
178
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
155
click to vote
PRICAI
1998
Springer
15 years 11 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
136
click to vote
ASAP
1996
IEEE
15 years 10 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
167
click to vote
RT
1997
Springer
15 years 10 months ago
1997
Springer
Recently the light-field and lumigraph systems have been proposed as general methods of representing the visual information present in a scene. These methods represent this infor...
156
click to vote
ICCAD
1993
IEEE
15 years 10 months ago
1993
IEEE
An analytical-knowledge-based statistical method is developed to derive macromodels for the highly nonlinear A.C. response functions of CMOS Op-amp circuits. Simple circuit analys...