Sciweavers

2570 search results - page 108 / 514
» Constructing a web information system development methodolog...
Sort
View
BMCBI
2008
121views more  BMCBI 2008»
15 years 4 months ago
OntoDas - a tool for facilitating the construction of complex queries to the Gene Ontology
Background: Ontologies such as the Gene Ontology can enable the construction of complex queries over biological information in a conceptual way, however existing systems to do thi...
Kieran O'Neill, Alexander García Castro, An...
SIGMOD
2002
ACM
188views Database» more  SIGMOD 2002»
16 years 4 months ago
COMMIX: towards effective web information extraction, integration and query answering
As WWW becomes more and more popular and powerful, how to search information on the web in database way becomes an important research topic. COMMIX, which is developed in the DB g...
Tengjiao Wang, Shiwei Tang, Dongqing Yang, Jun Gao...
CCS
2004
ACM
15 years 10 months ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto
148
Voted
IDEAL
2003
Springer
15 years 10 months ago
E.Coli Search: Self Replicating Agents for Web Based Information Retrieval
: Although search engines are often used for information retrieval (IR) from the World Wide Web (WWW), current search engine technology seems obsolete. The quality of query results...
Derrick Takeshi Mirikitani, Ibrahim Kushchu
164
Voted
ICAIL
2005
ACM
15 years 10 months ago
Constructing a Semantic Network for Legal Content
The Dutch Tax and Customs Administration (DTCA) is one of many organizations that deal with a multitude of electronic legal data, from various sources and in different formats. In...
Radboud Winkels, Alexander Boer, Emile de Maat, To...