7988 search results - page 1128 / 1598 » A Useful Undecidable Theory |
202
click to vote
PC
2006
15 years 7 months ago
2006
Trees are important datatypes that are often used in representing structured data such as XML. Though trees are widely used in sequential programming, it is hard to write efficien...
184
click to vote
IJAR
2007
15 years 7 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
269
click to vote
SIAMSC
2008
15 years 7 months ago
2008
Abstract. We propose and study a block-iterative projections method for solving linear equations and/or inequalities. The method allows diagonal component-wise relaxation in conjun...
197
click to vote
SLOGICA
2008
15 years 7 months ago
2008
In the paper we explore the idea of describing Pawlak's rough sets using three-valued logic, whereby the value t corresponds to the positive region of a set, the value f -- to...
204
click to vote
TCSV
2008
15 years 7 months ago
2008
Abstract--This paper presents a novel particle allocation approach to particle filtering which minimizes the total tracking distortion for a fixed number of particles over a video ...