17366 search results - page 390 / 3474 » New Revision Algorithms |
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
153
click to vote
FOCM
2008
15 years 6 months ago
2008
We develop new computational algorithms, based on the method of equivariant moving frames, for classifying the differential invariants of Lie symmetry pseudo-groups of differential...
199
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...
208
click to vote
TWC
2010
15 years 1 months ago
2010
Relay selection for cooperative communications promises significant performance improvements, and is, therefore, attracting, considerable attention. While several criteria have be...
195
click to vote
PDPTA
2004
15 years 8 months ago
2004
Random data placement has recently emerged as an alternative to traditional data striping. From a performance perspective, it has been demonstrated to be an efficient and scalable...