861 search results - page 12 / 173 » A General Framework for Knowledge Compilation |
62
Voted
CORR
2010
Springer
14 years 9 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...
68
Voted
INFOCOM
2009
IEEE
15 years 4 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
14 years 11 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
15 years 11 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...
98
Voted
FOSSACS
2000
Springer
15 years 1 months 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...