2436 search results - page 290 / 488 » Comonadic Notions of Computation |
193
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
223
click to vote
WIOPT
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— An important application of wireless sensor networks is to perform the monitoring missions, for example, to monitor some targets of interests at all times. Sensors are ...
164
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
185
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We define a natural notion of efficiency for approximate nearest-neighbor (ANN) search in general n-point metric spaces, namely the existence of a randomized algorithm which answ...
169
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...