9145 search results - page 211 / 1829 » Description Logic Systems |
185
click to vote
FPGA
2004
ACM
15 years 12 months ago
2004
ACM
Unlike its predecessors, MPEG-7 standardizes multimedia metadata description. By providing robust descriptors and an effective system for storing them, MPEG-7 is designed to provi...
198
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
185
click to vote
COLING
2010
15 years 1 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
186
click to vote
ECML
2007
Springer
16 years 20 days ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...
167
click to vote
ICSR
2009
Springer
15 years 11 months ago
2009
Springer
Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few n...