Sciweavers

3229 search results - page 217 / 646
» Theories with the Independence Property
Sort
View
TOPLAS
2008
79views more  TOPLAS 2008»
15 years 5 months ago
Witnessing side effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alex Aiken
MA
2010
Springer
122views Communications» more  MA 2010»
15 years 5 months ago
Thresholding methods to estimate copula density
Abstract: This paper deals with the problem of multivariate copula density estimation. Using wavelet methods we provide two shrinkage procedures based on thresholding rules for whi...
F. Autin, E. Le Pennec, K. Tribouley
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
15 years 1 months ago
Evolution of the perception about the opponent in hypergames
This paper studies the evolution of the perceptions of players about the game they are involved in using the framework of hypergame theory. The focus is on developing methods that ...
Bahman Gharesifard, Jorge Cortes
DCG
2011
15 years 1 months ago
Random Geometric Complexes
We study the expected topological properties of ˇCech and Vietoris-Rips complexes built on random points in Rd . We find higher dimensional analogues of known results for connect...
Matthew Kahle
JAPLL
2011
92views more  JAPLL 2011»
15 years 1 months ago
Norms as ascriptions of violations: An analysis in modal logic
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
Davide Grossi