Sciweavers

5130 search results - page 1003 / 1026
» Constraint Query Languages
Sort
View
LATIN
2004
Springer
15 years 10 months ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz
ICDT
2003
ACM
150views Database» more  ICDT 2003»
15 years 10 months ago
Bioinformatics Adventures in Database Research
Informatics has helped launch molecular biology into the genomic era. It appears certain that informatics will remain a major contributor to molecular biology in the post-genome er...
Jinyan Li, See-Kiong Ng, Limsoon Wong
WECWIS
2002
IEEE
136views ECommerce» more  WECWIS 2002»
15 years 10 months ago
XML-based Advanced UDDI Search Mechanism for B2B Integration
Exploring an appropriate business application published as a Web Service in the UDDI registry is a critical issue. Search for such an application should be effective in terms of t...
Liang-Jie Zhang, Haifei Li, Henry Chang, Tian Chao
EDBT
2009
ACM
133views Database» more  EDBT 2009»
15 years 9 months ago
Schema-conscious filtering of XML documents
In a publish-subscribe system based on filtering of XML documents, subscribers specify their interests with profiles expressed in the XPath language. The system processes a stre...
Panu Silvasti, Seppo Sippu, Eljas Soisalon-Soinine...
ICCS
2001
Springer
15 years 9 months ago
Large-Scale Cooperatively-Built KBs
We describe a knowledge server that permits Web users to retrieve and add knowledge in a shared knowledge base. The following features distinguish WebKB-2 from other ontology serve...
Philippe Martin, Peter W. Eklund
« Prev « First page 1003 / 1026 Last » Next »