Sciweavers

4008 search results - page 702 / 802
» An expressive language of signatures
Sort
View
SBIA
2004
Springer
15 years 11 months ago
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese
Automatic Summarization (AS) in Brazil has only recently become a significant research topic. When compared to other languages initiatives, such a delay can be explained by the lac...
Lucia Helena Machado Rino, Thiago Alexandre Salgue...
SEMWEB
2004
Springer
15 years 11 months ago
Working with Multiple Ontologies on the Semantic Web
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin
VLDB
2004
ACM
117views Database» more  VLDB 2004»
15 years 11 months ago
XQuery on SQL Hosts
Relational database systems may be turned into efficient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...
Torsten Grust, Sherif Sakr, Jens Teubner
CSFW
2003
IEEE
15 years 11 months ago
Using First-Order Logic to Reason about Policies
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
Joseph Y. Halpern, Vicky Weissman
HICSS
2003
IEEE
178views Biometrics» more  HICSS 2003»
15 years 11 months ago
A Contract and Rights Management Framework Design for Interacting Brokers
Contract and rights management – and thus property rights protection – has gained increasing importance as a quality standard in brokerage and electronic commerce environments...
Susanne Guth, Bernd Simon, Uwe Zdun