Search results for "T-Check"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Jincheng Huang, Yao Wang 0001, Edward K. Wong	Check image compression: a comparison of JPEG, wavelet and layered coding method.	ICIP (3)	1997	DBLP DOI BibTeX RDF	check image compression, check storage, check transmission, general purpose compression algorithms, ringing artifacts, high compression ratios, lossy representation, foreground map, foreground pixels, background image, image error, progressive retrieval, segmentation, data compression, image reconstruction, graphics, image representation, image quality, text, JPEG, progressive transmission, layered coding, gray levels, banking industry, wavelet coding, blocking artifacts
59	Wen-Jung Hsin, Lein Harn	Simple certified e-check with a partial PKI solution.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	certified e-check, e-check, PKI
57	Tony D. Lovgren	Wireless laptop check-out.	SIGUCCS	2002	DBLP DOI BibTeX RDF	checkout, laptop check-out, wireless network, wireless, support, laptop, technical support
51	Francis Y. L. Chin, Francis Wu	A microprocessor-based optical character recognition check reader.	ICDAR	1995	DBLP DOI BibTeX RDF	microprocessor-based optical character recognition check reader, Magnetic Ink Character Recognition, check reader, lens system, colour image, hardware limitations, optical character recognition, floating point arithmetics, recognition algorithm, software solution
48	Chin-Chen Chang 0001, Shih-Chang Chang	The design of e-traveler's check with efficiency and mutual authentication.	ICUIMC	2009	DBLP DOI BibTeX RDF	e-traveler's check, smart card, mutual authentication
48	O. Eljamaly Toumaz, P. Sweeney	Alternative Approximation of Check Node Algorithm for DVB-S2 LDPC Decoder.	ICSNC	2007	DBLP DOI BibTeX RDF	Min-Sum, check nodes algorithm, alternative approximation, computational complexity, LDPC codes
46	Thomas Eiter, Axel Polleres	Towards Automated Integration of Guess and Check Programs in Answer Set Programming.	LPNMR	2004	DBLP DOI BibTeX RDF
46	Paul E. Joustra, Nico M. van Dijk	Simulation of check-in at airports.	WSC	2001	DBLP DOI BibTeX RDF
44	Kai Guo, Yanhui Chen, Jiandong Li 0001	Multiple accumulated-crossover parallel concatenated SPC codes.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	parallel concatenated codes, single parity check codes, iterative decoding, low density parity check codes
44	Morteza Esmaeili	Construction of binary minimal product parity-check matrices.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Minimal parity-check matrices, Product codes
44	Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck	Array bounds check elimination for the Java HotSpot™ client compiler.	PPPJ	2007	DBLP DOI BibTeX RDF	array bounds check elimination, Java, optimization, performance, just-in-time compilation
42	Jien-Chung Lo, Suchai Thanawastien, T. R. N. Rao	Berger Check Prediction for Array Multipliers and Array Dividers.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	Berger check prediction, array dividers, closed-form check-predicting equations, digital arithmetic, multiplying circuits, array multipliers, dividing circuits
41	Kim Marriott, Harald Søndergaard	On prolog and the occur check problem.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Prolog
40	André van der Hoek, Dennis Heimbigner, Alexander L. Wolf	A Generic, Peer-to-Peer Repository for Distributed Configuration Management.	ICSE	1996	DBLP BibTeX RDF	NUCM, Network-Unified Configuration Management, artifact versions, change sets, check-in/check-out, configuration management policies, configuration management repositories, distributed configuration management, generic peer-to-peer repository, multi-site projects, programmatic interface, repository distribution mechanism, distributed databases, application program interfaces, configuration management, software management
40	Katsuhiko Ueda	Extraction of signature and seal imprint from bankchecks by using color information.	ICDAR	1995	DBLP DOI BibTeX RDF	color information, extraction method, seal imprints, Japanese bank-check verification, background pattern, color bank-check image, RGB 3D color space, region extraction, handwritten signatures, signatures, thresholding, pixels, cheque processing, color region
39	Peng Li, John Regehr	T-check: bug finding for sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	T-Check, sensor networks, model checking, safety, random walk, liveness, TinyOS, event-driven
39	Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park	MPIRace-Check: Detection of Message Races in MPI Programs.	GPC	2007	DBLP DOI BibTeX RDF	message races, MPIRace-Check, debugging, message-passing programs
39	Sangjin Kim, Heekuck Oh	A new electronic check system with reusable refunds.	Int. J. Inf. Sec.	2002	DBLP DOI BibTeX RDF	Electronic check, Reusable refund, Electronic cash
39	De-Qiang Wang, Lian-Chang Zhao	Combinatorial Analysis of Check Set Construction for Algorithm-Based Fault Tolerance Systems.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	check set, error detecting, algorithm-based fault tolerance, combinatorial problem
39	Krzysztof R. Apt, Alessandro Pellegrini 0002	On the Occur-Check-Free Prolog Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm
39	Edmund B. Nightingale, Daniel Peek, Peter M. Chen, Jason Flinn	Parallelizing security checks on commodity hardware.	ASPLOS	2008	DBLP DOI BibTeX RDF	security, performance, parallel, operating systems, speculative execution
39	Nikolai Gorski, Valery Anisimov, Emmanuel Augustin, Olivier Baret, David Price, Jean-Claude Simon	A2iA Check Reader: A Family of Bank Check Recognition Systems.	ICDAR	1999	DBLP DOI BibTeX RDF
37	G. B. Belyavskaya, V. I. Izbash, Gary L. Mullen	Check Character Systems using Quasigroups: I.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	AMS Classification 94B60
37	Robert Snelick	S-Check: a Tool for Tuning Parallel Programs.	IPPS	1997	DBLP DOI BibTeX RDF
35	Daesun Oh, Keshab K. Parhi	Low Complexity Decoder Architecture for Low-Density Parity-Check Codes.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	Quasi-cyclic (QC) LDPC codes, Finite precision, Variable quantization, Sum-product algorithm (SPA), Highly-parallel decoding, Low complexity decoder architecture, Low-density parity check (LDPC) codes
35	Qingqing Chen, Junfeng Yao, Hanhui Zhang, Kunhui Lin	The Technical Research and System Realization of 3D Garment Fitting System Based on Improved Collision-Check Algorithm.	Edutainment	2008	DBLP DOI BibTeX RDF	Spring-Mass model, collision-check, 3D garment fitting system
35	Hui Zhu 0013, Xianglong Tang, Peng Liu 0008	An MLP-orthogonal Gaussian mixture model hybrid model for Chinese bank check printed numeral recognition.	Int. J. Document Anal. Recognit.	2006	DBLP DOI BibTeX RDF	Orthogonal Gaussian mixture model, Chinese bank check recognition, Multilayer perceptron, Multiple classifier systems, Outlier rejection
35	Yanni Chen, Keshab K. Parhi	On the Performance and Implementation Issues of Interleaved Single Parity Check Turbo Product Codes.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	turbo product code, single parity check code, parallel decoding architecture, sign-min algorithm, interleaver memory
35	Nikolai Gorski, Valery Anisimov, Emmanuel Augustin, Olivier Baret, Sergey Maximov	Industrial bank check processing: the A2iA CheckReaderTM.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Bank check processing, Automatic reading, Intelligent character recognition, Handwriting recognition, Document analysis, Payment systems
33	Henk D. L. Hollmann, Ludo M. G. M. Tolhuizen	On Parity-Check Collections for Iterative Erasure Decoding That Correct all Correctable Erasure Patterns of a Given Size.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
33	Donghyuk Shin, Kyoungwoo Heo, Sangbong Oh, Jeongseok Ha	A Stopping Criterion for Low-Density Parity-Check Codes.	VTC Spring	2007	DBLP DOI BibTeX RDF
33	Liangli Huang, Shutao Li, Liming Li	Extraction of Filled-In Items from Chinese Bank Check Using Support Vector Machines.	ISNN (3)	2007	DBLP DOI BibTeX RDF
33	G. B. Belyavskaya, V. I. Izbash, Gary L. Mullen	Check Character Systems Using Quasigroups: II.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	AMS classification 94B60
33	Erik Bergström, Martin Lundgren, Karin Bernsmed, Guillaume Bour	"Check, Check, Check, We Got Those" - Catalogue Use in Information Security Risk Management.	HAISA	2023	DBLP DOI BibTeX RDF
33	Chaoyuan Zuo, Ayla Karakas, Ritwik Banerjee	To Check or Not to Check: Syntax, Semantics, and Context in the Language of Check-Worthy Claims.	CLEF	2019	DBLP DOI BibTeX RDF
32	Check-Yee Law, Michael Goh Kah Ong, Shih Yin Ooi, Lee-Ying Chong, Cha-Yi Ing, Ying-Ying Yong	A Pilot Study of Learning Programming with ScratchJr.	FICC (1)	2023	DBLP DOI BibTeX RDF
32	Check-Yee Law, Yong-Wee Sek, Choo-Chuan Tay, Wei-Wei Goh	Mobile Application for After School Pickup Solution: Malaysia Perspectives.	IntelliSys (3)	2022	DBLP DOI BibTeX RDF
32	Check-Yee Law, Yong-Wee Sek, Choo-Chuan Tay, Tze-Hui Liew	School Canteen Food Ordering Application with Food Allergy Alert Feature: Malaysia Perspective.	FTC (2)	2022	DBLP DOI BibTeX RDF
32	Check-Yee Law, Michael Goh Kah Ong, Wei-Siang Ng, Chee-Yung Loh, Yong-Wee Sek	The Integration of Smart Lock in Vacation Rental Management System.	ICCT	2020	DBLP DOI BibTeX RDF
32	Check-Yee Law, Yong-Wee Sek, Choo-Chuan Tay, Wei-Ann Lim, Tze-Hui Liew	The Design and Development of School Visitor Information Management System: Malaysia Perspective.	IHCI (1)	2020	DBLP DOI BibTeX RDF
32	Law Check Yee, John C. Grundy, Karola von Baggo, Andrew Cain, Rajesh Vasa	Evaluating an Open Learner Model Visualisation Prototype Tool with User eXperience Metrics.	ASWEC	2018	DBLP DOI BibTeX RDF
32	Ebot Ebot Enaw, Njei Check	Information Systems Security Audits in Cameroon's Public Administration.	ICEGOV	2018	DBLP DOI BibTeX RDF
32	Check Yee Law, John C. Grundy, Andrew Cain, Rajesh Vasa, Alex Cummaudo	User Perceptions of Using an Open Learner Model Visualisation Tool for Facilitating Self-regulated Learning.	ACE	2017	DBLP DOI BibTeX RDF
32	Ebot Ebot Enaw, Njei Check, Mokube Peter Teke	Organisational Framework for e-Government Development in Sub-Saharan Africa.	ICEGOV	2016	DBLP DOI BibTeX RDF
32	Check Yee Law, John Grundy 0001, Rajesh Vasa, Andrew Cain	An empirical study of user perceived usefulness and preference of open learner model visualisations.	VL/HCC	2016	DBLP DOI BibTeX RDF
32	Todd W. Arnold, Mark Check, Anne Dames, John C. Dayka, Silvio Dragone, Dave Evans, William Santiago-Fernandez, Michael D. Hocker, Richard Kisley, Thomas E. Morris, John Petreshock, Klaus Werner 0001	The next generation of highly reliable and secure encryption for the IBM z13.	IBM J. Res. Dev.	2015	DBLP DOI BibTeX RDF
32	Erika Check Hayden	Extreme cryptography paves way to personalized medicine.	Nat.	2015	DBLP DOI BibTeX RDF
32	Erika Check Hayden	Cybercrime fighters target human error.	Nat.	2015	DBLP DOI BibTeX RDF
32	Erika Check Hayden	Researchers wrestle with a privacy problem.	Nat.	2015	DBLP DOI BibTeX RDF
32	Erika Check Hayden	Rule rewrite aims to clean up scientific software.	Nat.	2015	DBLP DOI BibTeX RDF
32	Check Yee Law, John C. Grundy, Andrew Cain, Rajesh Vasa	A Preliminary Study of Open Learner Model Representation Formats to Support Formative Assessment.	COMPSAC	2015	DBLP DOI BibTeX RDF
32	Rainu Kaushal, George Hripcsak, Deborah D. Ascheim, Toby Bloom, Thomas R. Campion Jr., Arthur L. Caplan, Brian P. Currie, Thomas Check, Emme Levin Deland, Marc N. Gourevitch, Raffaella Hart, Carol R. Horowitz, Isaac Kastenbaum, Arthur Aaron Levin, Alexander F. H. Low, Paul Meissner, Parsa Mirhaji, Harold Alan Pincus, Charles Scaglione, Donna Shelley, Jonathan N. Tobin	Brief communication: Changing the research landscape: the New York City Clinical Data Research Network.	J. Am. Medical Informatics Assoc.	2014	DBLP DOI BibTeX RDF
32	Erika Check Hayden	Mozilla plan seeks to debug scientific code.	Nat.	2013	DBLP DOI BibTeX RDF
32	Erika Check Hayden	Privacy protections: The genome hacker.	Nat.	2013	DBLP DOI BibTeX RDF
32	Erika Check Hayden	Root of maths genius sought.	Nat.	2013	DBLP DOI BibTeX RDF
32	Njei Check, Mokube Peter Teke, Ebot Ebot Enaw	e-government project management conceptual framework.	ICEGOV	2013	DBLP DOI BibTeX RDF
32	Erika Check Hayden	Biostatistics: Revealing analysis.	Nat.	2012	DBLP DOI BibTeX RDF
32	Erika Check Hayden	RNA studies under fire.	Nat.	2012	DBLP DOI BibTeX RDF
32	Thomas Moore, Jason S. Shapiro, Luke Doles, Neil S. Calman, Eli Camhi, Thomas Check, Arit Onyile, Gilad J. Kuperman	Event Detection: A Clinical Notification Service on a Health Information Exchange Platform.	AMIA	2012	DBLP BibTeX RDF
32	Edward W. Chencinski, M. A. Check, Casimer M. DeCusatis, H. Deng, M. Grassi, Thomas A. Gregg, Markus M. Helms, A. D. Koenig, L. Mohr, Kulwant M. Pandey, Thomas Schlipf, Torsten Schober, H. Ulrich, Craig R. Walters	IBM System z10 I/O subsystem.	IBM J. Res. Dev.	2009	DBLP DOI BibTeX RDF
32	Check-Teck Foo, Say Wei Foo, Sin-Yee Foo	Cognitive neuronal dynamics of aesthetics: Kawabata and Zeki's neuroscience on beauty in Paralleli.	Int. J. Artif. Intell. Soft Comput.	2009	DBLP DOI BibTeX RDF
32	Check-Teck Foo	Systems engineering perspectives on the 2500-year-old Art of War by Sun Tzu.	Syst. Eng.	2008	DBLP DOI BibTeX RDF
32	Check-Teck Foo, Su-Xin Wong	Intelligent Recognizing and Classifying of Tubular-shaped Objects: A Case Study of Mystical Tibetan Dzis.	ICNC (1)	2007	DBLP DOI BibTeX RDF
32	Check-Teck Foo	Child of the Internet: Perceptions of Creativity in e-Identities.	Cyberpsychology Behav. Soc. Netw.	2003	DBLP DOI BibTeX RDF
32	Eric M. Schwarz, Mark A. Check, Chung-Lung Kevin Shum, Thomas Koehler, Scott B. Swaney, John D. MacDougall, Christopher A. Krygowski	The microarchitecture of the IBM eServer z900 processor.	IBM J. Res. Dev.	2002	DBLP DOI BibTeX RDF
32	Jeff L. Sonntag, John T. Stonick, James Gorecki, Bill Beale, Bill Check, Xue-Mei Gong, Joe Guiliano, Kyong Lee, Bob Lefferts, David A. Yokoyama-Martin, Un-Ku Moon, Amber Sengir, Stephen Titus, Gu-Yeon Wei, Daniel Weinlader, YaoHua Yang	An adaptive PAM-4 5 Gb/s backplane transceiver in 0.25 μm CMOS.	CICC	2002	DBLP DOI BibTeX RDF
32	Timothy J. Slegel, Robert M. Averill III, Mark A. Check, Bruce C. Giamei, Barry Krumm, Christopher A. Krygowski, W. H. Li, John S. Liptay, John D. MacDougall, Thomas J. McPherson, Jennifer A. Navarro, Eric M. Schwarz, Chung-Lung Kevin Shum, Charles F. Webb	IBM's S/390 G5 microprocessor design.	IEEE Micro	1999	DBLP DOI BibTeX RDF
32	Mark A. Check, Timothy J. Slegel	Custom S/390 G5 and G6 microprocessors.	IBM J. Res. Dev.	1999	DBLP DOI BibTeX RDF
32	Paul L. Check, Charles J. Colbourn	Concerning difference families with block size four.	Discret. Math.	1994	DBLP DOI BibTeX RDF
32	Abdul Hamid Rana, Alain C. Briançon, William A. Check, Carmel Ortiz	VSAT-Enhanced ISDN: Architectures and Implementation.	IEEE J. Sel. Areas Commun.	1992	DBLP DOI BibTeX RDF
32	Abdul Hamid Rana, John S. McCoskey, William A. Check	VSAT technology, trends, and applications.	Proc. IEEE	1990	DBLP DOI BibTeX RDF
32	Check Fu Lee	Finite difference method for electromagnetic scattering problems.		1990	RDF
32	David L. Landis, Daniel C. Muha, William A. Check	Influence of Built-In Self Test on the Performance of Fault Tolerant VLSI Multiprocessors.	ICPP	1987	DBLP BibTeX RDF
32	Herbert B. Voelcker, Aristides A. G. Requicha, Eugene E. Hartquist, W. Fisher, J. Metzger, Robert B. Tilove, N. Birrell, W. Hunt, G. Armstrong, T. Check, R. Moote, J. McSweeney	The PADL-1.0/2 system for defining and displaying solid objects.	SIGGRAPH	1978	DBLP DOI BibTeX RDF
31	Amanda Moos, Chad Talbert	Stuck in nerdville: implementing a laptop checkout program via information commons.	SIGUCCS	2004	DBLP DOI BibTeX RDF	1x authentication, check-in, check-out, information commons, lab consultants, laptop checkout program, traditional computing lab, wireless networking, portability, library, environment, laptops
31	Jay W. Schwartz, Jack K. Wolf	A Systematic (12, 8) Code for Correcting Single Errors and Detecting Adjacent Errors.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	systematic (12,8) code, correcting single errors, detecting adjacent errors, parity check matrix, 4-b nibbles, systematic parity check code, error correction codes, error detection codes
31	Bella Bose, T. R. N. Rao	Unidirectional Error Codes for Shift-Register Memories.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	Arithmetic residue check, unidirectional errors, parity check, shift register memories, information rate, asymmetric errors, symmetric errors
31	P. Prusinkiewicz, Stanislaw Budkowski	A Double Track Error-Correction Code for Magnetic Tape.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Askew redundancy check, error correcting for magnetic tape, vertical redundancy check, error-correcting codes, feedback shift register
31		Quantum Quasi-Cyclic Low-Density Parity-Check Codes.	ICIC (1)	2009	DBLP DOI BibTeX RDF	Quasi-cyclic Low-density Parity-check Codes, encoding and decoding, CSS code, Quantum code
31	Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris	Speculative improvements to verifiable bounds check elimination.	PPPJ	2008	DBLP DOI BibTeX RDF	SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation
31	Marghoob Mohiyuddin, Amit Prakash, Adnan Aziz, Wayne H. Wolf	Synthesizing interconnect-efficient low density parity check codes.	DAC	2004	DBLP DOI BibTeX RDF	error correcting codes, low-density parity-check codes, routing congestion
31	Matthias Pflanz, Karsten Walther, Christian Galke, Heinrich Theodor Vierhaus	On-Line Techniques for Error Detection and Correction in Processor Registers with Cross-Parity Check.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	cross-parity check, on-line BIST, multiple soft-error detection, self-repair
31	Yanni Chen, Keshab K. Parhi	High throughput overlapped message passing for low density parity check codes.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	overlapped message passing, high throughput, low density parity check codes
29	Murat Arabaci, Ivan B. Djordjevic, Ross Saunders, Roberto M. Marcoccia	Regular non-binary quasi-cyclic LDPC codes for high-rate applications.	IWCMC	2009	DBLP DOI BibTeX RDF	non-binary quasi-cyclic codes, low-density parity-check codes
29	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	The Correctness of Set-Sharing.	SAS	1998	DBLP DOI BibTeX RDF	occur-check, rational trees, set-sharing, logic programming, abstract interpretation
28	Sunghwan Kim, Min-Ho Jang, Jong-Seon No, Song-Nam Hong, Dong-Joon Shin	Sequential message-passing decoding of LDPC codes by partitioning check nodes.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
28	Kun Peng, Feng Bao 0001	Efficient Vote Validity Check in Homomorphic Electronic Voting.	ICISC	2008	DBLP DOI BibTeX RDF
28	Guosen Yue, Li Ping 0001, Xiaodong Wang 0001	Generalized Low-Density Parity-Check Codes Based on Hadamard Constraints.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
28	Marc P. C. Fossorier, Kazukuni Kobara, Hideki Imai	Modeling Bit Flipping Decoding Based on Nonorthogonal Check Sums With Application to Iterative Decoding Attack of McEliece Cryptosystem.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
28	Gil Wiechman, Igal Sason	Parity-Check Density Versus Performance of Binary Linear Block Codes: New Bounds and Applications.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
28	Malayappan Shridhar, Gilles F. Houle, Fumitaka Kimura	Comprehensive Check Image Reader.	ICCTA	2007	DBLP DOI BibTeX RDF
28	Simone Appelt, Rajan Batta, Li Lin 0007, Colin G. Drury	Simulation of passenger check-in at a medium-sized US airport.	WSC	2007	DBLP DOI BibTeX RDF
28	Ruwan N. S. Ratnayake, Erich F. Haratsch, Gu-Yeon Wei	Serial Sum-Product Architecture for Low-Density Parity-Check Codes.	ICCCN	2007	DBLP DOI BibTeX RDF
28	Doron Rotem, Kurt Stockinger, Kesheng Wu	Optimizing candidate check costs for bitmap indices.	CIKM	2005	DBLP DOI BibTeX RDF	dynamic programming, query processing, bitmap index
28	Arnab Ray	Security check: a formal yet practical framework for secure software architecture.	NSPW	2003	DBLP DOI BibTeX RDF
28	Manuel Blum 0001	Designing Programs to Check Their Work (Abstract).	ISSTA	1993	DBLP DOI BibTeX RDF
28	W. P. Weijland	Semantics for Logic Programs without Occur Check.	ICALP	1988	DBLP DOI BibTeX RDF
26	Keqiao Yang, Zeng Huang, Min Yang	Array Bounds Check Elimination for Java Based on Sparse Representation.	SERA	2009	DBLP DOI BibTeX RDF	array bounds check elimination, Java, optimization, performance
26	Hyundo Park, Peng Li 0059, Debin Gao, Heejo Lee, Robert H. Deng	Distinguishing between FE and DDoS Using Randomness Check.	ISC	2008	DBLP DOI BibTeX RDF	Flash Event, Randomness Check, Network Security, Distributed Denial of Service
26	Guido Kaufmann, Horst Bunke	Detection and correction of recognition errors in check reading.	Int. J. Document Anal. Recognit.	2000	DBLP DOI BibTeX RDF	Reading systems, Check processing, Post-processing, Word recognition, Syntax-directed translation