Sciweavers

1180 search results - page 145 / 236
» A Logical Data Model for Integrated Geographical Databases
Sort
View
NAR
2011
183views Computer Vision» more  NAR 2011»
14 years 7 months ago
IGRhCellID: integrated genomic resources of human cell lines for identification
Cell line identification is emerging as an essential method for every cell line user in research community to avoid using misidentified cell lines for experiments and publications...
Cheng-Kai Shiau, De-Leung Gu, Chian-Feng Chen, Chi...
VLDB
2004
ACM
111views Database» more  VLDB 2004»
15 years 9 months ago
Technology Challenges in a Data Warehouse
This presentation will discuss several database technology challenges that are faced when building a data warehouse. It will touch on the challenges posed by high capacity drives ...
Ramesh Bhashyam
EDBT
2010
ACM
170views Database» more  EDBT 2010»
15 years 7 months ago
Augmenting OLAP exploration with dynamic advanced analytics
Online Analytical Processing (OLAP) is a popular technique for explorative data analysis. Usually, a fixed set of dimensions (such as time, place, etc.) is used to explore and ana...
Benjamin Leonhardi, Bernhard Mitschang, Rubé...
CADE
2007
Springer
16 years 4 months ago
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
CIDR
2009
181views Algorithms» more  CIDR 2009»
15 years 5 months ago
The Case for RodentStore: An Adaptive, Declarative Storage System
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
Philippe Cudré-Mauroux, Eugene Wu, Samuel M...