2474 search results - page 283 / 495 » Using Knowledge Management Systems to Structure Knowledgeabl... |
153
click to vote
AAAI
1996
15 years 7 months ago
1996
Rule induction research implicitly assumes that after producing the rules from a dataset, these rules will be used directly by an expert system or a human user. In real-life appli...
152
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
136
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Locating files based on file system structure, file properties, and maybe even file contents is a core task of the user interface of operating systems. By adapting XPath's po...
173
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
170
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...