410 search results - page 43 / 82 » Structural Comparison of Executable Objects |
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
ROOM
2000
13 years 9 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
In this paper, generalized granulometric size distributions and size histograms (a.k.a `pattern spectra') are developed using generalized multiscale lattice operators of the ...
IV
2000
IEEE
14 years 7 days ago
2000
IEEE
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...
ACL
2009
13 years 5 months ago
2009
In this paper, we propose a novel method for semi-supervised learning of nonprojective log-linear dependency parsers using directly expressed linguistic prior knowledge (e.g. a no...