510 search results - page 23 / 102 » An Algebraic Framework for Urgency |
176
click to vote
SIGMOD
2002
ACM
15 years 5 months ago
2002
ACM
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new functionality is being added to SQL to support OLAP-styl...
140
click to vote
SIAMSC
2008
15 years 6 months ago
2008
The Radon transform is a fundamental tool in many areas. For example, in reconstruction of an image from its projections (CT scanning). Although it is situated in the core of many...
119
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
204
click to vote
AB
2007
Springer
16 years 13 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
190
click to vote
CALCO
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...