Sciweavers

2436 search results - page 4 / 488
» Comonadic Notions of Computation
Sort
View
GBRPR
2007
Springer
14 years 1 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 11 months ago
A Unified Notion of Outliers: Properties and Computation
Edwin M. Knorr, Raymond T. Ng
BIRTHDAY
2000
Springer
13 years 11 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
14 years 21 days ago
Toward a decidable notion of sequential consistency
Jesse D. Bingham, Anne Condon, Alan J. Hu
SPAA
1997
ACM
13 years 11 months ago
Temporal Notions of Synchronization and Consistency in Beehive
Aman Singla, Umakishore Ramachandran, Jessica K. H...