Sciweavers

505 search results - page 49 / 101
» Approximate databases: a support tool for approximate reason...
Sort
View
JBI
2011
233views Bioinformatics» more  JBI 2011»
13 years 2 months ago
A set of ontologies to drive tools for the control of vector-borne diseases
We are developing a set of ontologies that deal with vector-borne diseases and the arthropod vectors that transmit them. For practical reasons (application priorities), we initiat...
Pantelis Topalis, Emmanuel Dialynas, Elvira Mitrak...
GIS
2005
ACM
14 years 8 months ago
Two ellipse-based pruning methods for group nearest neighbor queries
Group nearest neighbor (GNN) queries are a relatively new type of operations in spatial database applications. Different from a traditional kNN query which specifies a single quer...
Hongga Li, Hua Lu, Bo Huang, Zhiyong Huang
ICDT
2005
ACM
116views Database» more  ICDT 2005»
14 years 1 months ago
The Design Space of Type Checkers for XML Transformation Languages
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
Anders Møller, Michael I. Schwartzbach
WCE
2007
13 years 9 months ago
E-learning System Based on Neural Networks
—Although the current E-Learning systems have many merits, many of them only treat advanced information technology as simple communication tools, and release some learning conten...
Linfeng Zhang, Fei Yu, Yue Shen, Guiping Liao, Ken...
SEFM
2006
IEEE
14 years 1 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani