1814 search results - page 149 / 363 » Extended First-Order Logic |
135
Voted
DMDW
2001
15 years 4 months ago
2001
Research on logical design of OLAP cubes has tended to assume that the rollup hierarchy in a cube dimension takes the form of a balanced tree. However, experience from industry in...
171
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
146
Voted
IJIT
2004
15 years 4 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
135
click to vote
TDM
2004
15 years 4 months ago
2004
To be able to handle the ever growing volumes of XML documents, effective and efficient data management solutions are needed. Managing XML data in a relational DBMS has great pote...
231
Voted
ECCB
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...