642 search results - page 37 / 129 » corr 2006 |
154
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relev...
123
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
A framework for virtual reality of engineering objects has been developed. This framework may simulate different equipment related to virtual reality. Framework supports 6D dynami...
165
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...
134
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...
141
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- In his thesis, Wiberg showed the existence of thresholds for families of regular low-density parity-check codes under min-sum algorithm decoding. He also derived analyti...