3273 search results - page 89 / 655 » types 2007 |
141
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
122
click to vote
ACL
2006
15 years 5 months ago
2006
As natural language understanding research advances towards deeper knowledge modeling, the tasks become more and more complex: we are interested in more nuanced word characteristi...
INTERACT
2003
15 years 5 months ago
2003
: Typing Japanese into computers consists of typing Roman alphabet, displaying the kana character, converting kana to kanji, and selecting the intended kanji character from a list ...
115
click to vote
ACL
1998
15 years 5 months ago
1998
In relatively free word order languages, grammatical functions are intricately related to case marking. Assuming an ordered representation of the predicate-argument structure, thi...
106
click to vote
AML
2005
15 years 4 months ago
2005
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border indu...