141 search results - page 18 / 29 » A Structural Induction Theorem for Processes |
AMAI
1999
Springer
14 years 9 months ago
1999
Springer
Temporal Constraint Satisfaction Problems (TCSP) is a well known approach for representing and processing temporal knowledge. Important properties of the knowledge can be inferred...
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
IUI
2005
ACM
15 years 3 months ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
The Capon or minimum variance distorsionless response (MVDR) beamformer is a prominent example of spatial ltering structure in sensor array signal processing. Typical implementati...
CSR
2006
Springer
15 years 1 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...