292 search results - page 7 / 59 » On the Expression of Interaction Properties within an Intera... |
CC
2009
Springer
14 years 8 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
LKR
2008
13 years 8 months ago
2008
Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...
BMCBI
2005
13 years 7 months ago
2005
Background: This paper addresses the problem of recognising DNA cis-regulatory modules which are located far from genes. Experimental procedures for this are slow and costly, and ...
ENTCS
2010
13 years 4 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
LCPC
1993
Springer
13 years 11 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...