1960 search results - page 335 / 392 » The Logic of Large Enough |
SEMWEB
2009
Springer
14 years 1 months ago
2009
Springer
Scalable query answering over Description Logic (DL) based ontologies plays an important role for the success of the Semantic Web. Towards tackling the scalability problem, we prop...
ECSQARU
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
ISEC
2001
Springer
14 years 1 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...
MATA
2001
Springer
14 years 1 months ago
2001
Springer
As networks become all-pervasive the importance of efficient information gathering for purposes such as monitoring, fault diagnosis, and performance evaluation can only increase. E...
ITC
2000
IEEE
14 years 1 months ago
2000
IEEE
A common approachfor large industrial designs is to use logic built-in self-test (LBIST)followed by test data from an external tester. Because the fault coverage with LBIST alone ...