2777 search results - page 179 / 556 » Example centric programming |
108
Voted
ECOOP
1991
Springer
15 years 5 months ago
1991
Springer
We have previously shown how the discovery of classes from objects can be automated, and how the resulting class organization can be e ciently optimized in the case where the opti...
98
Voted
AAAI
2006
15 years 3 months ago
2006
Constraint programming is a commonly used technology for solving complex combinatorial problems. However, users of this technology need significant expertise in order to model the...
LFP
1992
15 years 3 months ago
1992
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
EOR
2006
15 years 2 months ago
2006
We consider multi-period portfolio selection problems for a decision maker with a specified utility function when the variance of security returns is described by a discrete time ...
119
click to vote
JANCL
2006
15 years 2 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...