522 search results - page 7 / 105 » Necessary but Not Sufficient |
SYNTHESE
2008
13 years 7 months ago
2008
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
BSL
2000
13 years 7 months ago
2000
In the spirit of a theorem of Wood [21], we give necessary and sufficient conditions for a family of germs of analytic hypersurfaces in a smooth projective toric variety X to be i...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
We study the dynamics of the so-called Game of Cards by using tools developed in the context of discrete dynamical systems. We extend a result of [4] and [10] (the last one in the ...
FUIN
2006
13 years 7 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...
SCL
2010
13 years 2 months ago
2010
The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...