3731 search results - page 131 / 747 » cases 2006 |
147
click to vote
FUIN
2006
15 years 6 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
142
click to vote
FUIN
2006
15 years 6 months ago
2006
We deal with the notion of M-unambiguity [5] in connection with the Parikh matrix mapping introduced by Mateescu and others in [7]. M-unambiguity is studied both in terms of words ...
162
click to vote
GPEM
2006
15 years 6 months ago
2006
A novel method for solving ordinary and partial differential equations, based on grammatical evolution is presented. The method forms generations of trial solutions expressed in an...
205
click to vote
HEURISTICS
2006
15 years 6 months ago
2006
In case a CSP is over-constrained, it is natural to allow some constraints, called soft constraints, to be violated. We propose a generic method to soften global constraints that c...
182
click to vote
IIE
2006
15 years 6 months ago
2006
We present a collaborative learning tool for programming, Jeliot Collaboratively or JeCo. Jeliot Collaboratively is a combination of a program visualization tool for Java programs,...