1364 search results - page 138 / 273 » Comparative Branching-Time Semantics |
130
click to vote
CEAS
2005
Springer
15 years 9 months ago
2005
Springer
Today’s email clients were designed for yesterday’s email. Originally, email was merely a communication medium. Today, people engage in a variety of complex behaviours using e...
125
Voted
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
131
Voted
ACL
1997
15 years 4 months ago
1997
Telegraphic messages with numerous instances of omission pose a new challenge to parsing in that a sentence with omission causes a higher degree of ambi6uity than a sentence witho...
145
Voted
EMNLP
2010
15 years 1 months ago
2010
Representing documents by vectors that are independent of language enhances machine translation and multilingual text categorization. We use discriminative training to create a pr...
137
click to vote
SFM
2007
Springer
15 years 9 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...