4743 search results - page 491 / 949 » The PlusCal Algorithm Language |
224
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
120
click to vote
IJCNLP
2005
Springer
15 years 8 months ago
2005
Springer
The current work applies Conditional Random Fields to the problem of temporal reference mapping from Chinese text to English text. The learning algorithm utilizes a moderate number...
108
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
142
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
128
click to vote
INTELLCOMM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we propose the usage of W3C-standardized query language, XQuery, to accommodate XML Update. Our main aim is to enable the update without violating the seman...