1285 search results - page 220 / 257 » Description Logic Reasoner: System Description |
116
click to vote
FPGA
2004
ACM
15 years 6 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...
126
click to vote
COLING
2010
14 years 8 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...
110
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
126
click to vote
HICSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...