Sciweavers

4167 search results - page 562 / 834
» Evolutionary functional testing
Sort
View
MMSP
2008
IEEE
245views Multimedia» more  MMSP 2008»
16 years 28 days ago
A convex programming approach for color stereo matching
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
Wided Miled, Béatrice Pesquet-Popescu, Jean...
CEC
2007
IEEE
16 years 27 days ago
A simple genetic algorithm for music generation by means of algorithmic information theory
— Recent large scale experiments have shown that the Normalized Information Distance, an algorithmic information measure, is among the best similarity metrics for melody classiï¬...
Manuel Alfonseca, Manuel Cebrián, Alfonso O...
CSFW
2007
IEEE
16 years 26 days ago
Computationally Sound Mechanized Proofs of Correspondence Assertions
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Bruno Blanchet
DSD
2007
IEEE
114views Hardware» more  DSD 2007»
16 years 26 days ago
General Digit-Serial Normal Basis Multiplier with Distributed Overlap
We present the architecture of digit-serial normal basis multiplier over GF(2m ). The multiplier was derived from the multiplier of Agnew et al. Proposed multiplier is scalable by...
Martin Novotný, Jan Schmidt
HICSS
2007
IEEE
93views Biometrics» more  HICSS 2007»
16 years 26 days ago
Understanding CIO Role Effectiveness: The Antecedents and Consequents
This research-in-progress paper describes the development of a research model exploring the antecedents and consequents of CIO role effectiveness. Specifically, we argue that CIO ...
Daniel Q. Chen, David S. Preston