1162 search results - page 144 / 233 » Monotonic Semantic Interpretation |
201
click to vote
POPL
2006
ACM
16 years 28 days ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
116
Voted
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
The potential benefits of Web services composition heavily rely on semantic interoperability, i.e., the ability to exchange data meaningfully amongst Web services. Context heterog...
CBMS
2009
IEEE
15 years 7 months ago
2009
IEEE
Biomedical scientists generate, access, validate and interpret multiple distributed and heterogeneous data sets. Semantic annotations for these data sets are paramount for exchang...
86
Voted
ASWEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
107
Voted
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...