4460 search results - page 81 / 892 » Resources in process algebra |
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
188
click to vote
ACS
2011
15 years 1 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
183
click to vote
GCC
2005
Springer
15 years 11 months ago
2005
Springer
Spatial Information Grid (SIG) is a project of applying grid technology to share and integrate spatial data resources, information processing resources, equipment resources, and kn...
172
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
159
click to vote
ACL
2006
15 years 7 months ago
2006
We present Outilex, a generalist linguistic platform for text processing. The platform includes several modules implementing the main operations for text processing and is designe...