Sciweavers

4592 search results - page 266 / 919
» Framework for Studying Substitution
Sort
View
DGCI
2006
Springer
15 years 11 months ago
A New 3D Parallel Thinning Scheme Based on Critical Kernels
Critical kernels constitute a general framework settled in the of abstract complexes for the study of parallel thinning in any dimension. We take advantage of the properties of thi...
Gilles Bertrand, Michel Couprie
AFP
1995
Springer
128views Formal Methods» more  AFP 1995»
15 years 11 months ago
Monads for Functional Programming
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
Philip Wadler
AIPS
2007
15 years 9 months ago
Cost-Sharing Approximations for h+
Relaxations based on (either complete or partial) ignoring delete effects of the actions provide the basis for some seminal classical planning heuristics. However, the palette of ...
Vitaly Mirkis, Carmel Domshlak
NIPS
2008
15 years 8 months ago
Fast Computation of Posterior Mode in Multi-Level Hierarchical Models
Multi-level hierarchical models provide an attractive framework for incorporating correlations induced in a response variable organized in a hierarchy. Model fitting is challengin...
Liang Zhang, Deepak Agarwal
SYRCODIS
2008
127views Database» more  SYRCODIS 2008»
15 years 8 months ago
On the Semantics of Updates in a Functional Language
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
Pavel Loupal