2777 search results - page 179 / 556 » Example centric programming |
99
Voted
ECOOP
1991
Springer
15 years 4 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...
90
Voted
AAAI
2006
15 years 2 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...
85
Voted
LFP
1992
15 years 1 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...
76
Voted
EOR
2006
15 years 23 days 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 ...
106
Voted
JANCL
2006
15 years 22 days 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...