4212 search results - page 229 / 843 » Rights Expression Languages |
178
click to vote
PPPJ
2004
ACM
15 years 12 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
144
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
162
click to vote
APLAS
2008
ACM
15 years 8 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...
166
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
179
click to vote
IJCAI
2001
15 years 8 months ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...