Sciweavers

5434 search results - page 847 / 1087
» Semantic information portals
Sort
View
DBSEC
2006
160views Database» more  DBSEC 2006»
15 years 8 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
CLIN
2001
15 years 8 months ago
Corpus-based Acquisition of Collocational Prepositional Phrases
Collocational prepositional phrases like ten koste van (at the expense of), met het oog op (with an eye on), and onder het mom van (under the pretext of) are patterns of the form ...
Gosse Bouma, Begoña Villada
FDBS
2001
92views more  FDBS 2001»
15 years 8 months ago
Integrating Data and Probabilistically Structured Text Documents
Commercial, non-profit and public organizations are accumulating huge amounts of electronically available text documents. Although composed of unstructured texts, documents contai...
Karsten Winkler, Myra Spiliopoulou
FLAIRS
2003
15 years 8 months ago
Automated Data Fusion and Situation Assessment in Space Systems
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
Mark L. Hanson, Paul G. Gonsalves
FMOODS
2003
15 years 8 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...