2436 search results - page 85 / 488 » Comonadic Notions of Computation |
151
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
189
click to vote
DKE
2011
14 years 10 months ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
151
click to vote
JUCS
2010
14 years 10 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
120
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This work studies distributed linear transmission strategies for the multiple-input multiple-output (MIMO) interference channel with multiple concurrent links. We introduce the no...
131
click to vote
ISBI
2009
IEEE
15 years 10 months ago
2009
IEEE
We present the application of a novel nonparametric approach to restoration and interpolation of medical images. The proposed approach is based on the notion of spatially adaptive...