Trefferliste "Computer-AidedDesignandVerification" - alle Bücher, CDs, LPs und mehr

Speech and Computer

.- Automatic Speech Recognition. .- In-Domain SSL Pre-Training and Streaming ASR: Application to Air Traffic Control Communications. .- Evaluating the Performance of Several ASR Systems in Environmental a…

Speech and Computer

.- Invited Paper. .- Towards Responsible Multimodal Modeling for Mental Healthcare. .- Speech Perception and Synthesis. .- When Voice Matters: Evidence of Gender Disparity in Positional Bias of SpeechLLMs…

Kraftwerk

The Mix

Computer Security - ESORICS 2025

.- QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol. .- Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors. .- No Root, No Problem: Automating Linux Least Privilege and…

Computer Security - ESORICS 2025

.- A Certified-Input Mixnet from Two-Party Mercurial Signatures on Randomizable Ciphertexts. .- Tetris! Traceable Extendable Threshold Ring Signatures and More. .- Efficient One-Pass Private Set Intersect…

Computer Security - ESORICS 2025

.- Transparency and Consent Challenges in mHealth Apps: An Interdisciplinary Study of Privacy Policies, Data Sharing, and Dark Patterns. .- Don't Hash Me Like That: Exposing and Mitigating Hash-Induced Un…

Advances in Computer Graphics

The three-volume set LNCS 16507, 16508 and 16509 constitutes the refereed proceedings from the 42nd Computer Graphics International Conference, CGI 2025, held in Hong Kong, China, during July 14--18, 2025…

Advances in Computer Graphics

The three-volume set LNCS 16507, 16508 and 16509 constitutes the refereed proceedings from the 42nd Computer Graphics International Conference, CGI 2025, held in Hong Kong, China, during July 14--18, 2025…

Computer Security - ESORICS 2025

.- Time-Distributed Backdoor Attacks on Federated Spiking Learning. .- TATA: Benchmark NIDS Test Sets Assessment and Targeted Augmentation. .- Abuse-Resistant Evaluation of AI-as-a-Service via Function-Hi…

Advances in Computer Graphics

The three-volume set LNCS 16507, 16508 and 16509 constitutes the refereed proceedings from the 42nd Computer Graphics International Conference, CGI 2025, held in Hong Kong, China, during July 14--18, 2025…

Scott Krig

Computer Vision Metrics

This 2nd Edition, based on the successful 2016 textbook, has been updated and expanded to cover 3rd generation Computer Vision and AI as it supersedes historical visual computing methods, providing a comp…

Eric G. Swedin, David L. Ferro

The Computer

This book, aimed at general readers, covers the entirety of computing history from antiquity to the present, placing the story of computing into the broader context of politics, economics, society, and mo…

Computer Supported Education

This book constitutes the revised selected papers from the 16th International Conference on Computer Supported Education, CSEDU 2024, held in Angers, France, during May 2--4, 2024. The 17 full papers and …

Computer Performance Engineering

This book constitutes the proceedings of the 22nd European Workshop on Performance Engineering, EPEW 2026, held in Grimstad, Norway, during June 24--26, 2026.The 11 full papers included in this volume wer…

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and …

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and …

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and …

Applied Computer Science

This book constitutes the proceedings of the 11th Spanish German Symposium on Applied Computer Science, SGSOACS 2025, held in Vienna, Austria, during June 30--July 3, 2025.The 11 full papers were carefull…

Speech and Computer

This two-volume set LNAI16934 - 16935 constitutes the refereed proceedings of the 28th International Conference on Speech and Computer SPECOM 2026, held in Ohrid, North Macedonia, during September 17--18,…