61 search results - page 1 / 13 » A Linear Process-Algebraic Format for Probabilistic Systems ... |
93
Voted
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
100
Voted
ATVA
2009
Springer
15 years 7 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...
101
Voted
COLING
2010
14 years 8 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...
129
click to vote
ICPR
2010
IEEE
15 years 3 days 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...
116
Voted
PPAM
2005
Springer
15 years 6 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...