2436 search results - page 187 / 488 » Comonadic Notions of Computation |
190
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
167
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper aims to present ideas to bridge the gap between two conflicting views of information: Shannon information, which is used to model physical layer information, and se...
160
click to vote
SIBGRAPI
2007
IEEE
16 years 1 months ago
2007
IEEE
A good shape descriptor is necessary for automatically identifying landmarks on boundaries. Our method of boundary shape description is based on the notion of cscale, which is a n...
161
click to vote
BIRTHDAY
2007
Springer
16 years 29 days ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
168
click to vote
CIE
2007
Springer
16 years 29 days ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...