2409 search results - page 334 / 482 » On Extended Regular Expressions |
162
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
119
click to vote
COLING
2010
14 years 11 months ago
2010
Hierarchical phrase-based machine translation can capture global reordering with synchronous context-free grammar, but has little ability to evaluate the correctness of word order...
167
click to vote
COMMA
2010
14 years 11 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
127
Voted
TIT
2011
14 years 11 months ago
2011
In this paper, we establish a many-sources large deviations principle (LDP) for the stationary workload of a multi-queue single-server system with simplex capacity, operated under...
174
click to vote
JOLLI
2010
14 years 11 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...