Sciweavers

1529 search results - page 216 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 6 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
WSDM
2012
ACM
300views Data Mining» more  WSDM 2012»
14 years 1 months ago
Adding semantics to microblog posts
Microblogs have become an important source of information for the purpose of marketing, intelligence, and reputation management. Streams of microblogs are of great value because o...
Edgar Meij, Wouter Weerkamp, Maarten de Rijke
WISE
2002
Springer
15 years 11 months ago
RAL: an Algebra for Querying RDF
To make the World Wide Web machine-understandable there is a strong demand both for languages describing metadata and for languages querying metadata. The Resource Description Fram...
Flavius Frasincar, Geert-Jan Houben, Richard Vdovj...
FOSSACS
2001
Springer
15 years 11 months ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn
APLAS
2008
ACM
15 years 8 months ago
The Essence of Form Abstraction
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...