2272 search results - page 306 / 455 » A Calculus for |
97
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
103
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We provide a review of independent component analysis (ICA) for complex-valued improper and noncircular random sources. An improper random signal is correlated with its complex co...
113
Voted
AMI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
115
click to vote
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...