Sciweavers

444 search results - page 39 / 89
» Question Answering for Dutch Using Dependency Relations
Sort
View
FOIKS
2006
Springer
14 years 15 days ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
OWLED
2008
13 years 10 months ago
Representing Product Designs Using a Description Graph Extension to OWL 2
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
Henson Graves
BMCBI
2005
108views more  BMCBI 2005»
13 years 8 months ago
The modeled structure of the RNA dependent RNA polymerase of GBV-C Virus suggests a role for motif E in Flaviviridae RNA polymer
Background: The Flaviviridae virus family includes major human and animal pathogens. The RNA dependent RNA polymerase (RdRp) plays a central role in the replication process, and t...
François Ferron, Cécile Bussetta, H&...
CSL
2007
Springer
14 years 3 months ago
Proofs, Programs and Abstract Complexity
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
Arnold Beckmann
JGS
2002
78views more  JGS 2002»
13 years 8 months ago
Emerging and vector-borne diseases: Role of high spatial resolution and hyperspectral images in analyses and forecasts
Many infectious diseases that are emerging or transmitted by arthropod vectors have a strong link to landscape features. Depending on the source of infection or ecology of the tran...
Mark L. Wilson