4353 search results - page 79 / 871 » Expressiveness of Process Algebras |
125
click to vote
IEEEICCI
2009
IEEE
15 years 6 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
106
click to vote
SSDBM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. Multidimensional databases play a relevant role in statistical and scientific applications, as well as in business intelligence systems. Their users express complex OLAP...
105
click to vote
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
EDBT
2006
ACM
16 years 22 hour ago
2006
ACM
We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for...
102
click to vote
CALCO
2005
Springer
15 years 5 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...