7991 search results - page 416 / 1599 » Using More Reasoning to Improve |
181
click to vote
EVOW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Overcompression is the process of post-processing compressed images to gain either further size reduction or improved quality. This is made possible by the fact that the ...
199
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
168
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
155
click to vote
DCC
2003
IEEE
16 years 6 months ago
2003
IEEE
Video codecs that use motion compensation have recently achieved performance improvements from the use of intra/inter mode switching decisions within a ratedistortion framework. A...
185
click to vote
JCDL
2003
ACM
16 years 4 days ago
2003
ACM
Content-based image retrieval uses features that can be extracted from the images themselves. Using more than one representation of the images in a collection can improve the resu...