Sciweavers

5344 search results - page 284 / 1069
» Privacy-Preserving Set Operations
Sort
View
AMAST
2010
Springer
14 years 11 months ago
Learning in a Changing World, an Algebraic Modal Logical Approach
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
Prakash Panangaden, Mehrnoosh Sadrzadeh
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
14 years 11 months ago
An adjoint method for second-order switching time optimization
Abstract-- Switched systems evolve over a sequence of continuous modes of operation, transitioning between modes in a discrete manner. Assuming a mode sequence is known, the evolut...
Timothy M. Caldwell, Todd D. Murphey
CORR
2011
Springer
157views Education» more  CORR 2011»
14 years 11 months ago
Fast and Faster: A Comparison of Two Streamed Matrix Decomposition Algorithms
With the explosion of the size of digital dataset, the limiting factor for decomposition algorithms is the number of passes over the input, as the input is often stored out-of-cor...
Radim Rehurek
PAMI
2011
14 years 11 months ago
Large Displacement Optical Flow: Descriptor Matching in Variational Motion Estimation
—Optical flow estimation is classically marked by the requirement of dense sampling in time. While coarse-to-fine warping schemes have somehow relaxed this constraint, there is...
Thomas Brox, Jitendra Malik
PAMI
2011
14 years 11 months ago
Learning Linear Discriminant Projections for Dimensionality Reduction of Image Descriptors
This paper proposes a general method for improving image descriptors using discriminant projections. Two methods based on Linear Discriminant Analysis have been recently introduce...
Hongping Cai, Krystian Mikolajczyk, Jiri Matas