2032 search results - page 40 / 407 » Encodings of the Sequence Constraint |
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
118
click to vote
ORDER
2010
14 years 10 months ago
2010
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
105
click to vote
DAC
1994
ACM
15 years 3 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
104
click to vote
TIFS
2008
14 years 11 months ago
2008
Performance of biometric-based recognition systems depends on various factors: database quality, image preprocessing, encoding techniques, etc. Given a biometric database and a se...
SGP
2003
15 years 1 months ago
2003
Any quantization introduces errors. An important question is how to suppress their visual effect. In this paper we present a new quantization method for the geometry of 3D meshes,...