1638 search results - page 209 / 328 » A General Semantics for Evaluation Logic |
194
click to vote
EDBTW
2010
Springer
16 years 28 days ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
169
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
137
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
189
click to vote
JCDL
2006
ACM
16 years 11 days ago
2006
ACM
We propose a new method that enhances automatic keyphrase extraction by using semantic information on terms and phrases gleaned from a domain-specific thesaurus. We evaluate the r...
153
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Turning the current Web into a Semantic Web requires automatic approaches for annotation of existing data since manual approaches will not scale in general. We here present an app...