Sciweavers

2436 search results - page 149 / 488
» Comonadic Notions of Computation
Sort
View
FOSSACS
2004
Springer
15 years 8 months ago
Unifying Recursive and Co-recursive Definitions in Sheaf Categories
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...
Pietro Di Gianantonio, Marino Miculan
ECAI
2006
Springer
15 years 8 months ago
Improving Bound Propagation
Abstract. This paper extends previously proposed bound propagation algorithm [11] for computing lower and upper bounds on posterior marginals in Bayesian networks. We improve the b...
Bozhena Bidyuk, Rina Dechter
ER
1995
Springer
120views Database» more  ER 1995»
15 years 7 months ago
Semantics of Time-Varying Attributes and their Use for Temporal Database Design
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...
Christian S. Jensen, Richard T. Snodgrass
ADMA
2005
Springer
134views Data Mining» more  ADMA 2005»
15 years 6 months ago
An LZ78 Based String Kernel
We develop the notion of normalized information distance (NID) [7] into a kernel distance suitable for use with a Support Vector Machine classifier, and demonstrate its use for an...
Ming Li, Ronan Sleep
DGCI
2008
Springer
15 years 6 months ago
Geometric Feature Estimators for Noisy Discrete Surfaces
Abstract. We present in this paper robust geometric feature estimators on the border of a possibly noisy discrete object. We introduce the notion of patch centered at a point of th...
Laurent Provot, Isabelle Debled-Rennesson