6794 search results - page 844 / 1359 » Semantics of Visual Languages |
177
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
214
click to vote
DAWAK
2008
Springer
15 years 8 months ago
2008
Springer
The ability to accurately judge the similarity between natural language sentences is critical to the performance of several applications such as text mining, question answering, an...
184
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
178
click to vote
ACL
2007
15 years 8 months ago
2007
For natural language understanding, it is essential to reveal semantic relations between words. To date, only the IS-A relation has been publicly available. Toward deeper natural ...
202
click to vote
FORTE
2007
15 years 8 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...