Sciweavers

394 search results - page 56 / 79
» An extensive math query language
Sort
View
CSMR
2009
IEEE
15 years 8 months ago
Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc ...
106
Voted
IJWET
2008
81views more  IJWET 2008»
15 years 1 months ago
XFIS: an XML filtering system based on string representation and matching
: Information-filtering systems constitute a critical component of modern information-seeking applications. As the number of users grows and the amount of information available bec...
Panagiotis Antonellis, Christos Makris
DLOG
2003
15 years 3 months ago
Description Logic Systems
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
Ralf Möller, Volker Haarslev
SIGMOD
2010
ACM
227views Database» more  SIGMOD 2010»
15 years 6 months ago
SecureBlox: customizable secure distributed data processing
We present SecureBlox, a declarative system that unifies a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speci...
William R. Marczak, Shan Shan Huang, Martin Braven...
SIGIR
2010
ACM
15 years 5 months ago
Positional relevance model for pseudo-relevance feedback
Pseudo-relevance feedback is an effective technique for improving retrieval results. Traditional feedback algorithms use a whole feedback document as a unit to extract words for ...
Yuanhua Lv, ChengXiang Zhai