1664 search results - page 38 / 333 » Towards Partial Reasoning |
107
click to vote
GLOBECOM
2010
IEEE
14 years 10 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...
116
click to vote
LICS
2010
IEEE
14 years 11 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...
73
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
114
Voted
IA
2006
15 years 25 days 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...
92
Voted
KR
2010
Springer
15 years 5 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...