7109 search results - page 225 / 1422 » Process Algebra with Combinators |
120
click to vote
AIML
2004
15 years 5 months ago
2004
We are going to show that the standard notion of Kripke completeness is the strongest one among many provably distinct algebraically motivated completeness properties, some of whic...
142
click to vote
CIDR
2003
15 years 5 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
146
click to vote
SIGGRAPH
2009
ACM
15 years 11 months ago
2009
ACM
Spectral methods for mesh processing and analysis rely on the eigenvalues, eigenvectors, or eigenspace projections derived from appropriately defined mesh operators to carry out ...
162
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
140
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...