1788 search results - page 82 / 358 » Model Theory for Process Algebra |
100
Voted
PVM
1997
Springer
15 years 4 months ago
1997
Springer
The traditional approach to the parallelization of linear algebra algorithms such as matrix multiplication and LU factorization calls for static allocation of matrix blocks to proc...
ALGORITHMS
2010
14 years 10 months ago
2010
Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theo...
101
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
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...
87
Voted
ADC
2003
Springer
15 years 6 months ago
2003
Springer
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their cor...
94
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...