Sciweavers

642 search results - page 37 / 129
» corr 2006
Sort
View
91
Voted
CORR
2006
Springer
123views Education» more  CORR 2006»
15 years 14 days ago
Context for models of concurrency
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...
Peter Bubenik
70
Voted
CORR
2006
Springer
106views Education» more  CORR 2006»
15 years 14 days ago
The virtual reality framework for engineering objects
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...
Petr R. Ivankov, Nikolay P. Ivankov
99
Voted
CORR
2006
Springer
121views Education» more  CORR 2006»
15 years 14 days ago
Elgot Algebras
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...
Jirí Adámek, Stefan Milius, Jiri Vel...
74
Voted
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 14 days ago
A Formal Foundation for ODRL
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...
Riccardo Pucella, Vicky Weissman
81
Voted
CORR
2006
Springer
115views Education» more  CORR 2006»
15 years 14 days ago
On the Block Error Probability of LP Decoding of LDPC Codes
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...
Ralf Koetter, Pascal O. Vontobel