2436 search results - page 224 / 488 » Comonadic Notions of Computation |
176
click to vote
ITNG
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, still images are modeled by hierarchical tree structures and object relational graphs. These modeling concepts can be described naturally using XML schema. We intro...
191
click to vote
RTCSA
2006
IEEE
16 years 21 days ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
150
click to vote
SEFM
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
172
click to vote
SIGIR
2006
ACM
16 years 20 days ago
2006
ACM
This paper introduces a general framework for the use of translation probabilities in cross-language information retrieval based on the notion that information retrieval fundament...
177
click to vote
ICNP
2005
IEEE
16 years 9 days ago
2005
IEEE
Border Gateway Protocol (BGP) is the de facto standard used for interdomain routing. Since packet forwarding may not be possible until stable routes are learned, it is not only cr...