1768 search results - page 51 / 354 » A Logic for Algebraic Effects |
161
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
191
click to vote
CVPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we propose a robust model selection criterion for mixtures of subspaces called minimum effective dimension (MED). Previous information-theoretic model selection cri...
163
click to vote
LICS
2007
IEEE
16 years 4 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
141
click to vote
CISST
2003
15 years 7 months ago
2003
An approach to conflation/registration of images that does not depend on identifying common points is being developed. It uses the method of algebraic invariants to provide a comm...
168
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...