2963 search results - page 161 / 593 » An architecture for generic extensions |
178
click to vote
BNCOD
2007
15 years 8 months ago
2007
: We present a new approach for accelerating the execution of XPath expressions using parameterized materialized XPath views (PXV). While the approach is generic we show how it can...
153
Voted
AML
2010
15 years 7 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
186
Voted
ENTCS
2008
15 years 7 months ago
2008
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...
164
click to vote
ENTCS
2008
15 years 7 months ago
2008
At the early stages of the phagocytic signalling, Rho GTP-binding proteins play a key role. With the stimulus from the cell membrane and with the help from the regulators (GEF, GA...
160
click to vote
APAL
2006
15 years 7 months ago
2006
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form ...