1515 search results - page 16 / 303 » On the relation of aspects and monads |
MFCS
2009
Springer
14 years 2 months ago
2009
Springer
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
ICDT
2001
ACM
13 years 12 months ago
2001
ACM
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
In this paper, we consider how the relationship between content providers and content consumers is modified by configuration (especially in the case of end-user programming) and b...
AH
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. Collaborative Web search (CWS) is a community-based approach to Web search that supports the sharing of past result selections among a group of related searchers so as to...