4555 search results - page 520 / 911 » Deductive Algorithmic Knowledge |
147
click to vote
DLOG
2008
15 years 8 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
161
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
152
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we introduce a scheme for tracking a magnetic nanoparticle in 3-D with the tip of a magnetic force microscope. The stray magnetic field of the magnetic particle induc...
132
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on...
138
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Blogs have become an important medium for people to express opinions and share information on the web. Predicting the interests of bloggers can be beneficial for information retri...