1699 search results - page 184 / 340 » On the Expressive Power of QLTL |
187
click to vote
RBAC
1997
15 years 7 months ago
1997
The RBAC metaphor is powerful in its ability to express access control policy in terms of the way in which administrators view organizations. The functionality of simple Role Base...
175
click to vote
DLOG
1996
15 years 7 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
170
click to vote
DLOG
1996
1996
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
15 years 7 months ago
The success of schema integration in multidatabase systems relies heavily on the determination of complete and refined correspondence relationships between them. So, the candidate...
181
click to vote
IJCAI
1989
15 years 7 months ago
1989
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
183
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...