5415 search results - page 978 / 1083 » The Implementation of Functional Programming Languages |
123
click to vote
CP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
105
click to vote
ESAW
2009
Springer
15 years 8 months ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
100
click to vote
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
106
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
CP
2007
Springer
15 years 7 months ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...