2148 search results - page 24 / 430 » Responsiveness in Process Calculi |
108
Voted
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
141
Voted
CMSB
2009
Springer
15 years 10 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...
114
Voted
AIPS
2000
15 years 5 months ago
2000
The majority of planning and scheduling research has focused on batch-oriented models of planning. This paper discusses the use of iterative repair techniques to support a continu...
126
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A method is proposed for simulating the sound pressure signals on a spherical microphone array in a reverberant enclosure. The method employs spherical harmonic decomposition and ...
122
Voted
EMNLP
2011
14 years 3 months ago
2011
We present a data-driven approach to generating responses to Twitter status posts, based on phrase-based Statistical Machine Translation. We find that mapping conversational stim...