47 search results - page 1 / 10 » A Calculus of Looping Sequences for Modelling Microbiologica... |
FUIN
2006
13 years 11 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
14 years 5 months ago
2007
Springer
HICSS
2007
IEEE
14 years 5 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
15 years 26 days 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
14 years 4 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...