979 search results - page 26 / 196 » Footprints in Local Reasoning |
128
click to vote
VALUETOOLS
2006
ACM
15 years 7 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
138
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
The matching and retrieval of 2D shapes is an important
challenge in computer vision. A large number of shape
similarity approaches have been developed, with the main
focus bein...
140
Voted
ASP
2005
Springer
15 years 7 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
104
Voted
IJCAI
2003
15 years 3 months ago
2003
The benefits of modular representations arc well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to loc...
119
Voted
ESWS
2005
Springer
15 years 7 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...