Sciweavers

4382 search results - page 199 / 877
» Query by Semantic Example
Sort
View
VVEIS
2008
15 years 4 months ago
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Kenro Yatake, Takuya Katayama
CORR
2008
Springer
153views Education» more  CORR 2008»
15 years 3 months ago
Combining Semantic Wikis and Controlled Natural Language
We demonstrate AceWiki that is a semantic wiki using the controlled natural language Attempto Controlled English (ACE). The goal is to enable easy creation and modification of ont...
Tobias Kuhn
VLDB
1987
ACM
108views Database» more  VLDB 1987»
15 years 6 months ago
Translating and Optimizing SQL Queries Having Aggregates
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...
Günter von Bültzingsloewen
SIGMOD
2011
ACM
199views Database» more  SIGMOD 2011»
14 years 5 months ago
Schema-as-you-go: on probabilistic tagging and querying of wide tables
The emergence of Web 2.0 has resulted in a huge amount of heterogeneous data that are contributed by a large number of users, engendering new challenges for data management and qu...
Meiyu Lu, Divyakant Agrawal, Bing Tian Dai, Anthon...
DMKD
2004
ACM
133views Data Mining» more  DMKD 2004»
15 years 8 months ago
Mining complex matchings across Web query interfaces
To enable information integration, schema matching is a critical step for discovering semantic correspondences of attributes across heterogeneous sources. As a new attempt, this p...
Bin He, Kevin Chen-Chuan Chang, Jiawei Han