3793 search results - page 578 / 759 » Expressive Description Logics |
180
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
157
click to vote
FUZZIEEE
2007
IEEE
16 years 25 days ago
2007
IEEE
— This paper discusses ways of navigating online contact networks - networks of social connections defined under a relational context - on a way that can provide much more meani...
171
click to vote
FUZZIEEE
2007
IEEE
16 years 25 days ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
170
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
152
click to vote
ICDAR
2007
IEEE
16 years 24 days ago
2007
IEEE
In this article, we propose a method of characterization of pictures of old documents based on a texture approach. This characterization is carried out with the help of a multires...