1768 search results - page 84 / 354 » A Logic for Algebraic Effects |
107
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
110
Voted
COMPUTING
2006
15 years 23 days ago
2006
We consider the problem of splitting a symmetric positive definite (SPD) stiffness matrix A arising from finite element discretization into the sum of edge matrices thereby assumi...
112
Voted
ENTCS
2007
15 years 21 days ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
113
Voted
ML
2006
ACM
15 years 21 days ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
105
Voted
ISPW
2007
IEEE
15 years 7 months ago
2007
IEEE
To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of ...