5423 search results - page 160 / 1085 » Denial-of-service in automation systems |
149
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Automated techniques to diagnose the cause of system failures based on monitoring data is an active area of research at the intersection of systems and machine learning. In this p...
197
click to vote
DLOG
2007
15 years 8 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
155
click to vote
DLOG
2003
15 years 8 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
155
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...
152
click to vote
DLOG
1996
15 years 7 months ago
1996
Ford Motor Company's Direct Labor Management System (DLMS) utilizes knowledgerepresentation schemebased on the KL-ONEfamily of languages to represent the world of automobile ...