809 search results - page 105 / 162 » 04421 Abstracts Collection - Algebraic Methods in Computatio... |
CAV
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
114
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Most research on differential MIMO is based on spacetime block codes, aiming to achieve maximum transmit diversity and thus make the transmission more robust by the aid ...
130
click to vote
ISPDC
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— In this article, we propose a fully distributed algorithm for finding all primes in an given interval [2..n] (or (L, R), more generally), based on the SMER — Schedul...
123
click to vote
EUC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. H.264 provides various useful features such as improved coding efficiency and error robustness. These features enable mobile device to adopt H.264/AVC standard to achieve...
112
click to vote
CSL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...