Sciweavers

160 search results - page 15 / 32
» Translating Structured Database Schemas into Abstract Machin...
Sort
View
ITP
2010
172views Mathematics» more  ITP 2010»
13 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
GW
2007
Springer
135views Biometrics» more  GW 2007»
14 years 1 months ago
Enhancing a Sign Language Translation System with Vision-Based Features
Abstract. In automatic sign language translation, one of the main problems is the usage of spatial information in sign language and its proper representation and translation, e.g. ...
Philippe Dreuw, Daniel Stein, Hermann Ney
JISBD
2000
13 years 8 months ago
Databases and Natural Language Interfaces
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...
Porfírio P. Filipe, Nuno J. Mamede
ICEIS
2005
IEEE
14 years 1 months ago
Conditions for Interoperability
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
B. Nick Rossiter, Michael A. Heather
VLDB
1987
ACM
93views Database» more  VLDB 1987»
13 years 11 months ago
FAD, a Powerful and Simple Database Language
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
François Bancilhon, Ted Briggs, Setrag Khos...