Sciweavers

713 search results - page 71 / 143
» Saving Space by Algebraization
Sort
View
111
Voted
SCCC
1998
IEEE
15 years 4 months ago
Parallel Generation of Inverted Files for Distributed Text Collections
We present a scalable algorithm for the parallel computation of inverted files for large text collections. The algorithm takes into account an environment of a high bandwidth netw...
Berthier A. Ribeiro-Neto, Joao Paulo Kitajima, Gon...
106
Voted
ICDT
1995
ACM
96views Database» more  ICDT 1995»
15 years 4 months ago
On Two Forms of Structural Recursion
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
Dan Suciu, Limsoon Wong
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 19 days ago
Mathematical Foundations for a Compositional Distributional Model of Meaning
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
104
Voted
IANDC
2006
103views more  IANDC 2006»
15 years 16 days ago
Bisimulation and cocongruence for probabilistic systems
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
Vincent Danos, Josee Desharnais, François L...
SIAMDM
2000
103views more  SIAMDM 2000»
15 years 9 days ago
Directional Routing via Generalized st-Numberings
We present a mathematical model for network routing based on generating paths in a consistent direction. Our development is based on an algebraic and geometric framework for defini...
Fred S. Annexstein, Kenneth A. Berman