Sciweavers

4270 search results - page 50 / 854
» A Permutation Approach to Validation
Sort
View
ASIACRYPT
2009
Springer
15 years 6 months ago
A Modular Design for Hash Functions: Towards Making the Mix-Compress-Mix Approach Practical
The design of cryptographic hash functions is a very complex and failure-prone process. For this reason, this paper puts forward a completely modular and fault-tolerant approach to...
Anja Lehmann, Stefano Tessaro
ISBI
2007
IEEE
15 years 6 months ago
Validation of a New Optimisation Algorithm for Registration Tasks in Medical Imaging
A number of problems frequently encountered in brain image analysis can be conveniently solved within a registration framework, such as alignment of mono- or multi-sequence Magnet...
Nicolas Wiest-Daesslé, Sylvain Prima, Sean ...
ECTEL
2007
Springer
15 years 6 months ago
Cross-System Validation of Engagement Prediction from Log Files
Engagement is an important aspect of effective learning. Time spent using an e-Learning system is not quality time if the learner is not engaged. Tracking student disengagement wou...
Mihaela Cocea, Stephan Weibelzahl
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 5 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ER
2004
Springer
139views Database» more  ER 2004»
15 years 5 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...