4353 search results - page 706 / 871 » Expressiveness of Process Algebras |
100
Voted
CSR
2007
Springer
15 years 4 months ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
126
Voted
EPIA
2007
Springer
15 years 4 months ago
2007
Springer
We present as a contribution to the field of human-machine interaction a system that analyzes human movements online, based on the concept of Laban Movement Analysis (LMA). The im...
EVOW
2007
Springer
15 years 4 months ago
2007
Springer
In liquid chromatography-mass spectrometry (LC-MS) based expression proteomics, samples from different groups are analyzed comparatively in order to detect differences that can p...
FCT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
The process of development creates a phenotype from one or more genotypes of an individual through interaction with an environment. The opportunity for development to choose a phe...