Sciweavers

1043 search results - page 156 / 209
» Reading, Writing and Relations
Sort
View
ICDE
2002
IEEE
163views Database» more  ICDE 2002»
16 years 7 months ago
Keyword Searching and Browsing in Databases using BANKS
With the growth of the Web, there has been a rapid increase in the number of users who need to access online databases without having a detailed knowledge of the schema or of quer...
Gaurav Bhalotia, Arvind Hulgeri, Charuta Nakhe, So...
POPL
2006
ACM
16 years 6 months ago
Small bisimulations for reasoning about higher-order imperative programs
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
Vasileios Koutavas, Mitchell Wand
ADC
2007
Springer
164views Database» more  ADC 2007»
16 years 14 days ago
Computer Assisted Assessment of SQL Query Skills
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...
Stijn Dekeyser, Michael de Raadt, Tien Yu Lee
MICAI
2007
Springer
16 years 13 days ago
Enrichment of Automatically Generated Texts Using Metaphor
Computer-generated texts are yet far from human-generated ones. Along with the limited use of vocabulary and syntactic structures sent, their lack of creativeness and abstraction i...
Raquel Hervás, Rui P. Costa, Hugo Costa, Pa...
UML
2001
Springer
15 years 10 months ago
On Querying UML Data Models with OCL
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
David H. Akehurst, Behzad Bordbar