Sciweavers

858 search results - page 69 / 172
» On the Salsa20 Core Function
Sort
View
RE
2001
Springer
14 years 1 months ago
Deriving Safety Requirements Using Scenarios
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
Karen Allenby, Tim Kelly
CVPR
1997
IEEE
14 years 11 months ago
Novel view synthesis in tensor space
We present a new method for synthesizing novel views of a 3D scene from few model images in full correspondence. The core of this work is the derivation of a tensorial operator th...
Shai Avidan, Amnon Shashua
VLSID
2008
IEEE
83views VLSI» more  VLSID 2008»
14 years 9 months ago
Efficient Linear Macromodeling via Discrete-Time Time-Domain Vector Fitting
We present a discrete-time time-domain vector fitting algorithm, called TD-VFz, for rational function macromodeling of port-to-port responses with discrete time-sampled data. The ...
Chi-Un Lei, Ngai Wong
FDL
2007
IEEE
14 years 3 months ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
ICA
2007
Springer
14 years 3 months ago
Optimization on the Orthogonal Group for Independent Component Analysis
Abstract. This paper derives a new algorithm that performs independent component analysis (ICA) by optimizing the contrast function of the RADICAL algorithm. The core idea of the p...
Michel Journée, Pierre-Antoine Absil, Rodol...