Sciweavers

3836 search results - page 111 / 768
» Semantics of Database Transformations
Sort
View
SIGMOD
2003
ACM
152views Database» more  SIGMOD 2003»
16 years 2 months ago
Warping Indexes with Envelope Transforms for Query by Humming
A Query by Humming system allows the user to find a song by humming part of the tune. No musical training is needed. Previous query by humming systems have not provided satisfacto...
Yunyue Zhu, Dennis Shasha
129
Voted
ICTAC
2004
Springer
15 years 8 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
117
Voted
AMAST
1998
Springer
15 years 6 months ago
Type Analysis for CHIP
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
Wlodzimierz Drabent, Pawel Pietrzak
145
Voted
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
15 years 9 months ago
Towards Model Transformation Generation By-Example
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
Manuel Wimmer, Michael Strommer, Horst Kargl, Gerh...
AAAI
2007
15 years 4 months ago
Freebase: A Shared Database of Structured General Human Knowledge
Freebase is a practical, scalable, graph-shaped database of structured general human knowledge, inspired by Semantic Web research and collaborative data communities such as the Wi...
Kurt D. Bollacker, Robert P. Cook, Patrick Tufts