Sciweavers

88 search results - page 18 / 18
» A Completeness Result for Reasoning with Incomplete First-Or...
Sort
View
BMCBI
2006
143views more  BMCBI 2006»
13 years 5 months ago
Discovering functional gene expression patterns in the metabolic network of Escherichia coli with wavelets transforms
Background: Microarray technology produces gene expression data on a genomic scale for an endless variety of organisms and conditions. However, this vast amount of information nee...
Rainer König, Gunnar Schramm, Marcus Oswald, ...
SEMWEB
2009
Springer
13 years 12 months ago
Processing OWL2 Ontologies using Thea: An Application of Logic Programming
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
Vangelis Vassiliadis, Jan Wielemaker, Chris Mungal...
ACMICEC
2004
ACM
148views ECommerce» more  ACMICEC 2004»
13 years 11 months ago
A secure and private clarke tax voting protocol without trusted authorities
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...
Changjie Wang, Ho-fung Leung