7109 search results - page 70 / 1422 » Process Algebra with Combinators |
141
click to vote
NGITS
1999
Springer
15 years 7 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...
190
click to vote
SIGMOD
2006
ACM
16 years 2 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...
153
Voted
CALCO
2009
Springer
15 years 9 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...
91
Voted
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
51
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
