3793 search results - page 148 / 759 » Expressive Description Logics |
148
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
128
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
153
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
118
click to vote
CIDR
2009
15 years 5 months ago
2009
In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement ...
138
click to vote
IJCSS
2007
15 years 4 months ago
2007
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...