3225 search results - page 287 / 645 » Compiling Experience into Knowledge |
170
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
The enhancement of compressed video is considered. We present a general algorithm for processing the compressed data, with three variants of the algorithm having practical applica...
137
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
194
Voted
NCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
149
click to vote
ICDAR
2007
IEEE
16 years 28 days ago
2007
IEEE
This work relates to the implementation of a 2D conditional random field model in the context of document image analysis. Our model makes it possible to take variability into acco...
182
click to vote
ADMA
2007
Springer
16 years 24 days ago
2007
Springer
This paper uses an optimization approach to address the problem of conceptual clustering. The aim of AGAPE, which is based on the tabu-search meta-heuristic using split, merge and ...