1266 search results - page 114 / 254 » AS Relationships: Inference and Validation |
ENC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract. Open Mind Common Sense is a knowledge acquisition system designed to acquire commonsense knowledge from the general public over the web. We describe and evaluate our firs...
SIGMETRICS
2000
ACM
15 years 2 months ago
2000
ACM
Current Internet congestion control protocols operate independently on a per-flow basis. Recent work has demonstrated that cooperative congestion control strategies between flow...