2436 search results - page 220 / 488 » Comonadic Notions of Computation |
165
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
152
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
170
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
216
click to vote
SAINT
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a system that enables applications to discover and obtain information that describes the context of a particular entity (e.g., a user or a device). Our system revolves ...
185
click to vote
TASE
2007
IEEE
16 years 29 days ago
2007
IEEE
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...