|
|
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 |
26 | Cinthia Obladen de Almendra Freitas, Abdenaim El Yacoubi, Flávio Bortolozzi, Robert Sabourin |
Brazilian Bank Check Handwritten Legal Amount Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 97-104, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
bank check handwritten word recognition, bank cheque, global word analysis, database, feature extraction, hidden markov models, document image processing |
26 | Elaini Simoni Angelotti, Edson Emílio Scalabrin, Bráulio Coelho Ávila, Flávio Bortolozzi |
A Paraconsistent System of Autonomous Agents for Brazilian Bank Check Treatment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 89-98, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
paraconsistent system, Brazilian bank check treatment, handwritten Brazilian bank checks, reasoning mechanisms, task distribution problems, communication between agents, multi-agent systems, image segmentation, software agents, handwriting recognition, autonomous agents, formal logic, paraconsistent logic, cheque processing |
26 | Enrico Paolini, Marc P. C. Fossorier, Marco Chiani |
Doubly-Generalized LDPC Codes: Stability Bound Over the BEC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 55(3), pp. 1027-1046, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kan Watanabe, Masaru Fukushi, Susumu Horiguchi |
Optimal spot-checking to minimize the computation time in volunteer computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-8, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Olgica Milenkovic, Navin Kashyap, David Leyba |
Shortened Array Codes of Large Girth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(8), pp. 3707-3722, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Shangmin Luan, Guozhong Dai |
An algebraic approach to revising propositional rule-based knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(3), pp. 240-257, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
knowledge base revision, rule-based knowledge base, Petri net, consistency check |
24 | Marjan Karkooti, Predrag Radosavljevic, Joseph R. Cavallaro |
Configurable LDPC Decoder Architectures for Regular and Irregular Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 53(1-2), pp. 73-88, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Error correcting codes, Reconfigurable architectures, Low density parity check codes |
24 | Tina Mattes, Jörg Pfahler, Frank Schiller, Thomas Honold |
Analysis of Combinations of CRC in Industrial Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 329-341, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Cyclic Redundancy Check, Residual Error Probability, Safety-critical Communication |
24 | Gui Liang Feng, Robert H. Deng, Feng Bao 0001, Jia-Chen Shen |
New Efficient MDS Array Codes for RAID Part I: Reed-Solomon-Like Codes for Tolerating Three Disk Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(9), pp. 1071-1080, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
MDS array codes, multiple disk failures, RAID, Reed-Solomon codes, Low-density-parity-check codes |
24 | Malek Adjouadi, Frank M. Candocia |
A Stereo Matching Paradigm Based on the Walsh Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(12), pp. 1212-1218, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
feature-based stereo matching technique, feature point location, potential match searching, match validation, global consistency check, disparity determination, stereo image representation, Walsh-based attributes, accurate disparity extraction, matching primitives, image complexity, feature extraction, transforms, image matching, stereo vision, soundness, stereo image processing, derivatives, Walsh functions, processing time, Walsh transformation, decision-making process, feature point detection |
24 | Shantanu Dutt, Li Li |
Trust-Based Design and Check of FPGA Circuits Using Two-Level Randomized ECC Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 2(1), pp. 6:1-6:36, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
masking probability, parity groups, parity randomization, trust checking, trust-based design, FPGAs, Error-correcting codes |
24 | João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo |
Design tests: An approach to programmatically check your code against design rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, pp. 255-258, 2009, IEEE, 978-1-4244-3494-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Jos H. Weber, Khaled A. S. Abdel-Ghaffar |
Results on Parity-Check Matrices With Optimal Stopping And/Or Dead-End Set Enumerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(3), pp. 1368-1374, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Tanja Karp, Michel Kieffer, Pierre Duhamel |
Parity-Check Matrix Calculation for Paraunitary Oversampled DFT Filter Banks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(10-2), pp. 5277-5283, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | João Ascenso, Catarina Brites, Fernando Pereira 0001 |
Design and performance of a novel low-density parity-check code for distributed video coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 1116-1119, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Mohammad Shaqfeh, Norbert Görtz |
Systematic Modification of Parity-Check Matrices for Efficient Encoding of LDPC Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2007, Glasgow, Scotland, UK, 24-28 June 2007, pp. 945-950, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Daesun Oh, Keshab K. Parhi |
Efficient Highly-Parallel Decoder Architecture for Quasi-Cyclic Low-Density Parity-Check Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 1855-1858, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | S. Baghavathi Priya, M. Prakash, K. K. Dhawan |
Fault Tolerance-Genetic Algorithm for Grid Task Scheduling using Check Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings, pp. 676-680, 2007, IEEE Computer Society, 0-7695-2871-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Lu Xin, Xu Jun |
Novel Efficient Check Node Update Implementations for Row Weight Matched Min-Sum Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS ![In: Proceeding of the Second International Multi-Symposium of Computer and Computational Sciences (IMSCCS 2007), August 13-15, 2007, The University of Iowa, Iowa City, Iowa, USA, pp. 560-563, 2007, IEEE Computer Society, 0-7695-3039-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CNU, Min-Sum, LDPC, BP |
24 | Zhiming Chang, XinJun Mao, Zhichang Qi |
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 57-66, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Vladimir Shapiro |
How to Reduce the Size of Bank Check Image Archive? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pp. 148-152, 2007, IEEE Computer Society, 978-0-7695-2822-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Koichi Adachi, Masao Nakagawa |
Iterative Modified QRM-MLD Based on CRC Check for OFDM MIMO Multiplexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 1353-1357, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Xia Yu, Shuoyu Wang |
A Health Check and Prediction System for Lifestyle-Related Disease Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (2) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 321-324, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Christian Tellkamp, Thomas Wiechert, Frédéric Thiesse, Elgar Fleisch |
The Adoption of RFID-based Self-Check-Out-Systems at the Point-of-Sale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I3E ![In: Project E-Society: Building Bricks, 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (I3E 2006), October 11-13, 2006, Turku, Finland, pp. 153-165, 2006, Springer, 978-0-387-39226-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Stephen Bates, Ramkrishna Swamy |
Parallel encoders for low-density parity-check convolutional codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Stephen Bates, Logan Gunthorpe, Ali Emre Pusane, Zhengang Chen, Kamil Sh. Zigangirov, Daniel J. Costello Jr. |
Decoders for low-density parity-check convolutional codes with large memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Zongwang Li, Lei Chen 0008, Lingqi Zeng, Shu Lin 0001, Wai H. Fong |
Efficient Encoding of Quasi-Cyclic Low-Density Parity-Check Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 53(11), pp. 1973-1973, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Hylke W. van Dijk, Bas Graaf, Rob Boerman |
On the Systematic Conformance Check of Software Artefacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSA ![In: Software Architecture, 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings, pp. 203-221, 2005, Springer, 3-540-26275-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Vineet Agarwal, Navneeth Kankani, Ravishankar Rao, Sarvesh Bhardwaj, Janet Meiling Wang |
An efficient combinationality check technique for the synthesis of cyclic combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 212-215, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Miguel R. Penabad, Nieves R. Brisaboa, Héctor J. Hernández, José R. Paramá |
A general procedure to check conjunctive query containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(7), pp. 489-529, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Bintou Kane, Hong Su, Elke A. Rundensteiner |
Consistently updating XML documents using incremental constraint check queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIDM ![In: Fourth ACM CIKM International Workshop on Web Information and Data Management (WIDM 2002), SAIC Headquaters, McLean, Virginia, USA, November 8, 2002, pp. 1-8, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XQuery, XML schema, XML update |
24 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Deriving Pre-conditions for Array Bound Check Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADO ![In: Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings, pp. 2-24, 2001, Springer, 3-540-42068-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Ajay R. Dani, P. Radha Krishna 0001 |
An E-check Framework for Electronic Payment Systems in the Web Based Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: Electronic Commerce and Web Technologies, Second International Conference, EC-Web 2001 Munich, Germany, September 4-6, 2001, Proceedings, pp. 91-100, 2001, Springer, 3-540-42517-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Jin Taek Kim, Jeong-Ho Kho, Min-Seok Hong, Choul Woong Son, Do-Won Lee, Sang-Jo Youk, Geuk Lee |
A study on intrusion protection techniques against Linux kernel backdoor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIT ![In: Proceedings of the 2009 International Conference on Hybrid Information Technology, ICHIT 2009, Daejeon, Korea, August 27-29, 2009, pp. 86-90, 2009, ACM, 978-1-60558-662-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer |
SharC: checking data sharing strategies for multithreaded C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 149-158, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data-race |
22 | Michele Portolan, Régis Leveugle |
Effective Checkpoint and Rollback Using Hardware/OS Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2007), 26-28 September 2007, Rome, Italy., pp. 370-378, 2007, IEEE Computer Society, 0-7695-2885-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Nikos Paragios, Olivier Mellina-Gottardo, Visvanathan Ramesh |
Gradient Vector Flow Fast Geometric Active Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(3), pp. 402-407, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
additive operator splitting, image segmentation, level set methods, gradient vector flow, geodesic active contours, Boundary extraction |
22 | Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello |
Architecting families of software systems with process algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(4), pp. 386-426, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Architectural mismatch detection, software architectures, process algebras, architectural styles |
22 | Ronald Veldema, Rutger F. H. Hofman, Raoul Bhoedjang, Ceriel J. H. Jacobs, Henri E. Bal |
Source-level global optimizations for fine-grain distributed shared memory systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'01), Snowbird, Utah, USA, June 18-20, 2001, pp. 83-92, 2001, ACM, 1-58113-346-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Rajiv Gupta 0001 |
A Fresh Look at Optimizing Array Bound Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990, pp. 272-282, 1990, ACM, 0-89791-364-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | H. J. Beker, G. M. Cole |
Message Authentication and Dynamic Passwords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '87, Workshop on the Theory and Application of of Cryptographic Techniques, Amsterdam, The Netherlands, April 13-15, 1987, Proceedings, pp. 171-175, 1987, Springer, 3-540-19102-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Heli Sun, Chen Cao, Xuguang Chu, Tingting Hu, Junzhi Lu, Liang He 0006, Zhi Wang 0002, Hui He, Hui Xiong 0001 |
What Your Next Check-in Might Look Like: Next Check-in Behavior Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Intell. Syst. Technol. ![In: ACM Trans. Intell. Syst. Technol. 14(6), pp. 112:1-112:21, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yong Ding 0006, Zhiping Huang, Jing Zhou |
Blind recognition of sparse parity-check matrices of low-density parity-check codes in the presence of noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Commun. ![In: IET Commun. 17(4), pp. 418-427, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sanjana Kavatagi, Rashmi Rachh, Madhura Mulimani |
VTU_BGM at Check That!-2022: An Autoregressive Encoding Model for Detecting Check-worthy Claims. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to - 8th, 2022., pp. 546-553, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Sascha Mücke, Lukas Pfahler |
Check Mate: A Sanity Check for Trustworthy AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWDA ![In: Proceedings of the LWDA 2022 Workshops: FGWM, FGKD, and FGDB, Hildesheim (Germany), Oktober 5-7th, 2022., pp. 91-103, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Tariq Alhindi, Brennan Xavier McManus, Smaranda Muresan |
What to Fact-Check: Guiding Check-Worthy Information Detection in News Articles through Argumentative Discourse Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL ![In: Proceedings of the 22nd Annual Meeting of the Special Interest Group on Discourse and Dialogue, SIGdial 2021, Singapore and Online, July 29-31, 2021, pp. 380-391, 2021, Association for Computational Linguistics, 978-1-954085-81-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Jakub Chabik |
Digital Government Measurement and Perception - Reality Check in Poland: Measurement and Perception - Reality Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: DG.O'21: The 22nd Annual International Conference on Digital Government Research, Omaha, NE, USA, June 9-11, 2021., pp. 567-568, 2021, ACM, 978-1-4503-8492-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Zhilong Chen, Hancheng Cao, Huangdong Wang, Fengli Xu, Vassilis Kostakos, Yong Li 0008 |
Will You Come Back / Check-in Again?: Understanding Characteristics Leading to Urban Revisitation and Re-check-in. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. ![In: Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 4(3), pp. 76:1-76:27, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yavuz Selim Kartal, Busra Guvenen, Mücahid Kutlu |
Too Many Claims to Fact-Check: Prioritizing Political Claims Based on Check-Worthiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.08166, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Yavuz Selim Kartal, Mücahid Kutlu, Busra Guvenen |
Too Many Claims to Fact-Check: Prioritizing Political Claims Based on Check-Worthiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM (Workshops) ![In: Proceedings of the CIKM 2020 Workshops co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020), Galway, Ireland, October 19-23, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Sangay Tenzin, Pema Dorji, Bevek Subba, Thinley Tobgay |
Smart Check-in Check-out System for Vehicles using Automatic Number Plate Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCNT ![In: 11th International Conference on Computing, Communication and Networking Technologies, ICCCNT 2020, Kharagpur, India, July 1-3, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-6851-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Huei-Ting Huang, Winai Wongthai |
The Design of an Online Information System of the Check Stage in Plan-Do-Check-Act Cycle for Evaluation of Student Learning in Taiwan Preschools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBT ![In: Proceedings of the 2019 3rd International Conference on E-Education, E-Business and E-Technology, ICEBT 2019, Madrid, Spain, August 02-04, 2019, pp. 16-22, 2019, ACM, 978-1-4503-7256-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Ritesh Kumar, Shivansh Prakash, Shashank Kumar, Rajendra Pamula |
Check That! Automatic Identification and Verification of Claims: IIT(ISM) @CLEF'19 Check Worthiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Working Notes of CLEF 2019 - Conference and Labs of the Evaluation Forum, Lugano, Switzerland, September 9-12, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Dongming Yuan, Lu Li, Yuanan Liu |
Lowering the error floors of low-density parity-check codes with additional check nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITW ![In: 2017 IEEE Information Theory Workshop, ITW 2017, Kaohsiung, Taiwan, November 6-10, 2017, pp. 146-150, 2017, IEEE, 978-1-5090-3097-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Arwa Alrawais, Abdulrahman Alhothaily, Xiuzhen Cheng 0001 |
X.509 Check: A Tool to Check the Safety and Security of Digital Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIKI ![In: International Conference on Identification, Information, and Knowledge in the Internet of Things, IIKI 2015, Beijing, China, October 22-23, 2015, pp. 130-133, 2015, IEEE Computer Society, 978-1-4673-8637-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Kiran K. Rachuri, Theus Hossmann, Cecilia Mascolo, Sean B. Holden |
Beyond location check-ins: Exploring physical and soft sensing to augment social check-in apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: 2015 IEEE International Conference on Pervasive Computing and Communications, PerCom 2015, St. Louis, MO, USA, 23-27 March, 2015, pp. 123-130, 2015, IEEE Computer Society, 978-1-4799-8033-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Kenneth Joseph, Kathleen M. Carley, Jason I. Hong |
Check-ins in "Blau Space": Applying Blau's Macrosociological Theory to Foursquare Check-ins from New York City. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Intell. Syst. Technol. ![In: ACM Trans. Intell. Syst. Technol. 5(3), pp. 46:1-46:22, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Rigel Gjomemo, Hafiz Malik, Nilesh Sumb, V. N. Venkatakrishnan, Rashid Ansari |
Digital Check Forgery Attacks on Client Check Truncation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography and Data Security - 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers, pp. 3-20, 2014, Springer, 978-3-662-45471-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Yejun He, Guiyuan Sun, Jie Yang, Francis Chung-Ming Lau |
D-GLDPC codes with 3-D single parity-check product codes as super check nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCSP ![In: Sixth International Conference on Wireless Communications and Signal Processing, WCSP 2014, Hefei, China, October 23-25, 2014, pp. 1-6, 2014, IEEE, 978-1-4799-7339-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Raghunath Rajachandrasekar, Sreeram Potluri, Akshay Venkatesh, Khaled Hamidouche, Md. Wasi-ur-Rahman, Dhabaleswar K. Panda 0001 |
MIC-Check: a distributed check pointing framework for the intel many integrated cores architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: The 23rd International Symposium on High-Performance Parallel and Distributed Computing, HPDC'14, Vancouver, BC, Canada - June 23 - 27, 2014, pp. 121-124, 2014, ACM, 978-1-4503-2749-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Robert T. Hans |
Using a biometric system to check-in and check-out luggage at airports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBAST ![In: 2014 International Symposium on Biometrics and Security Technologies, ISBAST 2014, Kuala Lumpur, Malaysia, August 26-27, 2014, pp. 63-66, 2014, IEEE, 978-1-4799-6444-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Shek F. Yau, Tan L. Wong, Francis Chung-Ming Lau, Yejun He |
A fast low-density parity-check code simulator based on compressed parity-check matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Commun. Mob. Comput. ![In: Wirel. Commun. Mob. Comput. 13(7), pp. 663-670, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Kyung-Joong Kim 0002, Jin-Ho Chung, Kyeongcheol Yang |
Bounds on the Size of Parity-Check Matrices for Quasi-Cyclic Low-Density Parity-Check Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 59(11), pp. 7288-7298, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Panagiota Nikolaou, Yiannakis Sazeides, Lorena Ndreu, Emre Özer 0001, Sachin Idgunji |
Memory array protection: check on read or check on write? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, pp. 214-219, 2013, EDA Consortium San Jose, CA, USA / ACM DL, 978-1-4503-2153-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Wei Lin, Baoming Bai, Xiao Ma 0001, Rong Sun |
Dynamic Bubble-Check Algorithm for Check Node Processing in Q-Ary LDPC Decoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 95-B(5), pp. 1815-1818, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Y. Min, Francis Chung-Ming Lau, Chi K. Tse |
Generalized LDPC code with single-parity-check product constraints at super check nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISTC ![In: 7th International Symposium on Turbo Codes and Iterative Information Processing, ISTC 2012, August 27-31, 2012, Gothenburg, Sweden, pp. 165-169, 2012, IEEE. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Thomas J. E. Schwarz, Ethan L. Miller |
Store, Forget, and Check: Using Algebraic Signatures to Check Remotely Administered Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal, pp. 12, 2006, IEEE Computer Society, 0-7695-2540-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Arvind Sridharan, Michael Lentmaier, Dmitri V. Truhachev, Daniel J. Costello Jr., Kamil Sh. Zigangirov |
On the minimum distance of low-density parity-check codes with parity-check matrices constructed from permutation matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probl. Inf. Transm. ![In: Probl. Inf. Transm. 41(1), pp. 33-44, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Mahmoud Rashidpour, Seyed Hamidreza Jamali |
Low-density parity-check codes with simple irregular semi-random parity-check matrix finite-length applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 14th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2003, 7-10 September 2003, Beijing, China, pp. 439-443, 2003, IEEE, 0-7803-7822-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Nina Saxena, Jason Baumgartner, Avijit Saha, Jacob A. Abraham |
To model check or not to model check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: International Conference on Computer Design: VLSI in Computers and Processors, ICCD 1998, Proceedings, 5-7 October, 1998, Austin, TX, USA, pp. 314-320, 1998, IEEE Computer Society, 0-8186-9099-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Falcão Paiva Fernandes, Vítor Manuel Mendes da Silva, Leonel Sousa |
How GPUs can outperform ASICs for fast LDPC decoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 23rd international conference on Supercomputing, 2009, Yorktown Heights, NY, USA, June 8-12, 2009, pp. 390-399, 2009, ACM, 978-1-60558-498-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
memory coalescence, parallel processing, graphics processing units, multithreading, low-density parity-check codes |
20 | Michael Lunglmayr, Jens Berkmann, Mario Huemer |
Simulation Based Optimization of Vertex Packing Decoding Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 469-476, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
vertex packing, Channel coding, performance simulation, low-density parity-check (LDPC) codes |
20 | Dan Tsafrir, Tomer Hertz, David A. Wagner 0001, Dilma Da Silva |
Portably solving file races with hardness amplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 4(3), pp. 9:1-9:30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TOCTTOU, time-of-check-to-time-of-use, Race conditions |
20 | Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold |
Analysis of Nested CRC with Additional Net Data in Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, pp. 126-138, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cyclic Redundancy Check, Residual error probability, Safety-critical communication |
20 | Gabriel Falcão Paiva Fernandes, Leonel Sousa, Vítor Manuel Mendes da Silva |
Massive parallel LDPC decoding on GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 83-90, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parallel processing, graphics processing unit, computer unified device architecture, ldpc, low-density parity-check codes, cuda |
20 | Linhua Ma, Yilin Chang, ShengDa Wang |
Study on the distribution law of random code structure of irregular LDPC codes and its application in eliminating short cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(1), pp. 99-104, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
random code structure, random distribution characteristics, cycles, Low-density parity-check codes |
20 | Michael Lunglmayr, Jens Berkmann |
Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 952-959, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
density evolution, receiver design, optimization, Channel coding, low-density parity-check (LDPC) codes |
20 | Young-Bin Kwon, Jeong-Hoon Kim |
Verification of the Document Components from Dual Extraction of MRTD Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition. Recent Advances and New Opportunities, 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers, pp. 235-244, 2007, Springer, 978-3-540-88184-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
MRTD(Machine Readable Travel Document), cross-check, auto-correlation, verification, passport |
20 | Alberto Bartoli, Giovanni Masarin |
On-line self-checking of replication consistency for autonomic computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 9(4), pp. 449-463, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fault detectors, Web services, Dependability, Availability, On-line testing, Self-check |
20 | Yongmei Dai, Zhiyuan Yan 0001, Ning Chen 0004 |
Parallel turbo-sum-product decoder architecture for quasi-cyclic LDPC codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006, pp. 312-315, 2006, ACM, 1-59593-347-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
quasi-cyclic (QC) codes, sum-product decoding, turbo decoding, low-density parity-check (LDPC) codes |
20 | Matthew Woitaszek, Henry M. Tufo |
Fault Tolerance of Tornado Codes for Archival Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, HPDC-15, Paris, France, June 19-23, 2006, pp. 83-92, 2006, IEEE, 1-4244-0307-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed data stewarding system, Tornado code graph, low density parity check, LDPC erasure code, archival storage system, parity-based RAID system, fault tolerance |
20 | Noriaki Kouda, Nobuyuki Matsui, Haruhiko Nishimura, Ferdinand Peper |
Qubit neural network and its learning efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 14(2), pp. 114-121, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Neural network, Learning, Quantum computing, Back-propagation, Qubit, Parity check |
20 | Kyung-suk Lhee, Steve J. Chapin |
Detection of file-based race conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 4(1-2), pp. 105-119, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Time-of-check-to-time-of-use (TOCTTOU) flaws, Security, Race condition |
20 | Kenji Yasu, Yasuhiko Akahane, Masami Ozaki, Koji Semoto, Ryôichi Sasaki |
Development and Evaluation of a System for Checking for Improper Sending of Personal Information in Encrypted E-Mail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I3E ![In: Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government, 5th IFIP Conference e-Commerce, e-Business, and e-Government (I3E'2OO5), October 28-30, 2005, Poznan, Poland, pp. 203-217, 2005, Springer, 978-0-387-28753-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
encrypted e-mail, check system, security, privacy, network, personal information |
20 | V. Benjamin Livshits, Thomas Zimmermann 0001 |
DynaMine: finding common error patterns by mining software revision histories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 296-305, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs |
20 | Saied Hemati, Amir H. Banihashemi |
Iterative decoding in analog CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, Washington, DC, USA, April 28-29, 2003, pp. 15-20, 2003, ACM, 1-58113-677-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
analog CMOS, analog iterative decoder, asynchronous iterative decoding, min-sum decoding, soft decoding, analog circuit, turbo codes, iterative decoding, low-density parity-check codes |
20 | Ralf H. Reussner |
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings, pp. 20-40, 2002, Springer, 3-540-00145-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability |
20 | Jorge González, Ismael Salvador, Alejandro H. Toselli, Alfons Juan, Enrique Vidal 0001, Francisco Casacuberta |
Offline Recognition of Syntax-Constrained Cursive Handwritten Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Advances in Pattern Recognition, Joint IAPR International Workshops SSPR 2000 and SPR 2000, [8th International Workshop on Structural and Syntactic Pattern Recognition, 3rd International Workshop on Statistical Techniques in Pattern Recognition], Alicante, Spain, August 30 - September 1, 2000, Proceedings, pp. 143-153, 2000, Springer, 3-540-67946-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Off-Line Continuous Handwriting Text Recognition, Bank Check Legal Amount Recognition, Feature Extraction, Hidden Markov Models, Language Modelling |
20 | Xiangyun Ye, Mohamed Cheriet, Ching Y. Suen, Ke Liu 0009 |
Extraction of bankcheck items by mathematical morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 2(2-3), pp. 53-66, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Check image processing, Baseline elimination, Local thresholding binarization, Gray level mathematical morphology, Goal-directed evaluation |
20 | Valery A. Vardanian |
Exact probabilistic analysis of error detection for parity checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 222-229, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
circuit under check, multi-output supergate, combinational CUC, restricted observability, restricted detectability, concurrent checker, latency, error detection, combinational circuits, probabilistic analysis, single stuck-at fault, parity checker |
20 | William A. Arbaugh, David J. Farber, Jonathan M. Smith |
A Secure and Reliable Bootstrap Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA, pp. 65-71, 1997, IEEE Computer Society, 0-8186-7828-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
computer bootstrapping, bootstrap architecture, lower-layer integrity, hardware validity, integrity chain, system integrity guarantees, AEGIS architecture, recovery process, integrity check failures, robust systems, security, reliability, active networks, initialization, transitions, Internet commerce |
20 | Andrew M. Tyrrell |
Recovery Blocks and Algorithm-Based Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 292-, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead |
20 | Marco Platzner, Bernhard Rinner, Reinhold Weiss |
A distributed computer architecture for qualitative simulation based on a multi-DSP and FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 311-318, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed computer architecture, multi-DSP, application-specific computer architecture, constraint-check-function, performance, FPGAs, parallel architectures, computer architecture, digital simulation, hardware design, special purpose computers, design strategies, qualitative simulation |
20 | Kotaro Shimamura, Shigeya Tanaka, Tetsuya Shimomura, Takashi Hotta, Eiki Kamada, Hideo Sawamoto, Teruhisa Shimizu, Kisaburo Nakazawa |
A superscalar RISC processor with pseudo vector processing feature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 102-109, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
superscalar RISC processor, pseudo vector processing, architectural extension, floating-point registers, scoreboard-based dependency check, pipeline stage optimization, 267 MFLOPS, 1.2 Gbyte/s, performance evaluation, performance, computer architecture, memory access, reduced instruction set computing, vector processor systems |
20 | Eduardo B. Fernández, Robert B. France |
Formal specification of real-time dependable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 342-348, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring |
20 | George Saon, Abdel Belaïd, Yifan Gong 0001 |
Stochastic trajectory modeling for recognition of unconstrained handwritten words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 508-511, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
stochastic trajectory modeling, unconstrained handwritten word recognition, off-line handwritten word recognition, literal french check amounts, conditional probability distributions, internal character segmentation algorithm, global word probability measure, stochastic grammar, a priori grammar generation probability, image segmentation, probability, optical character recognition, handwriting recognition, stochastic processes |
20 | Horst Bunke, R. Liviero |
Classification and postprocessing of documents using an error-correcting parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 222-226, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
error correcting parsing algorithm, postprocessing task, automatic check processing, image classification, error correction, document image processing, grammars, document classification, bank data processing, synthetic data, cheque processing, recognition accuracy, execution speed |
20 | Luigi Ciminiera, Adriano Valenzano |
Authentication Mechanisms in Microprocessor-Based Local Area Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 654-658, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
authentication mechanisms, microprocessor-based local area networks, unauthorized use, intruders, interface process, user-server connection, unauthorized requests, capability checking, iAPX432-based hosts, database, cache, searching, service, local area networks, security of data, identity, protect, server, hardware support, shared resources, parallel search, access rights, check, performance issues |
20 | Edward Aftandilian, Samuel Z. Guyer |
GC assertions: using the garbage collector to check heap properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 235-244, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
heap properties, garbage collection, dynamic analysis |
20 | David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris |
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 137-153, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 7697 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|