861 search results - page 103 / 173 » A General Framework for Knowledge Compilation |
ICALT
2003
IEEE
15 years 3 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
ICAIL
2003
ACM
15 years 3 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
BIS
2007
14 years 11 months ago
2007
Applications written for mobile devices have become more and more complex, adjusting to the constantly improving computational power of hardware. With the growing application size ...
HPDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Scientists working in eScience environments often use workflows to carry out their computations. Since the workflows evolve as the research itself evolves, these workflows can be ...
100
click to vote
ICCV
2009
IEEE
14 years 7 months ago
2009
IEEE
Image annotation has been an active research topic in the recent years due to its potentially large impact on both image understanding and web/database image search. In this paper...