The exact computation paradigm
C Yap, T Dubé - Computing in Euclidean Geometry, 1995 - World Scientific
We describe a paradigm for numerical computing, based on exact computation. This
emerging paradigm has many advantages compared to the standard paradigm which is …
emerging paradigm has many advantages compared to the standard paradigm which is …
Hierarchical constraint logic programming
M Wilson, A Borning - The Journal of Logic Programming, 1993 - Elsevier
Constraint logic programming (CLP) is a general scheme for extending logic programming
to include constraints. It is parametrized by D, the domain of the constraints. However, CLP …
to include constraints. It is parametrized by D, the domain of the constraints. However, CLP …
CLP (ℜ) and some electrical engineering problems
N Heintze, S Michaylov, P Stuckey - Journal of Automated Reasoning, 1992 - Springer
Abstract The Constraint Logic Programming Scheme defines a class of languages designed
for programming with constraints using a logic programming approach. These languages …
for programming with constraints using a logic programming approach. These languages …
A taxonomy for simulation modeling based on programming language principles
PA Fishwick - IIE transactions, 1998 - Springer
Although many diverse areas employ simulation models, no agreed-upon taxonomy has
been developed to categorize and structure simulation models for all science and …
been developed to categorize and structure simulation models for all science and …
[PDF][PDF] The design and implementation of Kaleidoscope'90-A constraint imperative programming language.
BN Freeman-Benson, A Borning - ICCL, 1992 - constraints.cs.washington.edu
Two major paradigms in computer programming languages are imperative and declarative
programming. We describe a scheme for languages that integrate specific features from …
programming. We describe a scheme for languages that integrate specific features from …
An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies
PA Fishwick - ACM Transactions on Modeling and Computer …, 1992 - dl.acm.org
Traditional computer simulation terminology includes taxonomic divisions with terms such as
“discrete event,”“continuous,” and “process oriented.” Even though such terms have become …
“discrete event,”“continuous,” and “process oriented.” Even though such terms have become …
[图书][B] Over-constrained systems
M Jampel, E Freuder - 1996 - books.google.com
This volume presents a collection of refereed papers reflecting the state of the art in the area
of over-constrained systems. Besides 11 revised full papers, selected from the 24 …
of over-constrained systems. Besides 11 revised full papers, selected from the 24 …
Analysis of nonlinear constraints in CLP (R)
M Hanus - 1993 - direct.mit.edu
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint
logic programming languages like CLP (1Z) or Prolog III solve only linear constraints and …
logic programming languages like CLP (1Z) or Prolog III solve only linear constraints and …
A brief overview of over-constrained systems
M Jampel - International Workshop on Over-Constrained Systems, 1995 - Springer
A brief overview of over-constrained systems | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your …
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your …
Control generation for logic programs
S Lüttringhaus-Kappel - 1993 - direct.mit.edu
A basic requirement of declarative programming is to free the programmer from the need to
manually insert control annotations into the program. Here we study the execution of logic …
manually insert control annotations into the program. Here we study the execution of logic …