Sciweavers

11797 search results - page 353 / 2360
» Recent Developments in the Experimental
Sort
View
ICA
2004
Springer
16 years 6 days ago
Blind Maximum Likelihood Separation of a Linear-Quadratic Mixture
Abstract. We proposed recently a new method for separating linearquadratic mixtures of independent real sources, based on parametric identification of a recurrent separating struc...
Shahram Hosseini, Yannick Deville
ICDCIT
2004
Springer
16 years 5 days ago
Secure Requirements Elicitation Through Triggered Message Sequence Charts
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
Arnab Ray, Bikram Sengupta, Rance Cleaveland
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
16 years 5 days ago
Constructing Polymorphic Programs with Quotient Types
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
Michael Abbott, Thorsten Altenkirch, Neil Ghani, C...
PATMOS
2004
Springer
16 years 5 days ago
Delay Evaluation of High Speed Data-Path Circuits Based on Threshold Logic
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...
Peter Celinski, Derek Abbott, Sorin Cotofana
AVSS
2003
IEEE
16 years 3 days ago
A Survey of Camera Self-Calibration
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
Elsayed E. Hemayed