Sciweavers

4081 search results - page 317 / 817
» Metaprogramming for Relational Databases
Sort
View
SARA
2007
Springer
16 years 25 days ago
Extensional Reasoning
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
Timothy L. Hinrichs
DEXAW
2006
IEEE
151views Database» more  DEXAW 2006»
16 years 23 days ago
Avenues to Flexible Data Integrity Checking
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
Hendrik Decker, Davide Martinenghi
DEXAW
2003
IEEE
131views Database» more  DEXAW 2003»
16 years 6 hour ago
Having a BLAST: Analyzing Gene Sequence Data with BlastQuest
An essential problem for biologists is the processing and evaluation of BLAST results. We advocate the deployment of database technology and describe a userdriven tool, called Bla...
William G. Farmerie, Joachim Hammer, Li Liu, Marku...
CIKM
2003
Springer
15 years 12 months ago
Speech user interfaces for information retrieval
The research proposed here concentrates on the problem of designing and developing a spoken query retrieval (SQR) system to access large document databases via voice. The main cha...
Juan E. Gilbert, Yapin Zhong
TOOLS
2000
IEEE
15 years 11 months ago
Spatiotemporal Data Modeling and Management: A Survey
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
Xiaoyu Wang, Xiaofang Zhou, Sanglu Lu