1515 search results - page 16 / 303 » On the relation of aspects and monads |
147
click to vote
MFCS
2009
Springer
16 years 19 days 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...
209
click to vote
ICDT
2001
ACM
15 years 10 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 ...
151
click to vote
CORR
2007
Springer
15 years 6 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...
150
click to vote
CHI
2006
ACM
16 years 6 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...
199
click to vote
AH
2008
Springer
16 years 13 days 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...