Search results for "inspection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Julio Martín-Herrero, Marcos Ferreiro-Armán, José Luis Alba-Castro	A SOFM Improves a Real Time Quality Assurance Machine Vision System.	ICPR (4)	2004	DBLP DOI BibTeX RDF
12	Christian Denger, Marcus Ciolkowski, Filippo Lanubile	Investigating the Active Guidance Factor in Reading Techniques for Defect Detection.	ISESE	2004	DBLP DOI BibTeX RDF
12	Marcos Kalinowski, Guilherme Horta Travassos	Computational Framework for Supporting Software Inspections.	ASE	2004	DBLP DOI BibTeX RDF
12	Francisco L. Valverde, Nicolás Guil, Enrique Domínguez Merino, José Muñoz-Pérez	A Statistical Validation of Vessel Segmentation in Medical Images.	IBERAMIA	2004	DBLP DOI BibTeX RDF
12	Anindya Banerjee 0001, David A. Naumann	History-Based Access Control and Secure Information Flow.	CASSIS	2004	DBLP DOI BibTeX RDF
12	John Clements, Matthias Felleisen	A Tail-Recursive Semantics for Stack Inspections.	ESOP	2003	DBLP DOI BibTeX RDF
12	Attila Özgit, Burak Dayioglu, Erhan Anuk, Inan Kanbur, Ozan Alptekin, Umut Ermis	Design of a Log Server for Distributed and Large-Scale Server Environments.	ISCIS	2003	DBLP DOI BibTeX RDF
12	Jason M. Daida, Adam M. Hilss, David J. Ward, Stephen L. Long	Visualizing Tree Structures in Genetic Programming.	GECCO	2003	DBLP DOI BibTeX RDF
12	Christian Denger, Marcus Ciolkowski	High Quality Statecharts through Tailored, Perspective-Based Inspections.	EUROMICRO	2003	DBLP DOI BibTeX RDF
12	Nicholas M. Patrikalakis	Keynote lecture: shape interrogation.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF
12	Matthew Browne, Saeed Shiry Ghidary	Convolutional Neural Networks for Image Processing: An Application in Robot Vision.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
12	Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha	Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.	TACAS	2002	DBLP DOI BibTeX RDF
12	Andrew Brooks, Louise Scott	Constraints in CASE Tools: Results from Curiosity Driven Research.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
12	Bernd G. Freimut, Oliver Laitenberger, Stefan Biffl	Investigating The Impact Of Reading Techniques On The Accuracy Of Different Defect Content Estimation Techniques.	IEEE METRICS	2001	DBLP DOI BibTeX RDF
12	Anand K. Gramopadhye, Kartik Madhani	Visual Search and Visual Lobe Size.	IWVF	2001	DBLP DOI BibTeX RDF
12	Josef Pauli, Arne Schmidt 0002, Gerald Sommer	Servoing Mechanisms for Peg-In-Hole Assembly Operations.	RobVis	2001	DBLP DOI BibTeX RDF
12	Gerd Häusler	How Much 3D-Information Can We Acquire? Optical Range Sensors at the Physical Limit, and Where to Apply Them.	3DIM	2001	DBLP DOI BibTeX RDF
12	Forrest Shull, Jeffrey C. Carver, Guilherme Travassos	An empirical methodology for introducing software processes.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	OO design inspections, experimental process, empirical studies, software quality, software process
12	C. Fernández, Fernando Torres Medina, Santiago T. Puente Méndez	SASEPA: Simultaneous Allocation and Scheduling with Exclusion and Precedence Relations Algorithm.	PPAM	2001	DBLP DOI BibTeX RDF
12	David Pinelle, Carl Gutwin	Group Task Analysis for Groupware Usability Evaluations.	WETICE	2001	DBLP DOI BibTeX RDF	mechanics of collaboration, groupware walkthrough, task analysis, Groupware evaluation
12	Antonio Lain, Dhruva R. Chakrabarti, Prithviraj Banerjee	Compiler and Run-Time Support for Exploiting Regularity within Irregular Applications.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	compiler support, runtime compilation, iterative, distributed memory multicomputers, runtime support, Irregular applications
12	Atsuo Hazeyama	An Education Class on Design and Implementation of an Information System in a University and Its Evaluation.	COMPSAC	2000	DBLP DOI BibTeX RDF
12	Norman F. Schneidewind	On the Repeatability of Metric Models and Metrics across Software Builds.	ISSRE	2000	DBLP DOI BibTeX RDF
12	Ehud Sharlin, Pablo A. Figueroa, Mark Green 0001, Benjamin Watson 0001	A Wireless, Inexpensive Optical Tracker for the CAVE(tm).	VR	2000	DBLP DOI BibTeX RDF	Optical Tracker, VizRoom, Virtual Reality, Structured Light, CAVE, User Tracking
12	Airi Salminen, Pasi Tiitinen, Virpi Lyytikäinen	Usability Evaluation of a Structured Document Archive.	HICSS	1999	DBLP DOI BibTeX RDF
12	Bruno Hémeury	Report on the VERA Experiment.	Ada-Europe	1999	DBLP DOI BibTeX RDF
12	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
12	Dolores R. Wallace	Enhancing Competitiveness via a Public Fault & Failure Data Repository .	HASE	1998	DBLP DOI BibTeX RDF	World Wide Web, reliability, software quality, Data analysis, failure, fault, data collection
12	Motoyuki Suzuki, Teruhiko Maeda, Hiroki Mori, Shozo Makino	Automatic Acquisition of Phoneme Models and Its Application to Phoneme Labeling of a Large Size of Speech Corpus.	Discovery Science	1998	DBLP DOI BibTeX RDF
12	Arno Vermunt, Martin Smits, Gert van der Pijl, Rini van Solingen	Using GSSs to Support Error Detection in Software Specifications.	HICSS (1)	1998	DBLP DOI BibTeX RDF
12	Thomas Linke, Torsten Schaub	An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.	JELIA	1998	DBLP DOI BibTeX RDF
12	Ian D. Watson, Leonardo Oliveira	Virtual Reality as an Environment for CBR.	EWCBR	1998	DBLP DOI BibTeX RDF
12	Reinhold Rauh, Christoph Schlieder, Markus Knauff	Präferierte mentale Modelle beim räumlich-relationalen Schließen: Empirie und kognitive Modellierung.	Kognitionswissenschaft	1997	DBLP DOI BibTeX RDF
12	Michiel van Genuchten, Wieger Cornelissen, Cor van Dijk	Supporting Inspections With an Electronic Meeting System.	HICSS (2)	1997	DBLP DOI BibTeX RDF
12	Robert J. Hall 0001	Reactive System Validation using Automated Reasoning over a Fragment Library.	ASE	1997	DBLP DOI BibTeX RDF	reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
12	Thomas B. Hilburn	Inspections of formal specifications.	SIGCSE	1996	DBLP DOI BibTeX RDF
12	Adam A. Porter, Lawrence G. Votta, Victor R. Basili	Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	technique and methodology evaluation, inspections, Controlled experiments, reading techniques
12	Gerald F. Gattis, Thomas J. Cheatham	Testing object-oriented software.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
11	Kohei Nasaka, Tomohiro Takami, Takumi Yamamoto, Masakatsu Nishigaki	A Keystroke Logger Detection Using Keyboard-Input-Related API Monitoring.	NBiS	2011	DBLP DOI BibTeX RDF	keystroke logger, dynamic API inspection, behavior detection
11	Xingkui Liu, Xinchun Liu, Ninghui Sun	Fast and Compact Regular Expression Matching Using Character Substitution.	ANCS	2011	DBLP DOI BibTeX RDF	Regular expressions, DFA, deep packet inspection
11	Kunyang Peng, Siyuan Tang, Min Chen, Qunfeng Dong	Chain-Based DFA Deflation for Fast and Scalable Regular Expression Matching Using TCAM.	ANCS	2011	DBLP DOI BibTeX RDF	DFA, Deep Packet Inspection, TCAM, Regular Expression Matching
11	Skyler Schneider, Daniel Y. Deng, Daniel Lo, Greg Malysa, G. Edward Suh	Implementing dynamic information flow tracking on microprocessors with integrated FPGA fabric (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	dynamic inspection, reconfigurable microprocessors, fpga
11	Gustavo de Sá Carvalho Honorato, Simone Diniz Junqueira Barbosa	NCL-inspector: towards improving NCL code.	SAC	2010	DBLP DOI BibTeX RDF	NCL inspection tool, hypermedia development, static code analysis tool, NCL
11	Mark Perry 0001, Thomas Margoni	Interpreting Network Discrimination in the CRTC and FCC.	ICDS	2010	DBLP DOI BibTeX RDF	Network Neutrality, Packet Discrimination, Policy, Deep Packet Inspection, Traffic Shaping
11	Zhichun Li, Gao Xia, Hongyu Gao, Yi Tang 0002, Yan Chen 0004, Bin Liu 0001, Junchen Jiang, Yuezhou Lv	NetShield: massive semantics-based vulnerability signature matching for high-speed networks.	SIGCOMM	2010	DBLP DOI BibTeX RDF	vulnerability signature, intrusion detection, deep packet inspection, signature matching
11	Chongchang Yang, Bin Cui 0002, Chunlei Li	Study on the Micro-measure Technology of Continuous Automatic Measurement of Spinneret.	MVHI	2010	DBLP DOI BibTeX RDF	Spinneret, Inspection, digital image processing, CCD
11	Sylvie Trudel, Alain Abran	Functional Requirement Improvements through Size Measurement: A Case Study with Inexperienced Measurers.	SERA	2010	DBLP DOI BibTeX RDF	Functional size, measurement, requirements, quality, inspection, review, FSM, improvement, COSMIC
11	Pedro T. Isaías, Cristiane Casaca, Sara Pífano	Recommender Systems for Human Resources Task Assignment.	AINA	2010	DBLP DOI BibTeX RDF	Portuguese public inspection organisations, casebased reasoning, Recommender systems, collaborative filtering, content-based filtering, competences management
11	ChangHo Han, Youngkee Ryu, Choonsuk Oh	A study on enhanced algorithms for detecting defects of glasses.	ICHIT	2009	DBLP DOI BibTeX RDF	blister, image processing, machine-vision, inspection, chain code, ccd-camera
11	Denis Ávila Montini, Felipe Rafael Motta Cardoso, Francisco Supino Marcondes, Paulo Marcelo Tasinaffo, Luiz Alberto Vieira Dias, Adilson Marques da Cunha	Using GQM Hypothesis Restriction to Infer Bayesian Network Testing.	ITNG	2009	DBLP DOI BibTeX RDF	manufacture cell, Final Inspection (FI), test, Bayesian network, GQM, Software house
11	Jay A. McCarthy	Automatically RESTful web applications: marking modular serializable continuations.	ICFP	2009	DBLP DOI BibTeX RDF	web applications, continuations, stack inspection
11	Christian Schröder, Wolfgang Klingauf, Robert Günzel, Mark Burton, Eric Roesler	Configuration and control of SystemC models using TLM middleware.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	OSCI CCI, greenconfig, greencontrol, control, analysis, configuration, inspection, systemc
11	Tom Kamphans, Elmar Langetepe	Inspecting a Set of Strips Optimally.	WADS	2009	DBLP DOI BibTeX RDF	watchman routes, optimal inspection path, Computational geometry, motion planning, optimal algorithm
11	Aicha-Baya Goumeidane, Mohammed Khamadja, Nafaa Naceredine	Bayesian Pressure Snake for Weld Defect Detection.	ACIVS	2009	DBLP DOI BibTeX RDF	pdf estimation, Radiographic images, Non Destructive Inspection, images segmentation, Snake
11	Davide Bolchini, Franca Garzotto, Fabio Sorce	Does Branding Need Web Usability? A Value-Oriented Empirical Study.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	value-centered approach, communication goal, usability, empirical study, web application, inspection, brand
11	Beatriz Paniagua, Patrick R. Green, Mike J. Chantler, Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez	Perceptually Relevant Pattern Recognition Applied to Cork Quality Detection.	ICIAR	2009	DBLP DOI BibTeX RDF	Stopper quality, cork industry, vision science, automated visual inspection system, perceptual features, image processing, eye tracking
11	Oreste Villa, Daniele Paolo Scarpazza, Fabrizio Petrini	Accelerating Real-Time String Searching with Multicore Processors.	Computer	2008	DBLP DOI BibTeX RDF	String-searching algorithms, memory congestion, multicore processors, Cell Broadband Engine, deep-packet inspection
11	Juho Kannala, Sami S. Brandt, Janne Heikkilä	Measuring and modelling sewer pipes from video.	Mach. Vis. Appl.	2008	DBLP DOI BibTeX RDF	Modelling, 3D-reconstruction, Structure from motion, Omnidirectional vision, Visual inspection
11	Andreea I. Niculescu	Affordances in Conversational Interactions with Multimodal QA Systems.	USAB	2008	DBLP DOI BibTeX RDF	Conversational Interactions, Multimodal QA systems, Affordances, Usability Inspection, Cognitive Walkthrough
11	Lawrence Cabac, Till Dörges, Heiko Rölke	A Monitoring Toolset for Paose.	Petri Nets	2008	DBLP DOI BibTeX RDF	Paose, multi-agent systems, testing, monitoring, debugging, analysis, inspection, Renew, reference nets
11	Gaston Ormazabal, Sarvesh Nagpal, Eilon Yardeni, Henning Schulzrinne	Secure SIP: A Scalable Prevention Mechanism for DoS Attacks on SIP Based VoIP Systems.	IPTComm	2008	DBLP DOI BibTeX RDF	Signaling Attacks, Application Layer Firewall, Security, Scalability, Distributed Computing, SIP, VoIP, DoS, DDoS, Deep Packet Inspection
11	Andreas Kuleschow, Christian Münzenmayer, Klaus Spinnler	A Fast Logical-Morphological Method to Segment Scratch - Type Objects.	ICCVG	2008	DBLP DOI BibTeX RDF	image processing, segmentation, adaptive thresholding, morphological operations, surface inspection
11	Anirban Majumder, Rajeev Rastogi, Sriram Vanama	Scalable regular expression matching on data streams.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	data streams, deep packet inspection, regular expression matching
11	Fajie Li, Reinhard Klette	An Approximate Algorithm for Solving the Watchman Route Problem.	RobVis	2008	DBLP DOI BibTeX RDF	Watchman Route Problem, rubberband algorithm, computational geometry, simple polygon, visual inspection, Euclidean shortest path
11	Petra Perner	Novel Computerized Methods in System Biology -Flexible High-Content Image Analysis and Interpretation System for Cell Images.	MDA	2008	DBLP DOI BibTeX RDF	Image Analysis and Interpretation, High-Content Analysis of Images HCA, Automation and Standardization of Visual Inspection Tasks, Systems for Knowledge Discovery and Interpretation, Microscopic Cell Image Analysis, Image-Mining
11	Adam Edelman, William B. Frakes, Charles W. Lillie	SAM: Simple API for Object-Oriented Code Metrics.	ICSR	2008	DBLP DOI BibTeX RDF	source analysis, static analysis, Software metrics, generators, parsing, object-oriented metrics, code inspection, code metrics
11	Guntur Ravindra, Joseph Thaliath, Ian D. Chakeres	In-network optimal rate reduction for packetized MPEG video.	Q2SWinet	2008	DBLP DOI BibTeX RDF	content inspection, streamed MPEG video, QoS, rate adaptation, knapsack
11	Purnamrita Sarkar, Lujie Chen, Artur Dubrawski	Dynamic Network Model for Predicting Occurrences of Salmonella at Food Facilities.	BioSecure	2008	DBLP DOI BibTeX RDF	latent space models, food safety surveillance, risk based inspection, social networks, Link analysis
11	Juan Gómez-Sanchís, Gustavo Camps-Valls, Enrique Moltó, Luis Gómez-Chova, Nuria Aleixos, José Blasco	Segmentation of Hyperspectral Images for the Detection of Rotten Mandarins.	ICIAR	2008	DBLP DOI BibTeX RDF	fruit inspection, feature selection, hyperspectral imaging, pixel classification
11	Filippo Lanubile, Teresa Mallardo	Inspecting Automated Test Code: A Preliminary Study.	XP	2007	DBLP DOI BibTeX RDF	Empirical Study, Refactoring, Unit Test, Pair Programming, Automated Testing, Software Inspection
11	Aline Vasconcelos, Cláudia M. L. Werner	Architecture Recovery and Evaluation Aiming at Program Understanding and Reuse.	QoSA	2007	DBLP DOI BibTeX RDF	data mining, software reuse, dynamic analysis, program understanding, software inspection, Architecture recovery, architecture evaluation
11	Hanna Yehuda, Jennifer McGinn	Coming to terms: comparing and combining the results of multiple evaluators performing heuristic evaluation.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	rating scale, usability, usability evaluation, competitive analysis, heuristic evaluation, usability inspection, severity, evaluator effect
11	Damiano Carra, Ernst W. Biersack	Building a reliable P2P system out of unreliable P2P clients: the case of KAD.	CoNEXT	2007	DBLP DOI BibTeX RDF	inspection policy, peer-to-peer, performance analysis, KAD
11	Joel U. Eden	Distributed cognitive walkthrough (DCW): a walkthrough-style usability evaluation method based on theories of distributed cognition.	Creativity & Cognition	2007	DBLP DOI BibTeX RDF	walkthrough inspection method, interaction design, usability evaluation, distributed cognition
11	Jeppe Brønsted, Erik Grönvall, David Fors	Palpability Support Demonstrated.	EUC	2007	DBLP DOI BibTeX RDF	ubiquitous computing, middleware, services, inspection, assemblies, simulation framework, Palpable computing
11	Masakazu Ejiri	Machine Vision in Early Days: Japan's Pioneering Contributions.	ACCV (1)	2007	DBLP DOI BibTeX RDF	social automation, video image analysis, robotics, inspection, assembly, office automation, real-time image processing, Factory automation
11	Sailesh Kumar, Balakrishnan Chandrasekaran 0002, Jonathan S. Turner, George Varghese	Curing regular expressions matching algorithms from insomnia, amnesia, and acalculia.	ANCS	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
11	Michela Becchi, Patrick Crowley	An improved algorithm to accelerate regular expression evaluation.	ANCS	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
11	Ricardo Toledo, Ramon Baldrich, Xavier Orriols, Juan Sanchez, Xavier Binefa	Automatic cataloguing of advertisement in magazines.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	Computer-aided visual inspection, Content-based image retrieval, Multimedia system, Document image analysis
11	Dharmender Singh Kushwaha, Arun Kumar Misra	Cognitive complexity metrics and its impact on software reliability based on cognitive software development model.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	cognitive documentation complexity, cognitive requirement engineering, cognitive software development model, cognitive software inspection process, metacognition
11	N. G. Shankar, Z. W. Zhong	Improved segmentation of semiconductor defects using area sieves.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Area sieve, Discrete wavelet transform, Machine vision, Inspection, Semiconductor
11	Joaquín Salas, Wendy Avalos, Rafael Castañeda, Mario Maya	A machine-vision system to measure the parameters describing the performance of a Foucault pendulum.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Object recognition, Visual tracking, Target detection, Vision system, Visual inspection
11	Rich Caruana, Mohamed Farid Elhawary, Art Munson, Mirek Riedewald, Daria Sorokina, Daniel Fink 0002, Wesley M. Hochachka, Steve Kelling	Mining citizen science data to predict orevalence of wild bird species.	KDD	2006	DBLP DOI BibTeX RDF	attribute importance, model inspection, partial dependence function, decision trees, sensitivity analysis, bagging
11	Geoffrey A. Hollinger, David A. Gwaltney	Evolutionary design of fault-tolerant analog control for a piezoelectric pipe-crawling robot.	GECCO	2006	DBLP DOI BibTeX RDF	inspection robots, genetic algorithms, robot control, evolvable hardware, piezoelectric actuators
11	Taiga Nakamura, Lorin Hochstein, Victor R. Basili	Identifying domain-specific defect classes using inspections and change history.	ISESE	2006	DBLP DOI BibTeX RDF	change history, domain specific defects, inspection, code reading
11	Gursimran Singh Walia, Jeffrey C. Carver, Thomas Philip	Requirement error abstraction and classification: an empirical study.	ISESE	2006	DBLP DOI BibTeX RDF	error abstraction, empirical study, error, inspection, root cause analysis
11	Daniela E. Damian, Filippo Lanubile, Teresa Mallardo	The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements negotiations.	ICSE	2006	DBLP DOI BibTeX RDF	computer-mediated communication, asynchronous communication, software inspection, common ground, requirements negotiation
11	Ramaswamy Ramaswamy, Lukas Kencl, Gianluca Iannaccone	Approximate fingerprinting to accelerate pattern matching.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	intrusion detection, pattern matching, fingerprint, deep packet inspection
11	Ioannis Sourdis, Vassilis Dimopoulos, Dionisios N. Pnevmatikatos, Stamatis Vassiliadis	Packet pre-filtering for network intrusion detection.	ANCS	2006	DBLP DOI BibTeX RDF	packet inspection, packet pre-filtering, intrusion detection
11	Franz Pernkopf	3D surface analysis using coupled HMMs.	Mach. Vis. Appl.	2005	DBLP DOI BibTeX RDF	Surface analysis, EM training, Range data analysis, Surface inspection, Coupled hidden Markov models
11	Fumiko Nagoya, Shaoying Liu, Yuting Chen	A Tool and Case Study for Specification-Based Program Review.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	Rigorous review, verification, formal specifications, inspection
11	Franz Pernkopf	Detection of surface defects on raw steel blocks using Bayesian network classifiers.	Pattern Anal. Appl.	2004	DBLP DOI BibTeX RDF	Light sectioning, Feature selection, Range imaging, Surface inspection, Bayesian network classifier
11	Christine Wong, Mohamed S. Kamel	Comparing Viewpoint Evaluation Functions for Model-Based Inspectional Coverage.	CRV	2004	DBLP DOI BibTeX RDF	camera planning, camera viewpoints, model-based inspection, object coverage
11	Jia Xu	Making Software Timing Properties Easier to Inspect and Verify.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	preruntime scheduling, verification, real time, predictability, software, code, inspection, undecidability, timing properties, state space explosion
11	R. Geoff Dromey	Software Quality-Prevention versus Cure?	Softw. Qual. J.	2003	DBLP DOI BibTeX RDF	product quality models, defect prevention, quality-carrying properties, component-based quality, software inspection, software defects, acceptance testing
11	Sheng Uei Guan, Pin Xie, Hong Li	A golden-block-based self-refining scheme for repetitive patterned wafer inspections.	Mach. Vis. Appl.	2003	DBLP DOI BibTeX RDF	Wafer inspection, Golden template, PDI, Image-to-image reference method, Golden block
11	Tong Fang, Mohsen A. Jafari, Stephen C. Danforth, Ahmad Safari	Signature analysis and defect detection in layered manufacturing of ceramic sensors and actuators.	Mach. Vis. Appl.	2003	DBLP DOI BibTeX RDF	Layered manufacturing, Inspection system, Fused deposition of ceramics, Signature analysis, Defect detection
11	Alan Wassyng, Mark Lawford	Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.	FME	2003	DBLP DOI BibTeX RDF	experience paper, verification, specification, inspection, Industrial application, safety critical software
11	Cédric Bach, Dominique L. Scapin	Ergonomic criteria adapted to human virtual environment interaction.	IHM	2003	DBLP DOI BibTeX RDF	ergonomic criteria, ergonomic inspection methods, human-virtual environments interactions, experiment
11	Janice Redish, Randolph G. Bias, Robert Bailey, Rolf Molich, Joseph S. Dumas, Jared M. Spool	Usability in practice: formative usability evaluations - evolution and revolution.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	consensus building, usability report, user-centered design, user interface design, usability engineering, iterative design, usability methods, inspection methods