441 search results - page 27 / 89 » A Method for Proving Observational Equivalence |
149
click to vote
ICDM
2007
IEEE
15 years 9 months ago
2007
IEEE
Data discretization is defined as a process of converting continuous data attribute values into a finite set of intervals with minimal loss of information. In this paper, we prove...
157
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
165
click to vote
TIP
2010
15 years 8 days ago
2010
We propose a new fast algorithm for solving one of the standard formulations of image restoration and reconstruction which consists of an unconstrained optimization problem where t...
151
click to vote
ATAL
2009
Springer
16 years 4 days ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
162
click to vote
ICPR
2008
IEEE
16 years 5 hour ago
2008
IEEE
We present a new approach to the general problem of template-based segmentation, detection, and registration. This joint problem is highly nonlinear and high dimensional, due to t...