2272 search results - page 306 / 455 » A Calculus for |
248
click to vote
ESOP
2009
Springer
16 years 23 days 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...
167
click to vote
ICASSP
2009
IEEE
16 years 22 days 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...
164
click to vote
AMI
2009
Springer
16 years 17 days 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...
144
click to vote
ATVA
2009
Springer
16 years 17 days 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...
172
click to vote
CMSB
2009
Springer
16 years 17 days 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...