2989 search results - page 231 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
109
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
115
Voted
CJ
2008
15 years 2 months ago
2008
We will describe three kinds of probabilistic induction problems, and give general solutions for each , with associated convergence theorems that show they tend to give good proba...
119
Voted
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
In this paper, we formulate the stereo matching problem as a Markov network consisting of three coupled Markov random fields (MRF's). These three MRF's model a smooth fie...
128
Voted
SIGIR
2005
ACM
15 years 8 months ago
2005
ACM
Memory-based approaches for collaborative filtering identify the similarity between two users by comparing their ratings on a set of items. In the past, the memory-based approache...
139
Voted
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Concurrency levels in large-scale supercomputers are rising exponentially, and shared-memory nodes with hundreds of cores and non-uniform memory access latencies are expected with...