Sciweavers

198 search results - page 34 / 40
» Computing the Algebraic Immunity Efficiently
Sort
View
CVPR
2007
IEEE
16 years 1 months ago
Learning Gaussian Conditional Random Fields for Low-Level Vision
Markov Random Field (MRF) models are a popular tool for vision and image processing. Gaussian MRF models are particularly convenient to work with because they can be implemented u...
Marshall F. Tappen, Ce Liu, Edward H. Adelson, Wil...
95
Voted
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 3 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
CAD
2010
Springer
14 years 11 months ago
A non-rigid cluster rewriting approach to solve systems of 3D geometric constraints
We present a new constructive solving approach for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large sy...
Hilderick A. van der Meiden, Willem F. Bronsvoort
76
Voted
ACCV
2010
Springer
14 years 6 months ago
Linear Solvability in the Viewing Graph
The Viewing Graph [1] represents several views linked by the corresponding fundamental matrices, estimated pairwise. Given a Viewing Graph, the tuples of consistent camera matrices...
Alessandro Rudi, Matia Pizzoli, Fiora Pirri
95
Voted
ASIACRYPT
2008
Springer
15 years 1 months ago
Strongly Multiplicative and 3-Multiplicative Linear Secret Sharing Schemes
Strongly multiplicative linear secret sharing schemes (LSSS) have been a powerful tool for constructing secure multi-party computation protocols. However, it remains open whether o...
Zhifang Zhang, Mulan Liu, Yeow Meng Chee, San Ling...