Sciweavers

4690 search results - page 305 / 938
» An operational semantics for Scheme
Sort
View
COOPIS
2002
IEEE
15 years 11 months ago
Intelligent Web Search via Personalizable Meta-search Agents
This paper addresses several problems associated with the specification of Web searches, and the retrieval, filtering, and rating of Web pages in order to improve the relevance, pr...
Larry Kerschberg, Wooju Kim, Anthony Scime
EEE
2004
IEEE
15 years 10 months ago
Spreading Activation Models for Trust Propagation
Semantic Web endeavors have mainly focused on issues pertaining to knowledge representation and ontology design. However, besides understanding information metadata stated by subj...
Cai-Nicolas Ziegler, Georg Lausen
CLOR
2006
15 years 10 months ago
Visual Classification by a Hierarchy of Extended Fragments
The chapter describes visual classification by a hierarchy of semantic fragments. In fragment-based classification, objects within a class are represented by common sub-structures ...
Shimon Ullman, Boris Epshtein
CIKM
2008
Springer
15 years 8 months ago
CE2: towards a large scale hybrid search engine with integrated ranking support
The Web contains a large amount of documents and increasingly, also semantic data in the form of RDF triples. Many of these triples are annotations that are associated with docume...
Haofen Wang, Thanh Tran, Chang Liu
ENTCS
2007
124views more  ENTCS 2007»
15 years 6 months ago
Structuring Optimizing Transformations and Proving Them Sound
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker