Sciweavers

4743 search results - page 309 / 949
» The PlusCal Algorithm Language
Sort
View
COMAD
2008
15 years 5 months ago
The Efficient Maintenance of Access Roles with Role Hiding
Role-based access control (RBAC) has attracted considerable research interest. However, the computational issues of RBAC models are yet to be thoroughly studied. In this paper, we...
Chaoyi Pang, Xiuzhen Zhang, Yanchun Zhang, Kotagir...
DLOG
2006
15 years 5 months ago
Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...
Vladimir Kolovski, Bijan Parsia, Evren Sirin
ACL
1998
15 years 5 months ago
Bitext Correspondences through Rich Mark-up
Rich mark-up can considerably benefit the process of establishing bitext correspondences, that is, the task of providing correct identification and alignment methods for text segm...
Raquel Martínez, Joseba Abaitua, Arantza Ca...
AAAI
1993
15 years 5 months ago
Supporting and Optimizing Full Unification in a Forward Chaining Rule System
The Rete and Treat algorithms are considered the most efficient implementation techniques for Forward Chaining rule systems. These algorithms support a language of limited express...
Howard E. Shrobe
FORTE
1989
15 years 5 months ago
Compilation of LOTOS Abstract Data Types
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
Hubert Garavel