Sciweavers

1746 search results - page 194 / 350
» On the expressiveness of interaction
Sort
View
CIBCB
2005
IEEE
15 years 8 months ago
A Transcriptional Approach to Gene Clustering
— We present an integrative method for clustering coregulated genes and elucidating their underlying regulatory mechanisms. We use multi-state partition functions and thermodynam...
Ilias Tagkopoulos
SEBD
2003
159views Database» more  SEBD 2003»
15 years 7 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
AAAI
2000
15 years 7 months ago
An Expert System for Recognition of Facial Actions and their Intensity
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...
Maja Pantic, Léon J. M. Rothkrantz
CAD
2008
Springer
15 years 6 months ago
Geometrically exact dynamic splines
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
Adrien Theetten, Laurent Grisoni, Claude Andriot, ...
ENTCS
2008
123views more  ENTCS 2008»
15 years 6 months ago
A Chart Semantics for the Pi-Calculus
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
Johannes Borgström, Andrew D. Gordon, Andrew ...