11716 search results - page 182 / 2344 » Computable symbolic dynamics |
163
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
150
click to vote
ISSAC
2005
Springer
16 years 3 hour ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
113
click to vote
DCC
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a method for utilizing soft information in decoding of variable length codes (VLCs). When compared with traditional VLC decoding, which is performed using "hard&quo...
200
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
135
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This paper outlines a symbolic computational theory for recognizing variable spatial environments-The Theory of Cognitive Prism, (Dong 2005). This theory defines distance and orie...