1632 search results - page 107 / 327 » Topological Analysis of Refinement |
88
Voted
IWFM
1998
15 years 8 days ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
PAMI
2006
14 years 11 months ago
2006
Data fusion and multicue data matching are fundamental tasks of high-dimensional data analysis. In this paper, we apply the recently introduced diffusion framework to address these...
80
Voted
APAL
2005
14 years 10 months ago
2005
We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of ...
TIT
2002
14 years 10 months ago
2002
We consider the design of asymmetric multiple description lattice quantizers that cover the entire spectrum of the distortion profile, ranging from symmetric or balanced to success...
86
Voted
WINE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...