2167 search results - page 230 / 434 » Stochastic Process Algebras |
146
click to vote
NAACL
1994
15 years 7 months ago
1994
The processing of Japanese text is complicated by the fact that there are no word delimiters. To segment Japanese text, systems typically use knowledge-based methods and large lex...
293
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Predicting the "Value at Risk" of a portfolio of stocks is of great significance in quantitative finance. We introduce a new class models, "dynamical products of ex...
281
click to vote
VLDB
2002
ACM
16 years 6 months ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...
178
click to vote
JLP
2007
15 years 6 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...
149
click to vote
ENTCS
2000
15 years 6 months ago
2000
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound fo...