7109 search results - page 70 / 1422 » Process Algebra with Combinators |
103
click to vote
NGITS
1999
Springer
15 years 2 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
148
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
Consider an XML view defined over a relational database, and a user query specified over this view. This user XML query is typically processed using the following steps: (a) our t...
119
click to vote
CALCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
