Sciweavers

2733 search results - page 447 / 547
» The Constellation Query Language
Sort
View
FOCS
1992
IEEE
14 years 11 days ago
Proof Verification and Hardness of Approximation Problems
The class PCP(f(n), g(n)) consists of all languages L for which there exists a polynomial-time probabilistic oracle machine that uses O(f(n)) random bits, queries O(g(n)) bits of ...
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu...
DMKDTTT
2004
110views Data Mining» more  DMKDTTT 2004»
13 years 11 months ago
XML algebras for data mining
The XML is a new standard for data representation and exchange on the Internet. There are studies on XML query languages as well as XML algebras in literature. However, attention ...
Ming Zhang, Jingtao Yao
AAAI
2008
13 years 11 months ago
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond
We extend the knowledge compilation map introduced by Darwiche and Marquis with three influential propositional fragments, the Krom CNF one (also known as the bijunctive fragment)...
Hélène Fargier, Pierre Marquis
AAAI
2008
13 years 11 months ago
Predicting Appropriate Semantic Web Terms from Words
The Semantic Web language RDF was designed to unambiguously define and use ontologies to encode data and knowledge on the Web. Many people find it difficult, however, to write com...
Lushan Han, Tim Finin
CCS
2008
ACM
13 years 10 months ago
Enforcing a security pattern in stakeholder goal models
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Ying...