Sciweavers

2436 search results - page 4 / 488
» Comonadic Notions of Computation
Sort
View
GBRPR
2007
Springer
15 years 12 months ago
Extending the Notion of AT-Model for Integer Homology Computation
Rocío González-Díaz, Mar&iacu...
90
Voted
KDD
1997
ACM
91views Data Mining» more  KDD 1997»
15 years 9 months ago
A Unified Notion of Outliers: Properties and Computation
Edwin M. Knorr, Raymond T. Ng
BIRTHDAY
2000
Springer
15 years 10 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
15 years 11 months ago
Toward a decidable notion of sequential consistency
Jesse D. Bingham, Anne Condon, Alan J. Hu
SPAA
1997
ACM
15 years 10 months ago
Temporal Notions of Synchronization and Consistency in Beehive
Aman Singla, Umakishore Ramachandran, Jessica K. H...