Sciweavers

15375 search results - page 182 / 3075
» cans 2008
Sort
View
ENTCS
2008
98views more  ENTCS 2008»
13 years 8 months ago
A Rewriting Calculus for Multigraphs with Ports
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
Oana Andrei, Hélène Kirchner
ENTCS
2008
103views more  ENTCS 2008»
13 years 8 months ago
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...
M. Praveen, Kamal Lodaya
ENVSOFT
2008
79views more  ENVSOFT 2008»
13 years 8 months ago
Water quality modelling for small river basins
Water quality modelling in small rivers is often considered unworthy from a practical and economic viewpoint. This paper shows instead that a simple model structure can be set up ...
Stefano Marsili-Libelli, Elisabetta Giusti
EOR
2008
88views more  EOR 2008»
13 years 8 months ago
Selection of a correlated equilibrium in Markov stopping games
This paper deals with an extension of the concept of correlated strategies to Markov stopping games. The Nash equilibrium approach to solving nonzero-sum stopping games may give m...
David M. Ramsey, Krzysztof Szajowski
EOR
2008
79views more  EOR 2008»
13 years 8 months ago
Local and global lifted cover inequalities for the 0-1 multidimensional knapsack problem
The 0-1 Multidimensional Knapsack Problem (0-1 MKP) is a wellknown (and strongly NP-hard) combinatorial optimization problem with many applications. Up to now, the majority of upp...
Konstantinos Kaparis, Adam N. Letchford