Sciweavers

524 search results - page 81 / 105
» Representation and Reasoning on RBAC: A Description Logic Ap...
Sort
View
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
14 years 1 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
MKWI
2008
113views Business» more  MKWI 2008»
13 years 10 months ago
A Rule-based Middleware for Business Process Execution
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
Adrian Paschke, Alexander Kozlenkov
AIL
2007
126views more  AIL 2007»
13 years 8 months ago
A web ontologies framework for digital rights management
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
Roberto García, Rosa Gil, Jaime Delgado
CIVR
2009
Springer
174views Image Analysis» more  CIVR 2009»
14 years 3 months ago
Evaluation of GIST descriptors for web-scale image search
The GIST descriptor has recently received increasing attention in the context of scene recognition. In this paper we evaluate the search accuracy and complexity of the global GIST...
Matthijs Douze, Herve Jegou, Harsimrat Sandhawalia...
KR
1992
Springer
14 years 24 days ago
Conversational Events and Discourse State Change: A Preliminary Report
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
Massimo Poesio