Sciweavers

934 search results - page 157 / 187
» Architectural support for database visualization
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 4 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
GIS
2004
ACM
14 years 10 months ago
Representing spatiality in a conceptual multidimensional model
Data Warehouses and On-Line Analytical Processing systems rely on a multidimensional model that includes dimensions, hierarchies, and measures. Such model allows to express users&...
Elzbieta Malinowski, Esteban Zimányi
COSIT
2003
Springer
94views GIS» more  COSIT 2003»
14 years 2 months ago
Testing the First Law of Cognitive Geography on Point-Display Spatializations
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
Daniel R. Montello, Sara Irina Fabrikant, Marco Ru...
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
14 years 1 months ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
CGF
2008
149views more  CGF 2008»
13 years 9 months ago
Image-based Aging Using Evolutionary Computing
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...
Daniel Hubball, Min Chen, Phil W. Grant