36320 search results - page 259 / 7264 » From Code to Models |
158
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This and the accompanying paper present an overview of the face and body animation object in the MPEG-4 Version 2 standard. The MPEG-4 standard includes the representation, compre...
189
click to vote
PPSC
1997
15 years 8 months ago
1997
We illustrate how Fortran 90 supports object-oriented concepts by example of plasma particle computations on the IBM SP. Our experience shows that Fortran 90 and object-oriented m...
183
click to vote
STOC
2006
ACM
16 years 6 months ago
2006
ACM
For every 0 < R < 1 and > 0, we present an explicit construction of error-correcting codes of rate R that can be list decoded in polynomial time up to a fraction (1 - R ...
205
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
