861 search results - page 12 / 173 » A General Framework for Knowledge Compilation |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The availability of positional information is of great importance in many commercial, public safety, and military applications. The coming years will see the emergence of locationa...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
— We design truthful double spectrum auctions where multiple parties can trade spectrum based on their individual needs. Open, market-based spectrum trading motivates existing sp...
IJCAI
2001
13 years 9 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
ICIP
1995
IEEE
14 years 10 months ago
1995
IEEE
A 3D super-resolution algorithm is proposed below, based on a probabilistic interpretation of the ndimensional version of Papoulis' generalized sampling theorem. The algorith...
FOSSACS
2000
Springer
14 years 1 days ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...