11328 search results - page 231 / 2266 » Timed Branching Processes |
316
Voted
AIIDE
2009
15 years 8 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 ...
190
click to vote
ICGI
2010
Springer
15 years 8 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...
313
click to vote
ICML
2010
IEEE
15 years 8 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...
203
Voted
ENTCS
2007
15 years 7 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...
161
click to vote
QSIC
2007
IEEE
16 years 1 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...