Sciweavers

2776 search results - page 405 / 556
» System-Level Abstraction Semantics
Sort
View
LREC
2008
153views Education» more  LREC 2008»
15 years 8 months ago
Extracting and Querying Relations in Scientific Papers on Language Technology
We describe methods for extracting interesting factual relations from scientific texts in computational linguistics and language technology taken from the ACL Anthology. We use a ...
Ulrich Schäfer, Hans Uszkoreit, Christian Fed...
VMV
2008
131views Visualization» more  VMV 2008»
15 years 8 months ago
Towards unsupervised reconstruction of architectural models
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...
Michela Farenzena, Andrea Fusiello, Riccardo Ghera...
CIC
2004
101views Communications» more  CIC 2004»
15 years 7 months ago
Lexicons in TIL and Verb Valency Frames
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
Ales Horák, Karel Pala
DBSEC
2006
160views Database» more  DBSEC 2006»
15 years 7 months ago
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
Joachim Biskup, Lena Wiese
GVD
2004
111views Database» more  GVD 2004»
15 years 7 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg