Sciweavers

2458 search results - page 97 / 492
» Database-Management Principles And Applications
Sort
View
CADE
1998
Springer
15 years 1 months ago
Extensional Higher-Order Resolution
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
Christoph Benzmüller, Michael Kohlhase
HOPL
2007
15 years 1 months ago
A history of Haskell: being lazy with class
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
Paul Hudak, John Hughes, Simon L. Peyton Jones, Ph...
ICDE
2007
IEEE
130views Database» more  ICDE 2007»
15 years 11 months ago
Semantic Data Management: Towards Querying Data with their Meaning
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
Lipyeow Lim, Haixun Wang, Min Wang
GIS
2008
ACM
15 years 11 months ago
Editing and versioning dynamic network models
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...
Petko Bakalov, Erik G. Hoel, Wee-Liang Heng, Vassi...
GIS
2003
ACM
15 years 11 months ago
Attribute space visualization of demographic change
This paper introduces an approach for closer integration of selforganizing maps into the visualization of spatio-temporal phenomena in GIS. It is proposed to provide a more explic...
André Skupin, Ron Hagelman