|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4850 occurrences of 2743 keywords
|
|
|
Results
Found 7711 publication records. Showing 7697 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Yinhe Han 0001, Yu Hu 0001, Huawei Li 0001, Xiaowei Li 0001, Anshuman Chandra |
Response Compaction for Test Time and Test Pins Reduction Based on Advanced Convolutional Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 19th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2004), 10-13 October 2004, Cannes, France, Proceedings, pp. 298-305, 2004, IEEE Computer Society, 0-7695-2241-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Xin Wang, Ji Wang 0001, Zhi-Chang Qi |
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, pp. 199-212, 2004, Springer, 3-540-23252-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | In-Ho Moon, Carl Pixley |
Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 144-158, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Kai Pan, E. James Whitehead Jr., Guozheng Ge |
Hypertext versioning for embedded link models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2004, Proceedings of the 15th ACM Conference on Hypertext and Hypermedia, August 9-13, 2004, Santa Cruz, California, USA, pp. 195-204, 2004, ACM, 1-58113-848-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
HTML versioning, containment model, hypertext versioning, link versioning, structure versioning, SCM, version control system |
13 | William Adams, Warren A. Hunt Jr., Damir Jamsek |
Verisym: Verifying Circuits by Symbolic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 22(2), pp. 163-173, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
circuit extraction, formal property checking, memory verification, symbolic simulation |
13 | Ping-Yu Hsu 0001, Yuan-Bin Chang, Yen-Liang Chen |
STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(1), pp. 63-76, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
spatial-temporal relations, two-phase firing conditions, valid firing sequences, relative coordination, multimedia, Petri Net |
13 | Zhijun Wang 0001, Mohan Kumar, Sajal K. Das 0001, Huaping Shen |
Investigation of Cache Maintenance Strategies for Multi-cell Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Data Management ![In: Mobile Data Management, 4th International Conference, MDM 2003, Melbourne, Australia, January 21-24, 2003, Proceedings, pp. 29-44, 2003, Springer, 3-540-00393-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Tim Menzies, Robert F. Cohen, Sam Waugh, Simon Goss |
Applications of Abduction: Testing Very Long Qualitative Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(6), pp. 1362-1375, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
complexity, Validation, abduction, qualitative reasoning |
13 | Yuji Watanabe, Masayuki Numao |
Conditional Cryptographic Delegation for P2P Data Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings, pp. 309-321, 2002, Springer, 3-540-44270-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Hiroshi Takahashi, Kewal K. Saluja, Yuzo Takamatsu |
An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan, pp. 275-282, 2002, IEEE Computer Society, 0-7695-1852-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Emmett Witchel, Samuel Larsen, C. Scott Ananian, Krste Asanovic |
Direct addressed caches for reduced power consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 34th Annual International Symposium on Microarchitecture, Austin, Texas, USA, December 1-5, 2001, pp. 124-133, 2001, ACM/IEEE Computer Society, 0-7695-1369-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello |
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 28-31 August 2001, Amsterdam, The Netherlands, pp. 77-86, 2001, IEEE Computer Society, 0-7695-1360-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Karthikeyan Bhargavan, Satish Chandra 0001, Peter J. McCann, Carl A. Gunter |
What packets may come: automata for network monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001, pp. 206-219, 2001, ACM, 1-58113-336-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
TCP/IP |
13 | João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo |
Feedback Control of the Software Test Process Through Measurements of Software Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China, pp. 232-241, 2001, IEEE Computer Society, 0-7695-1306-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Vassilis Christophides, Richard Hull 0001, Akhil Kumar 0001 |
Querying and Splicing of XML Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings, pp. 386-402, 2001, Springer, 3-540-42524-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Paul Oprisan, Bella Bose |
ARQ in Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea, pp. 251-257, 2001, IEEE Computer Society, 0-7695-1414-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Cecilia Metra, Jien-Chung Lo |
Intermediacy Prediction for High Speed Berger Code Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 16(6), pp. 607-615, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
self-checking circuits, checkers, Berger code |
13 | Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar |
ABCD: eliminating array bounds checks on demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 321-333, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Rajeev Goré, Lan Duy Nguyen |
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 38-51, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics |
13 | Sorin Cotofana, Ben H. H. Juurlink, Stamatis Vassiliadis |
Counter Based Superscalar Instruction Issuing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 1307-1315, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Prasanta K. Bose |
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 102-109, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Architecture, Security Protocol, Model Translation |
13 | Ravi Kumar 0001, D. Sivakumar 0001 |
Proofs, Codes, and Polynomial-Time Reducibilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 14th Annual IEEE Conference on Computational Complexity, Atlanta, Georgia, USA, May 4-6, 1999, pp. 46-53, 1999, IEEE Computer Society, 0-7695-0075-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
reducibilities, proof systems, partial solutions |
13 | Enrico Macii, Bernard Plessier, Fabio Somenzi |
Formal verification of digital systems by automatic reduction of data paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(10), pp. 1136-1156, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | D. A. Pierce, Parag K. Lala |
Modular implementation of efficient self-checking checkers for the Berger code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 9(3), pp. 279-294, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
conventional Berger code, 1's counters, fully-testable circuits, partitioning, CMOS technology, totally self-checking checkers, Berger code |
13 | Erwin M. Thurner |
Proving System Properties by Means of Trigger-Graph and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 88-102, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
hardware protocol, trigger graph, verification, Petri nets, Formal description, timing diagram, bus protocol |
13 | Norbert Kehrer, Gustaf Neumann |
Treating Enhanced Entity Relationship Models in a Declarative Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 263-270, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Yuichi Saitoh, Hideki Imai |
Constructions of Codes Correcting Burst Asymmetric Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings, pp. 59-70, 1990, Springer, 3-540-54195-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Mitsuhisa Sato, Shuichi Ichikawa, Eiichi Goto |
Run-Time Checking in Lisp by Integrating Memory Addressing and Range Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, Israel, June 1989, pp. 290-297, 1989, ACM, 0-89791-319-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
LISP |
13 | Donald A. B. Lindberg |
In praise of computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Medical Informatics ![In: Proceedings of the ACM Conference on History of Medical Informatics, Bethesda, Maryland, USA, November 5-6, 1987, pp. 1-4, 1987, ACM, 0-89791-248-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Norihisa Suzuki |
Analysis of Pointer Rotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 1-11, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
13 | Graeme Williams |
Program checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, Denver, Colorado, USA, August 6-10, 1979, pp. 13-25, 1979, ACM, 0-89791-002-8. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
11 | Debendra Das Sharma, Swadesh Choudhary |
Pipelined and Partitionable Forward Error Correction and Cyclic Redundancy Check Circuitry Implementation for PCI Express 6.0 and Compute Express Link 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 44(2), pp. 50-59, March - April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Yimin Yin |
Information Security and Risk Control Model Based on Plan-Do-Check-Action for Digital Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cyber Secur. Mobil. ![In: J. Cyber Secur. Mobil. 13(2), pp. 305-326, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ping Wang, Qiang Yang, Yangheng Hu, Jian Xiong, Yong Jia, Dequan Guo |
A Novel Voting Model Based on Parity Check Equations for Blind Detection of M-Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 34131-34140, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Hend K. Gedawy, Khaled A. Harras, Thang Bui, Temoor Tanveer |
Toward Context-Aware Federated Learning Assessment: A Reality Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 11(7), pp. 12567-12578, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Chengxu Liu, Zongyang Da, Yuanzhi Liang, Yao Xue, Guoshuai Zhao, Xueming Qian |
Split-Check: Boosting Product Recognition via Instance-Level Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 20(3), pp. 3521-3529, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Shuai Xu, Xiaoming Fu 0001, Dechang Pi, Zhuo Ma |
Inferring Individual Human Mobility From Sparse Check-in Data: A Temporal-Context-Aware Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Soc. Syst. ![In: IEEE Trans. Comput. Soc. Syst. 11(1), pp. 600-611, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Nour Chahrour, Christophe Bérenguer, Jean-Marc Tacnet |
Incorporating cascading effects analysis in the maintenance policy assessment of torrent check dams against torrential floods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 243, pp. 109875, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Qingping Yu, You Zhang, Renze Luo, Longye Wang, Xingwang Li |
Parity-Check Polarization-Adjusted Convolutional Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(2), pp. 187-191, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Reviriego, Jim Apple, Alvaro Alonso, Otmar Ertl, Niv Dayan |
Cardinality Estimation Adaptive Cuckoo Filters (CE-ACF): Approximate Membership Check and Distinct Query Count for High-Speed Network Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 32(2), pp. 959-970, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Zhu Sun, Yu Lei, Lu Zhang, Chen Li, Yew-Soon Ong, Jie Zhang 0002 |
A Multi-channel Next POI Recommendation Framework with Multi-granularity Check-in Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 42(1), pp. 15:1-15:28, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Qiang Gao, Hongzhu Fu, Kunpeng Zhang, Goce Trajcevski, Xu Teng, Fan Zhou 0002 |
Inferring Real Mobility in Presence of Fake Check-ins Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Intell. Syst. Technol. ![In: ACM Trans. Intell. Syst. Technol. 15(1), pp. 12:1-12:25, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Karan Sotoodeh |
Case study for failure analysis and prevention in subsea axial check valves used on chemical injection lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 15(3), pp. 1315-1324, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Weidong Cheng |
On Parity-Check Matrices of Twisted Generalized Reed-Solomon Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 70(5), pp. 3213-3225, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Dongxu Chang, Qingqing Peng, Guanghui Wang 0002, Dawei Yin |
Density Evolution Analysis of Generalized Low-density Parity-check Codes under a Posteriori Probability Decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2404.01136, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Hessam Mahdavifar |
High-Rate Fair-Density Parity-Check Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06814, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Romy Müller, Maria Pohl |
Information acquisition in Adapt/Exchange decisions: When do people check alternative solution principles? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.00195, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Edrina Gashi, Jiankang Deng, Ismail Elezi |
Deep Active Learning: A Reality Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.14800, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Cristina Fernández-Córdoba, Adrián Torres, Carlos Vela, Mercè Villanueva |
Computing efficiently a parity-check matrix for Zps-additive codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.05247, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Sungmin Cha, Kyunghyun Cho |
Hyperparameters in Continual Learning: a Reality Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.09066, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Pratyusha Sharma, Tamar Rott Shaham, Manel Baradad, Stephanie Fu, Adrián Rodríguez-Muñoz, Shivam Duggal, Phillip Isola, Antonio Torralba 0001 |
A Vision Check-up for Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01862, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Che Zhang, Zhenyang Xiao, Chengcheng Han 0004, Yixin Lian, Yuejian Fang |
Learning to Check: Unleashing Potentials for Self-Correction in Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13035, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Linhao Ye, Zhikai Lei, Jianghao Yin, Qin Chen, Jie Zhou, Liang He 0001 |
Boosting Conversational Question Answering with Fine-Grained Retrieval-Augmentation and Self-Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18243, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ermes Franch, Chunlei Li 0001 |
Bounded-degree Low Rank Parity Check Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.15195, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Veronika Solopova, Viktoriia Herman, Christoph Benzmüller, Tim Landgraf |
Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.15717, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Qiangeng Yang, Tess Christensen, Shlok Gilda, Juliana Fernandes, Daniela Oliveira 0001 |
Are Fact-Checking Tools Reliable? An Evaluation of Google Fact Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13244, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Shengwei Xu, Yichi Zhang 0003, Paul Resnick, Grant Schoenebeck |
Spot Check Equivalence: an Interpretable Metric for Information Elicitation Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13567, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Xi Wang, Ruoqing Zhao, Hongliang Dai, Piji Li |
An Empirical Investigation of Domain Adaptation Ability for Chinese Spelling Check Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14630, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Yugo Murawaki |
Principal Component Analysis as a Sanity Check for Bayesian Phylolinguistic Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.18877, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Isaac Corley, Caleb Robinson, Anthony Ortiz |
A Change Detection Reality Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06994, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Hao Li, Gopi Krishnan Rajbahadur, Dayi Lin, Cor-Paul Bezemer, Zhen Ming Jiang |
Keeping Deep Learning Models in Check: A History-Based Approach to Mitigate Overfitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.10359, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Mi Lim Lee, Chuljin Park, Dong Uk Park |
Corrigendum to 'Self-adjusting the tolerance level in a fully sequential feasibility check procedure' [European Journal of Operational Research, Volume 272, Issue 2, December 2018, Pages 733-745]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 314(2), pp. 817, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Lena Raupach, Cassandra Königs |
PharmoCo: a graph-based visualization of pharmacogenomic plausibility check reports for clinical decision support systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integr. Bioinform. ![In: J. Integr. Bioinform. 20(4), January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | J. du Toit, Johan A. du Preez, Riaan Wolhuter |
Low-density parity-check codes: tracking non-stationary channel noise using sequential variational Bayesian estimates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 85(2), pp. 247-262, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Xun Deng, Fuli Feng, Xiang Wang 0010, Xiangnan He 0001, Hanwang Zhang, Tat-Seng Chua |
Learning to Double-Check Model Prediction From a Causal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 35(4), pp. 5054-5063, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Linqing Gao, Dengzhe Ha, Litao Ma, Jiqiang Chen |
The prediction model of water level in front of the check gate of the LSTM neural network based on AIW-CLPSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 47(2), pp. 5, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Abdul Mateen Ahmed, Aaqib Patel, Mohammed Zafar Ali Khan |
Parity Check Coded Super-MAC for Reliability Enhancements in Next-Generation Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSNETS ![In: 16th International Conference on COMmunication Systems & NETworkS, COMSNETS 2024, Bengaluru, India, January 3-7, 2024, pp. 1116-1121, 2024, IEEE, 979-8-3503-8311-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Thibault Falque, Gilles Audemard, Christophe Lecoutre, Bertrand Mazure |
Check-In Desk Scheduling Optimisation at CDG International Airport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 22743-22751, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Veronika Solopova, Viktoriia Herman, Christoph Benzmüller, Tim Landgraf |
Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (Demonstrations) ![In: Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2024 - System Demonstrations, St. Julians, Malta, March 17-22, 2024, pp. 44-51, 2024, Association for Computational Linguistics, 979-8-89176-091-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
11 | Yuncong Zhang, Shifeng Sun 0001, Dawu Gu |
Efficient KZG-Based Univariate Sum-Check and Lookup Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography (2) ![In: Public-Key Cryptography - PKC 2024 - 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part II, pp. 400-425, 2024, Springer, 978-3-031-57721-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Raphael Antonius Frick, Martin Steinebach |
Improved identification of check-worthiness in social media data through multimodal analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROMCIR@ECIR ![In: Proceedings of the 4th Workshop on Reducing Online Misinformation through Credible Information Retrieval co-located with the 46th European Conference on Information Retrieval, ROMCIR@ECIR 2024, Glasgow, UK, March 24, 2024., pp. 31-40, 2024, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
11 | Alberto Barrón-Cedeño, Firoj Alam, Tanmoy Chakraborty 0002, Tamer Elsayed, Preslav Nakov, Piotr Przybyla, Julia Maria Struß, Fatima Haouari, Maram Hasanain, Federico Ruggeri, Xingyi Song, Reem Suwaileh |
The CLEF-2024 CheckThat! Lab: Check-Worthiness, Subjectivity, Persuasion, Roles, Authorities, and Adversarial Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (5) ![In: Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, Part V, pp. 449-458, 2024, Springer, 978-3-031-56068-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Inna Vogel, Pauline Möhle, Meghana Meghana, Martin Steinebach |
Adapter fusion for check-worthiness detection - combining a task adapter with a NER adapter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROMCIR@ECIR ![In: Proceedings of the 4th Workshop on Reducing Online Misinformation through Credible Information Retrieval co-located with the 46th European Conference on Information Retrieval, ROMCIR@ECIR 2024, Glasgow, UK, March 24, 2024., pp. 41-53, 2024, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
11 | Yue Wang 0039, Zilong Zheng, Zecheng Tang, Juntao Li, Zhihui Liu, Kunlong Chen, Jinxiong Chang, Qishen Zhang, Zhongyi Liu, Min Zhang 0005 |
Towards Better Chinese Spelling Check for Search Engines: A New Dataset and Strong Baseline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSDM ![In: Proceedings of the 17th ACM International Conference on Web Search and Data Mining, WSDM 2024, Merida, Mexico, March 4-8, 2024, pp. 769-778, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ria Jha, Ena Motwani, Nivedita Singhal, Rishabh Kaushal |
Towards automated check-worthy sentence detection using Gated Recurrent Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 35(15), pp. 11337-11357, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Alvine Boaye Belle, Yixi Zhao |
Evidence-based decision-making: On the use of systematicity cases to check the compliance of reviews with reporting guidelines such as PRISMA 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 217, pp. 119569, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Qi Lv, Ziqiang Cao, Lei Geng, Chunhui Ai, Xu Yan, Guohong Fu |
General and Domain-adaptive Chinese Spelling Check with Error-consistent Pretraining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Low Resour. Lang. Inf. Process. ![In: ACM Trans. Asian Low Resour. Lang. Inf. Process. 22(5), pp. 124:1-124:18, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Atish Agarwala, Samuel Stern Schoenholz, Jeffrey Pennington, Yann N. Dauphin |
Temperature check: theory and practice for training models with softmax-cross-entropy losses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Mach. Learn. Res. ![In: Trans. Mach. Learn. Res. 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Mohanaprakash Thottipalayam Andavan, Nirmalrani Vairaperumal |
Cloud computing based deduplication using high-performance grade byte check and fuzzy search technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 44(2), pp. 3411-3425, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Emily McMillon, Allison Beemer, Christine A. Kelley |
Extremal absorbing sets in low-density parity-check codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Math. Commun. ![In: Adv. Math. Commun. 17(2), pp. 465-483, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Rimjhim, Sourav Kumar Dandapat |
Tagging Multi-Label Categories to Points of Interest From Check-In Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Emerg. Top. Comput. Intell. ![In: IEEE Trans. Emerg. Top. Comput. Intell. 7(4), pp. 1191-1204, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Antonio Tomás Mozas-Calvache |
Positional Accuracy Assessment of Digital Elevation Models and 3D Vector Datasets Using Check-Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 12(9), pp. 348, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Endrowednes Kuantama, Avishkar Seth, Alice James, Yihao Zhang |
Flying Watchdog-Based Guard Patrol with Check Point Data Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Internet ![In: Future Internet 15(10), pp. 340, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jana Plomin, Paul Schweidler, Astrid Oehme |
Virtual reality check: a comparison of virtual reality, screen-based, and real world settings as research methods for HRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 10, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Xiaoqiang Ma, Fengxiang Ding, Kai Peng 0001, Yang Yang 0060, Chen Wang 0011 |
CP-Link: Exploiting Continuous Spatio-Temporal Check-In Patterns for User Identity Linkage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 22(8), pp. 4594-4606, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Maren Junker, Sebastian Dünnebeil, Markus Böhm 0001, Helmut Krcmar |
Usage of a workplace health promotion app: an evaluation of app usage data and medical check-up results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Health Informatics J. ![In: Health Informatics J. 29(1), pp. 146045822211480, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yanlong Zhao, Zhendong Yin, Zhutian Yang, Zhilu Wu, Rui Zhang |
Reliability-Design of Ordered Tree-Based Single-Parity-Check Decoder for Polar Codes Fast List Decoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 72(2), pp. 445-458, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ming-Ho Yee, Arjun Guha |
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 9(2), pp. 05:1-05:3, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Huiyang Liu, Pingquan He, Yun Jiang, Qinglin Zhang, Qiaoqiao Xia |
A Simple Check Polytope Projection Penalized Algorithm for ADMM Decoding of LDPC Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 2524-2530, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Alberto Dennunzio, Enrico Formenti, Luciano Margara |
An Easy to Check Characterization of Positive Expansivity for Additive Cellular Automata Over a Finite Abelian Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 121246-121255, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Bo-Jun Qiu, Cheng-Ying Hsieh, Jyh-Cheng Chen, Falko Dressler |
TCOA: Triple-Check Offloading Algorithm for Roadside Units and Vehicular Microclouds in 5G Networks and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 84985-85001, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ryan G. L. Koh, Md. Asif Khan, Sajjad Rashidiani, Samah Hassan, Victoria Tucci, Theodore Liu, Karlo Nesovic, Dinesh Kumbhare, Thomas E. Doyle |
Check It Before You Wreck It: A Guide to STAR-ML for Screening Machine Learning Reporting in Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 101567-101579, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yangyang Geng, Yuqi Chen 0001, Rongkuan Ma, Qiang Wei, Jie Pan, Jingyi Wang 0004, Peng Cheng 0001, Qingxian Wang |
Defending Cyber-Physical Systems Through Reverse-Engineering-Based Memory Sanity Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 10(10), pp. 8331-8347, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Wenzheng Sun, Hong Liu, Nainan Wen |
What motivates people to continuously engage in online task-oriented check-ins? The role of perceived social presence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aslib J. Inf. Manag. ![In: Aslib J. Inf. Manag. 75(2), pp. 390-406, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yavuz Selim Kartal, Mücahid Kutlu |
Re-Think Before You Share: A Comprehensive Study on Prioritizing Check-Worthy Claims. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Soc. Syst. ![In: IEEE Trans. Comput. Soc. Syst. 10(1), pp. 362-375, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Zhongzhi Xu, Weibin Cheng, Zhen Li 0013, Gary Tse, Fengshi Jing, Wanmin Lian, Junzhang Tian, Qingpeng Zhang |
Mass Screening for Low Bone Density Using Basic Check-Up Items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Soc. Syst. ![In: IEEE Trans. Comput. Soc. Syst. 10(5), pp. 2579-2586, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Zhongyang Yuan, Jianhu Zhao, Tie Li |
SVP Inversion for Weakening Multibeam Bathymetry Errors by Constraint of Check Line Depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 61, pp. 1-12, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ahmed Sedik, Ahmed A. Abd El-Latif 0001, Mohammed Ahmed El-Affendi, Hala Mostafa |
A Cancelable Biometric System Based on Deep Style Transfer and Symmetry Check for Double-Phase User Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(7), pp. 1426, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jiaxuan Cai, Xinmiao Zhang |
Low-Complexity Parallel Min-Sum Medium-Density Parity-Check Decoder for McEliece Cryptosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 70(12), pp. 5328-5338, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jiho Kim, Soonhee Kwon, Jaesang Noh, Dong-Joon Shin |
Construction of Cyclic Redundancy Check Codes for SDDC Decoding in DRAM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 70(2), pp. 736-740, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 7697 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|