144 search results - page 8 / 29 » An Automatic Correction Tool for Relational Algebra Queries |
ADC
2007
Springer
14 years 1 months ago
2007
Springer
Structured Query Language (SQL) is the dominant language for querying relational databases today, and is an essential topic in introductory database courses in higher education. E...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
EDBT
2009
ACM
13 years 11 months ago
2009
ACM
In a world of wide-scale information sharing, the decentralized coordination has to consolidate a variety of heterogeneity. Shared data are described in different formats, i.e. da...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
As web-enhanced courses become more successful, they put considerable burdens on instructors and teaching assistants. We present our work on developing software tools to support in...
CIVR
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we discuss the use of knowledge for the analysis and semantic retrieval of video. We follow a fuzzy relational approach to knowledge representation, based on which we...