1195 search results - page 83 / 239 » Modeling an Algebraic Stepper |
168
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
167
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
233
click to vote
TDM
2004
15 years 7 months ago
2004
This work may be seen as a further proof of the versatility of the relational database model. Here, we add XQuery to the catalog of languages which RDBMSs are able to "speak&...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being esta...
160
click to vote
COSIT
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...