1690 search results - page 97 / 338 » Applications of Metric Coinduction |
SRDS
2008
IEEE
14 years 4 months ago
2008
IEEE
A new generation of distributed systems and applications rely on the cooperation of diverse user populations motivated by self-interest. While they can utilize “reputation syste...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
IPPS
1996
IEEE
14 years 2 months ago
1996
IEEE
The distance transform (DT) and the medial axis transform (MAT) are two image computation tools used to extract the information about the shape and the position of the foreground ...
EH
2004
IEEE
14 years 2 months ago
2004
IEEE
In this paper we focus on the problem of making a model of the sensory apparatus from raw uninterpreted sensory data as defined by Pierce and Kuipers (Artificial Intelligence 92:1...
CSDA
2008
13 years 10 months ago
2008
This paper gives algorithms for determining real-valued univariate unimodal regressions, that is, for determining the optimal regression which is increasing and then decreasing. S...