1664 search results - page 38 / 333 » Towards Partial Reasoning |
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
The design of crosstalk mitigation techniques for DSL broadband access systems has mainly focused on physical layer transmit rate maximization. However, for certain applications, u...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
KR
2004
Springer
14 years 1 months ago
2004
Springer
IA
2006
13 years 8 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
KR
2010
Springer
14 years 1 months ago
2010
Springer
There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, Cuenca Grau...