149 search results - page 30 / 30 » QuickSpec: Guessing Formal Specifications Using Testing |
BDA
2006
13 years 7 months ago
2006
XML data projection (or pruning) is one of the main optimization techniques recently adopted in the context of main-memory XML query-engines. The underlying idea is quite simple: ...
SIGMOD
2009
ACM
14 years 6 months ago
2009
ACM
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...
ICCS
2005
Springer
13 years 11 months ago
2005
Springer
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...
AAAI
2007
13 years 8 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...