3776 search results - page 652 / 756 » Partition-Based Logical Reasoning |
TIME
2008
IEEE
14 years 2 months ago
2008
IEEE
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....
TIME
2008
IEEE
14 years 2 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...