1768 search results - page 50 / 354 » A Logic for Algebraic Effects |
175
click to vote
ANOR
2005
15 years 5 months 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...
180
click to vote
AISC
1998
Springer
15 years 10 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...
147
click to vote
EMSOFT
2004
Springer
15 years 11 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 ...
176
Voted
EWDW
1990
15 years 10 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...
148
click to vote
CAP
2010
15 years 26 days 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 ...