47 search results - page 1 / 10 » A Calculus of Looping Sequences for Modelling Microbiologica... |
FUIN
2006
13 years 4 months ago
2006
Abstract. The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriop...
MEMBRANE
2007
Springer
13 years 11 months ago
2007
Springer
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
We present a novel framework for tracking of a long sequence of human activities, including the time instances of change from one activity to the next, using a closed-loop, non-li...
MKM
2004
Springer
13 years 10 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...