9 search results - page 1 / 2 » An Abstract Interpretation for ML Equality Kinds |
TACS
1991
Springer
13 years 8 months ago
1991
Springer
CEC
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
CEEMAS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
MVA
1990
13 years 6 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...