15372 search results - page 343 / 3075 » The Semantics of Semantic Annotation |
194
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
200
click to vote
ACL
2012
13 years 9 months ago
2012
This work presents a first step to a general implementation of the Semantic-Script Theory of Humor (SSTH). Of the scarce amount of research in computational humor, no research ha...
220
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
174
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Current keyword-oriented search engines for the World Wide Web do not allow specifying the semantics of queries. We address this limitation with NAGA1 , a new semantic search engi...
177
click to vote
ESWS
2007
Springer
16 years 28 days ago
2007
Springer
Since online Semantic Web applications are based on existing Web infrastructure, developing these applications could leverage experiences with and infrastructure of existing framew...