193 search results - page 13 / 39 » Definition and analysis of composition structures for discre... |
MM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
AIME
2003
Springer
14 years 27 days ago
2003
Springer
Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine syst...
MVA
1992
13 years 8 months ago
1992
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
FORTE
2010
13 years 9 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...