5128 search results - page 363 / 1026 » When Abstraction Fails |
189
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
204
click to vote
DATESO
2009
15 years 5 months ago
2009
Abstract. The searching for the shortest path in public transport networks can take more time than is acceptable for given situation. We have therefore searched for methods that sp...
229
Voted
DLOG
2009
15 years 5 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
197
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract: We consider application of Zadeh's impossibility principle and extended logic FLe to approximate scientific explanation from the standpoint of the philosophy of scie...
199
click to vote
ICISC
2009
15 years 5 months ago
2009
Abstract. The field of lightweight cryptography has developed significantly over recent years and many impressive implementation results have been published. However these results ...