3758 search results - page 203 / 752 » A Complete Subsumption Algorithm |
115
click to vote
PPDP
2010
Springer
15 years 6 days ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
129
click to vote
APPROX
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we derive bounds on performance guarantees of online algorithms for real-time preemptive scheduling of jobs with deadlines on K machines when jobs are characterized ...
236
click to vote
Book
"From an applications viewpoint, the main reason to study the subject of these notes is to help deal with the complexity of describing random, time-varying functions. A random...
118
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
148
click to vote
AC
2003
Springer
15 years 7 months ago
2003
Springer
This tutorial introduces fingerprint recognition systems and their main components: sensing, feature extraction and matching. The basic technologies are surveyed and some state-of-...