In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
Despite its long history and its benefits, software reuse has yet to become a common practise among software programmers. While there is much ongoing research, it focuses on larg...
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
Douglas Densmore, Adam Donlin, Alberto L. Sangiova...
The main objective of this pilot study is to improve our understanding of the potential of RFID in the context of warehousing activities in one specific supply chain in the retail...
As local law enforcement organizations continue to embrace IT, the successful management of these technologies will continue to have expanding implications for the municipal organ...