34 search results - page 2 / 7 » Observational Equivalence for the Interaction Combinators an... |
ESANN
2001
13 years 6 months ago
2001
In sensorimotor behaviour often a great movement execution variability is combined with a relatively low error in reaching the intended goal. This phenomenon can especially be obse...
SI3D
2003
ACM
13 years 10 months ago
2003
ACM
We present a system for interactively producing exploded views of 3D architectural environments such as multi-story buildings. These exploded views allow viewers to simultaneously...
APLAS
2004
ACM
13 years 10 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
ENTCS
2007
13 years 5 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
IJCBDD
2010
13 years 3 months ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...