61 search results - page 1 / 13 » A Linear Process-Algebraic Format for Probabilistic Systems ... |
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
COLING
2010
12 years 12 months ago
2010
This paper presents a first efficient implementation of a weighted deductive CYK parser for Probabilistic Linear ContextFree Rewriting Systems (PLCFRS), together with context-summ...
ICPR
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract—Learning dynamical systems is one of the important problems in many fields. In this paper, we present an algorithm for learning non-linear dynamical systems which works...
PPAM
2005
Springer
13 years 10 months ago
2005
Springer
Algorithms for the sparse matrix-vector multiplication (shortly SpM×V ) are important building blocks in solvers of sparse systems of linear equations. Due to matrix sparsity, the...