Sciweavers

1182 search results - page 220 / 237
» Iterative Methods in Combinatorial Optimization
Sort
View
ECCV
2004
Springer
14 years 3 months ago
A Probabilistic Approach to Large Displacement Optical Flow and Occlusion Detection
This paper deals with the computation of optical flow and occlusion detection in the case of large displacements. We propose a Bayesian approach to the optical flow problem and s...
Christoph Strecha, Rik Fransens, Luc J. Van Gool
ITCC
2000
IEEE
14 years 2 months ago
Projection-Based Multiuser Receiver over Frequency Selective Channels
In multiuser communication, the receiver’s performance is degraded by multiuser interference (MUI) as well as multipath distortions. This paper aims at elimination of these side...
Zhengyuan (Daniel) Xu
KDD
1997
ACM
143views Data Mining» more  KDD 1997»
14 years 2 months ago
Anytime Exploratory Data Analysis for Massive Data Sets
Exploratory data analysis is inherently an iterative, interactive endeavor. In the context of massive data sets, however, many current data analysis algorithms will not scale appr...
Padhraic Smyth, David Wolpert
SIGSOFT
1996
ACM
14 years 2 months ago
Model Checking Large Software Specifications
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...
ATAL
2006
Springer
14 years 1 months ago
Decentralized planning under uncertainty for teams of communicating agents
Decentralized partially observable Markov decision processes (DEC-POMDPs) form a general framework for planning for groups of cooperating agents that inhabit a stochastic and part...
Matthijs T. J. Spaan, Geoffrey J. Gordon, Nikos A....