4902 search results - page 244 / 981 » Structures, Semantics and Statistics |
138
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
142
click to vote
FINTAL
2006
15 years 9 months ago
2006
The so-called Internally Headed Relative Clause (IHRC) construction found in the head-final languages Korean and Japanese has received little attention from computational perspecti...
174
click to vote
CORR
2011
Springer
15 years 15 days ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
218
click to vote
DKE
2011
15 years 14 days ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
132
click to vote
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
Despite continuing advances in machine translation technology, users who lack familiarity with particular foreign languages have no good way to find information in those languages...