Sciweavers

2436 search results - page 4 / 488
» Comonadic Notions of Computation
Sort
View
GBRPR
2007
Springer
13 years 11 months ago
Extending the Notion of AT-Model for Integer Homology Computation
Rocío González-Díaz, Mar&iacu...
KDD
1997
ACM
91views Data Mining» more  KDD 1997»
13 years 9 months ago
A Unified Notion of Outliers: Properties and Computation
Edwin M. Knorr, Raymond T. Ng
BIRTHDAY
2000
Springer
13 years 9 months ago
Bistructures, bidomains, and linear logic
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Wins...
SPAA
2003
ACM
13 years 10 months ago
Toward a decidable notion of sequential consistency
Jesse D. Bingham, Anne Condon, Alan J. Hu
SPAA
1997
ACM
13 years 9 months ago
Temporal Notions of Synchronization and Consistency in Beehive
Aman Singla, Umakishore Ramachandran, Jessica K. H...