4385 search results - page 756 / 877 » Abstraction for Concurrent Objects |
DLOG
2007
15 years 1 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
EXACT
2008
15 years 1 months ago
2008
Abstract. Explanation and argumentation are fundamental to reasoning. They are therefore of some importance to artificial intelligence. Discourse-based reasoning (DBR) is a knowled...
83
Voted
WSC
2007
15 years 1 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
WSC
2007
15 years 1 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
AIRS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Dissimilarity measurement plays a crucial role in contentbased image retrieval, where data objects and queries are represented as vectors in high-dimensional content feat...