Sciweavers

5482 search results - page 652 / 1097
» Logic Programming and Databases
Sort
View
SIGCSE
2008
ACM
144views Education» more  SIGCSE 2008»
15 years 6 months ago
Geographic information systems: real world applications for computer science
: This paper discusses the development and delivery of an upper level computer science elective course in geographic information systems (GIS). GIS applications span numerous and d...
Wendy Zhang, Theresa Beaubouef
CORR
2002
Springer
96views Education» more  CORR 2002»
15 years 6 months ago
Models and Tools for Collaborative Annotation
The Annotation Graph Toolkit (AGTK) is a collection of software which facilitates development of linguistic annotation tools. AGTK provides a database interface which allows appli...
Xiaoyi Ma, Haejoong Lee, Steven Bird, Kazuaki Maed...
SIGMOD
2009
ACM
161views Database» more  SIGMOD 2009»
16 years 7 months ago
Automated SQL tuning through trial and (sometimes) error
SQL tuning--the attempt to improve a poorly-performing execution plan produced by the database query optimizer-is a critical aspect of database performance tuning. Ironically, as ...
Herodotos Herodotou, Shivnath Babu
PODS
2008
ACM
174views Database» more  PODS 2008»
16 years 7 months ago
Epistemic privacy
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
Alexandre V. Evfimievski, Ronald Fagin, David P. W...
CSL
2006
Springer
15 years 10 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser