214 search results - page 30 / 43 » Optimisation of Terminological Reasoning |
CAMAD
2009
IEEE
14 years 1 months ago
2009
IEEE
This paper describes SSSim, the Simple and Scalable Simulator for P2P streaming systems. SSSim is designed for performance and scalability, and allows the simulation of the diffus...
SEMWEB
2001
Springer
14 years 1 months ago
2001
Springer
Resource discovery is a problem common to almost all distributed systems. Instead of resulting in a one or a small number of discovery mechanisms, completely different and incompa...
ICFEM
2007
Springer
14 years 14 days ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
ECAI
2006
Springer
14 years 9 days ago
2006
Springer
The fundamental operation of dominance testing, i.e., determining if one alternative is preferred to another, is in general very hard for methods of reasoning with qualitative cond...
ACL
2008
13 years 10 months ago
2008
Large-scale discriminative machine translation promises to further the state-of-the-art, but has failed to deliver convincing gains over current heuristic frequency count systems....