4743 search results - page 294 / 949 » The PlusCal Algorithm Language |
127
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
154
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
125
Voted
UM
2010
Springer
15 years 2 months ago
2010
Springer
Recommender systems, as a type of Web personalized service to support users’ online product searching, have been widely developed in recent years but with primary emphasis on alg...
131
click to vote
DLOG
2010
15 years 1 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
141
click to vote
EMNLP
2010
15 years 1 months ago
2010
We reveal a previously unnoticed connection between dependency parsing and statistical machine translation (SMT), by formulating the dependency parsing task as a problem of word a...