11328 search results - page 231 / 2266 » Timed Branching Processes |
236
click to vote
AIIDE
2009
15 years 5 months ago
2009
We present a case-based reasoning technique for selecting build orders in a real-time strategy game. The case retrieval process generalizes features of the game state and selects ...
140
click to vote
ICGI
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents an efficient algorithm that identifies a rich subclass of multiple context-free languages in the limit from positive data and membership queries by observing wh...
233
click to vote
ICML
2010
IEEE
15 years 5 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...
146
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
118
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...