5451 search results - page 383 / 1091 » Typed Operational Semantics |
203
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
195
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
A promising application domain for Semantic Web technology is the annotation of products and services offerings on the Web so that consumers and enterprises can search for suitable...
158
click to vote
COLING
2002
15 years 6 months ago
2002
We present a comparative evaluation of two data-driven models used in translation selection of English-Korean machine translation. Latent semantic analysis(LSA) and probabilistic ...
170
click to vote
ESWS
2007
Springer
16 years 13 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
162
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper addresses the problem of classifying places in the environment of a mobile robot into semantic categories. We believe that semantic information about the type of pla...