112 search results - page 19 / 23 » Two Algebraic Process Semantics for Contextual Nets |
SEMCO
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...
KDD
2005
ACM
14 years 8 months ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
GEOS
2007
Springer
14 years 1 months ago
2007
Springer
In geospatial applications with heterogeneous classification schemes that describe related domains, an ontology-driven approach to data sharing and interoperability relies on the ...
MFCS
1991
Springer
13 years 11 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
IFM
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...