410 search results - page 43 / 82 » Structural Comparison of Executable Objects |
158
click to vote
TLCA
2007
Springer
16 years 2 days 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...
202
click to vote
ROOM
2000
15 years 7 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...
131
click to vote
ICIP
2001
IEEE
16 years 7 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 ...
160
click to vote
IV
2000
IEEE
15 years 10 months 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...
154
click to vote
ACL
2009
15 years 3 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...