2436 search results - page 187 / 488 » Comonadic Notions of Computation |
152
Voted
ICDCSW
2007
IEEE
15 years 11 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...
125
click to vote
SEMCO
2007
IEEE
15 years 11 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...
125
click to vote
SIBGRAPI
2007
IEEE
15 years 11 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...
129
click to vote
BIRTHDAY
2007
Springer
15 years 10 months 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...
134
Voted
CIE
2007
Springer
15 years 10 months 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...