Sciweavers

1564 search results - page 190 / 313
» Extensions to the Estimation Calculus
Sort
View
144
Voted
BMVC
2010
15 years 2 months ago
Moving Camera Registration for Multiple Camera Setups in Dynamic Scenes
Many practical applications require an accurate knowledge of the extrinsic calibration (i.e., pose) of a moving camera. The existing SLAM and structure-from-motion solutions are n...
Evren Imre, Jean-Yves Guillemaut, Adrian Hilton
CISC
2009
Springer
186views Cryptology» more  CISC 2009»
15 years 2 months ago
Hardware Framework for the Rabbit Stream Cipher
Rabbit is a software-oriented synchronous stream cipher with very strong security properties and support for 128-bit keys. Rabbit is part of the European Union's eSTREAM portf...
Deian Stefan
COR
2011
14 years 11 months ago
Faster integer-feasibility in mixed-integer linear programs by branching to force change
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods f...
Jennifer Pryor, John W. Chinneck
CORR
2011
Springer
206views Education» more  CORR 2011»
14 years 11 months ago
Convergence analysis of a proximal Gauss-Newton method
Abstract An extension of the Gauss-Newton algorithm is proposed to find local minimizers of penalized nonlinear least squares problems, under generalized Lipschitz assumptions. Co...
Saverio Salzo, Silvia Villa
135
Voted
COLING
2010
14 years 11 months ago
Data-Driven Parsing with Probabilistic Linear Context-Free Rewriting Systems
This paper presents a first efficient implementation of a weighted deductive CYK parser for Probabilistic Linear ContextFree Rewriting Systems (PLCFRS), together with context-summ...
Laura Kallmeyer, Wolfgang Maier