Sciweavers

1941 search results - page 100 / 389
» On the Hardness of Approximate Reasoning
Sort
View
DLOG
2011
14 years 10 months ago
Paraconsistent Rough Description Logic
Abstract. In this paper, we introduce a paraconsistent extension of Rough Description Logics which allows the representation of incomplete and contradictory concepts, as well as th...
Henrique Viana, João Alcântara, Ana T...
ICCBR
1999
Springer
15 years 10 months ago
Automatic Conversion of VHDL Programs into Cases
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
Paulo Gomes, Carlos Bento
AAAI
2007
15 years 8 months ago
Complexity Boundaries for Horn Description Logics
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i....
Markus Krötzsch, Sebastian Rudolph, Pascal Hi...
CIKM
1997
Springer
15 years 10 months ago
Block Addressing Indices for Approximate Text Retrieval
Although the issue of approximate text retrieval is gaining importance in the last years, it is currently addressed by only a few indexing schemes. To reduce space requirements, t...
Ricardo A. Baeza-Yates, Gonzalo Navarro
STOC
2009
ACM
271views Algorithms» more  STOC 2009»
16 years 7 months ago
A fast and efficient algorithm for low-rank approximation of a matrix
The low-rank matrix approximation problem involves finding of a rank k version of a m ? n matrix AAA, labeled AAAk, such that AAAk is as "close" as possible to the best ...
Nam H. Nguyen, Thong T. Do, Trac D. Tran