1768 search results - page 50 / 354 » A Logic for Algebraic Effects |
117
Voted
ANOR
2005
15 years 17 days ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...
123
click to vote
AISC
1998
Springer
15 years 4 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
117
click to vote
EWDW
1990
15 years 4 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
90
Voted
CAP
2010
14 years 7 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...