Sciweavers

3044 search results - page 69 / 609
» Linear logical approximations
Sort
View
ASPDAC
2007
ACM
114views Hardware» more  ASPDAC 2007»
14 years 26 days ago
Automating Logic Rectification by Approximate SPFDs
Yu-Shen Yang, Subarnarekha Sinha, Andreas G. Vener...
AAAI
2007
13 years 11 months ago
On the Approximation of Instance Level Update and Erasure in Description Logics
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...