54 search results - page 8 / 11 » The continuum as a final coalgebra |
FOSSACS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
ENTCS
2008
13 years 7 months ago
2008
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
It is well understood that the key for successful Semantic Web applications depends on the availability of machine understandable meta-data. We describe the Information Grid, a pr...
MSS
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper analyzes a two-alternative voting model with the distinctive feature that voters have preferences over the support that each alternative receives, and not only over the...
TMI
2008
13 years 7 months ago
2008
Abstract-- This paper provides a comprehensive and quantitative review of spatial transformations models for nonrigid image registration. It explains the theoretical foundation of ...