Sciweavers

4983 search results - page 279 / 997
» order 2008
Sort
View
142
Voted
ENTCS
2008
96views more  ENTCS 2008»
15 years 6 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan
ENVSOFT
2008
60views more  ENVSOFT 2008»
15 years 6 months ago
A software tool for designing cost-effective compensation payments for conservation measures
Compensation payments to farmers who apply species-friendly farming activities are a common instrument to reconcile nature conservation with agriculture in Europe. In order to des...
Karin Ulbrich, Martin Drechsler, Frank Wätzol...
EOR
2008
119views more  EOR 2008»
15 years 6 months ago
A General Vehicle Routing Problem
In this paper we study a rich vehicle routing problem incorporating various complexities found in real-life applications. The General Vehicle Routing Problem (GVRP) is a combined ...
Asvin Goel, Volker Gruhn
FSS
2008
78views more  FSS 2008»
15 years 6 months ago
On heuristics as a fundamental constituent of soft computing
Although as such one dates back the idea of setting the area of soft computing to 1990, it was in 1994 that L.A. Zadeh established his worldwide accepted definition of soft comput...
José L. Verdegay, Ronald R. Yager, Piero P....
FUIN
2008
124views more  FUIN 2008»
15 years 6 months ago
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...