Sciweavers

886 search results - page 149 / 178
» Reasoning with contextual graphs
Sort
View
ICLP
2007
Springer
14 years 3 months ago
DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
Axel Polleres, Roman Schindlauer
GLOBECOM
2006
IEEE
14 years 3 months ago
Scalable Hierarchical Traceback
—Distributed Denial of Service attacks have recently emerged as one of the most potent, if not the greatest, weaknesses of the Internet. Previous solutions for this problem try t...
Arjan Durresi, Vamsi Paruchuri
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
14 years 3 months ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen
SIGIR
2006
ACM
14 years 3 months ago
Information graphics: an untapped resource for digital libraries
Information graphics are non-pictorial graphics such as bar charts and line graphs that depict attributes of entities and relations among entities. Most information graphics appea...
Sandra Carberry, Stephanie Elzer, Seniz Demir
LICS
2005
IEEE
14 years 3 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe