21342 search results - page 444 / 4269 » Structured language modeling |
155
click to vote
ACL
1990
15 years 7 months ago
1990
Though most translation systems have some mechanism for translating certain types of divergent predicate-argument structures, they do not provide a genera] procedure that takes ad...
155
click to vote
AML
2002
15 years 6 months ago
2002
For a classical theory T, H(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the ra...
192
Voted
CONCURRENCY
1998
15 years 6 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
175
click to vote
IANDC
2006
15 years 6 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
144
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...