Sciweavers

1532 search results - page 116 / 307
» An Algebraic Process Calculus
Sort
View
ACL
1990
15 years 5 months ago
Algorithms for Generation in Lambek Theorem Proving
We discuss algorithms for generation within the Lambek Theorem Proving Framework. Efficient algorithms for generation in this framework take a semantics-driven strategy. This stra...
Erik-Jan van der Linden, Guido Minnen
JLP
2002
90views more  JLP 2002»
15 years 4 months ago
Combining programs and state machines
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
Jan A. Bergstra, Alban Ponse
COORDINATION
2008
Springer
15 years 6 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
JLP
2007
89views more  JLP 2007»
15 years 4 months ago
Preferential choice and coordination conditions
We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditi...
Jan A. Bergstra, C. A. Middelburg
ICASSP
2008
IEEE
15 years 11 months ago
An ICA-based multilinear algebra tools for dimensionality reduction in hyperspectral imagery
Dimensionality reduction (DR) is a major issue to improve the efficiency of the classifiers in Hyperspectral images (HSI). Recently, the independent component analysis (ICA) app...
Nadine Renard, Salah Bourennane