4047 search results - page 328 / 810 » Algebraic Model Checking |
161
click to vote
ECCC
2007
15 years 6 months ago
2007
An error correcting code is said to be locally testable if there is a test that checks whether a given string is a codeword, or rather far from the code, by reading only a constan...
161
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
A class of one-dimensional convolutional codes will be presented. They are all MDS codes, i. e., have the largest distance among all one-dimensional codes of the same length n and...
158
click to vote
ICDM
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, we propose a text representation model, Tensor Space Model (TSM), which models the text by multilinear algebraic high-order tensor instead of the traditional vector...
178
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
184
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...