Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Ramakrishnan Venkitaraman, Gopal Gupta 0001	Static program analysis of embedded executable assembly code.	CASES	2004	DBLP DOI BibTeX RDF	embedded software components, executable code, static analysis, abstract interpretation, assembly code
15	Fitsum Admasu, Klaus D. Tönnies	Automatic Method for Correlating Horizons across Faults in 3D Seismic Data.	CVPR (1)	2004	DBLP DOI BibTeX RDF	seismic image interpretation, model-based analysis, multi-resolution correspondence analysis
15	Roberto Giacobazzi, Isabella Mastroeni	Proving Abstract Non-interference.	CSL	2004	DBLP DOI BibTeX RDF	abstract non-interference, verification, Abstract interpretation, language-based security
15	Frank Ditrich, Herbert Süße, Klaus Voss	Vectorization-Free Reconstruction of 3D CAD Models from Paper Drawings.	ICIAR (1)	2004	DBLP DOI BibTeX RDF	Drawing Interpretation, CAD, Applications, Recognition, 3D Reconstruction
15	Fausto Spoto, Thomas P. Jensen	Class analyses as abstract interpretations of trace semantics.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Abstract interpretation, denotational semantics, class analysis
15	Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels	Robustness analysis of avionics embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	accuracy analysis, avionics embedded systems, lustre specifications, abstract interpretation, safety analysis
15	Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	A static analyzer for large safety-critical software.	PLDI	2003	DBLP DOI BibTeX RDF	verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
15	Youssouf Saidali, Sébastien Adam, Jean-Marc Ogier, Éric Trupin, Jacques Labiche	Knowledge Representation and Acquisition for Engineering Document Analysis.	GREC	2003	DBLP DOI BibTeX RDF	Technical document interpretation, knowledge representation and acquisition, XML, man-machine interaction
15	Matthieu Martel	Static Analysis of the Numerical Stability of Loops.	SAS	2002	DBLP DOI BibTeX RDF	Relational Analysis, Semantics of Floating-point Numbers, Abstract Interpretation, Numerical Precision
15	Antoine Miné	The Octagon Abstract Domain.	WCRE	2001	DBLP DOI BibTeX RDF	linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools
15	Jacob M. Howe, Andy King	Positive Boolean Functions as Multiheaded Clauses.	ICLP	2001	DBLP DOI BibTeX RDF	Boolean functions, interpretation, groundness analysis, (constraint) logic programs
15	Lunjin Lu	Parameterizing a Groundness Analysis of Logic Programs.	SAS	2001	DBLP DOI BibTeX RDF	Logic programs, Abstract Interpretation, Groundness Analysis
15	Takeyuki Suzuki, Jien Kato, Toyohide Watanabe	Extraction of Contextual Information Existing among Component Elements of Origami Books.	GREC	2001	DBLP DOI BibTeX RDF	drawing interpretation, Voronoi diagram, document analysis, origami
15	Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey	Incremental analysis of constraint logic programs.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, constraint logic programming, incremental computation
15	Julio Mariño, Juan José Moreno-Navarro	Using Static Analysis to Compile Non-sequential Functional Logic Programs.	PADL	2000	DBLP DOI BibTeX RDF	Interpretation, Sequentiality, Functional Logic Programming
15	Hui Shao, Liyuan Li, Ping Xiao, Maylor K. H. Leung	ELEVIEW: An Active Elevator Video Surveillance System.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	ELEVIEW, active elevator video surveillance system, automated scene interpretation system, scenario classification, image segmentation, image segmentation, surveillance, active vision, lifts, alarm, crime
15	Jacob M. Howe, Andy King	Implementing Groundness Analysis with Definite Boolean Functions.	ESOP	2000	DBLP DOI BibTeX RDF	definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs
15	Jan Gustafsson	Eliminating annotations by automatic flow analysis of real-time programs.	RTCSA	2000	DBLP DOI BibTeX RDF	automatic flow analysis, path information, safe approximation, calculation cost, exact information, intractable problem, nontrivial programs, real-time systems, annotations, abstract interpretation, worst case execution time, WCET, automatic programming, program diagnostics, real time programs, infeasible paths
15	John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi	Extending Java for Package based Access Control.	ACSAC	2000	DBLP DOI BibTeX RDF	package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation
15	Wendy Martin	The social and cultural shaping of educational technology: Toward a social constructivist framework.	AI Soc.	1999	DBLP DOI BibTeX RDF	Education, Computers, Cultural, Interpretation, Technology, Constructivism, Social
15	Stefan Pittner, Sagar V. Kamarthi	Feature Extraction From Wavelet Coefficients for Pattern Recognition Tasks.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	fast wavelet transform, signal interpretation, Feature extraction
15	Guy Lorette	Handwriting recognition or reading? What is the situation at the dawn of the 3rd millenium?	Int. J. Document Anal. Recognit.	1999	DBLP DOI BibTeX RDF	Perception, Recognition, Interpretation, Reading, Handwriting
15	Adelheit Stein, Jon Atle Gulla, Ulrich Thiel	User-Tailored Planning of Mixed Initiative Information-Seeking Dialogues.	User Model. User Adapt. Interact.	1999	DBLP DOI BibTeX RDF	Conversational retrieval, dialogue planning, dialogue act interpretation, abduction, mixed initiative
15	Gabriella Kókai, Zoltán Tóth, Róbert Ványi	Modelling Blood Vessels of the Eye with Parametric L-Systems Using Evolutionary Algorithms.	AIMDM	1999	DBLP DOI BibTeX RDF	image and signal interpretation, Computer vision, evolutionary algorithms
15	Andy King, Jan-Georg Smaus, Patricia M. Hill	Quotienting Share for Dependency Analysis.	ESOP	1999	DBLP DOI BibTeX RDF	definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs
15	Enea Zaffanella, Patricia M. Hill, Roberto Bagnara	Decomposing Non-redundant Sharing by Complementation.	SAS	1999	DBLP DOI BibTeX RDF	Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis
15	Patricia M. Hill, Fausto Spoto	Freeness Analysis Through Linear Refinement.	SAS	1999	DBLP DOI BibTeX RDF	linear refinement, freeness analysis, logic programming, static analysis, Abstract interpretation, abstract domain
15	Michael Dahlin	Interpreting Stale Load Information.	ICDCS	1999	DBLP DOI BibTeX RDF	load interpretation, distributed systems, load balancing, queueing models, communication delays
15	J. Michael Ashley, R. Kent Dybvig	A Practical and Flexible Flow Analysis for Higher-Order Languages.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	abstract interpretation, higher-order languages
15	Akira Maeda, Koji Wakimoto, Hiroto Nagahisa, Itsuji Nakamura	An interactive tool for recognizing structured figures with variable shapes.	Mach. Vis. Appl.	1998	DBLP DOI BibTeX RDF	Facility management system, Facility map, Map processing, Line- drawing interpretation, Map recognition
15	Giorgio Levi, Fausto Spoto	An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	logic programming, static analysis, Abstract interpretation, abstract domain, type analysis
15	Francesca Levi	A Symbolic Semantics for Abstract Model Checking.	SAS	1998	DBLP DOI BibTeX RDF	Model checking, abstract interpretation, ?-calculus
15	Deepak Goyal, Robert Paige	A New Solution to the Hidden Copy Problem.	SAS	1998	DBLP DOI BibTeX RDF	Copy Optimization, Big Step Operational Semantics, Must Alias Analysis, Abstract Interpretation
15	Maria Handjieva, Stanislav Tzolovski	Refining Static Analyses by Trace-Based Partitioning Using Control Flow.	SAS	1998	DBLP DOI BibTeX RDF	reduced cardinal power, abstract interpretation, trace semantics
15	François Fages, Roberta Gori	Analysis of Normal Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	logic programming, static analysis, interpretation, constructive negation
15	Ulrike Lechner	Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages.	FASE	1998	DBLP DOI BibTeX RDF	Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly
15	Soo-Chul Han, John W. Woods	Frame-Rate Up-Conversion Using Transmitted Motion and Segmentation Fields for Very Low Bit-Rate Video Coding.	ICIP (1)	1997	DBLP DOI BibTeX RDF	segmentation fields, very low bit-rate video coding, motion-compensated interpolation scheme, skipped frames recovery, object-based interpretation, block-based methods, VLBR coding, up-sampling method, video coding, simulation results, motion fields, reconstruction quality, frame-rate up-conversion
15	Nozha Boujemaa, Gilbert Roux, Jean Pierre Asselin de Beauville, B. Vattolo	Soft primitive extraction on handwritten digits	ICIP (3)	1997	DBLP DOI BibTeX RDF	soft primitive extraction, automatic bank cheques interpretation, noise quantization pixels, digits meaning, robust fuzzy clustering techniques, soft feature extraction, soft feature representation, numerical value, segmentation, handwriting recognition, curve fitting, handwritten digits recognition, uncertainty modeling, digits shape
15	Hairong Qi 0001, Wesley E. Snyder, Griff L. Bilbro	Using mean field annealing to solve anisotropic diffusion problems.	ICIP (3)	1997	DBLP DOI BibTeX RDF	anisotropic diffusion problems solution, nonlinear diffusion equation, image optimization, blurred image, noisy corrupted image, feature extraction, experiments, white noise, mean field annealing, geometric interpretation, image feature extraction
15	John P. Kaufhold, Michael K. Schneider, William Clement Karl, Alan S. Willsky	A Recursive Estimation Approach to the Segmentation of MR Imagery.	ICIP (2)	1997	DBLP DOI BibTeX RDF	MR imagery segmentation, clinical tool, homogeneous regions, gray matter, cerebro spinal fluid, brain features, estimation-theoretic interpretation, computationally efficient technique, statistically based recursive technique, variational segmentation method, Kalman filter, magnetic resonance imaging, biomedical NMR, recursive estimation, uncertainty measures, research tool, white matter, human brain
15	Alexandre Winter, Henri Maître, Nicole Cambou, Eric Legrand	An Original Multi-Sensor Approach to Scale-Based Image Analysis for Aerial and Satellite Images.	ICIP (2)	1997	DBLP DOI BibTeX RDF	original multi-sensor approach, scale-based image analysis, automatic low-level interpretation, entropic scale detector, remote sensing scenes, image processing, object detection, satellite images, aerial images
15	Ross Paterson	Transforming Lazy Functions Using Comportment Properties.	PLILP	1997	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, automatic program transformation
15	Vassil S. Dimitrov, Graham A. Jullien, William C. Miller	Theory and applications for a double-base number system.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	basic arithmetic operations, index calculus, logarithmic-like arithmetic, hardware reductions, lookup table size, inner product computation, modular exponentiation computation, cryptography, digital signal processing, number theory, sparse representation, double-base number system, geometric interpretation
15	Matjaz Kukar, Ciril Groselj, Igor Kononenko 0001, Jure Fettich	An application of machine learning in the diagnosis of ischaemic heart disease.	CBMS	1997	DBLP DOI BibTeX RDF	ischaemic heart disease diagnosis, controlled exercise, myocardial scintigraphy, coronary angiography, objective interpretation, diagnostic accuracy, misclassification costs, machine learning, classification, experiments, sensitivity, ECG, electrocardiogram, dataset, patient, medical expert system, electrocardiography, mortality
15	Ing-Ray Chen, Tsong-Min Chen, Chiang Lee	Performance characterization of forwarding strategies in personal communication networks.	COMPSAC	1997	DBLP DOI BibTeX RDF	forwarding strategies, PCS mobile network, forwarding operation, resetting operation, database boundary, service rate, hexagonal coverage models, physical interpretation, Markov chain, mobile user, personal communication networks, personal communication networks, performance characterization
15	Michel Leclère	Reasoning with Type Definitions.	ICCS	1997	DBLP DOI BibTeX RDF	type definitions, atomic form, logical interpretation, projection, contraction, expansion
15	Rafael Ramírez 0001	A logical approach for specification and execution of concurrent real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements
15	Hanan Samet, Aya Soffer	MARCO: MAp Retrieval by COntent.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Map storage and retrieval, document storage, automated indexing, retrieval by content, map interpretation, digital libraries, Geographic Information Systems (GIS)
15	Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens	Global Analysis of Constraint Logic Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	global program analysis, program analysis, abstract interpretation, constraint logic programming
15	Paolo Volpe	Abstractions of Uniform Proofs.	ALP	1996	DBLP DOI BibTeX RDF	uniform proofs, inference rule systems, abstract interpretation
15	Dominique Boucher, Marc Feeley	Abstract Compilation: A New Implementation Paradigm for Static Analysis.	CC	1996	DBLP DOI BibTeX RDF	compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis
15	Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla	Global Analysis of Standard Prolog Programs.	ESOP	1996	DBLP DOI BibTeX RDF	Optimization, Logic Programming, Abstract Interpretation
15	Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo	Improving Abstract Interpretations by Combining Domains.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	logic programming, program analysis, abstract interpretation
15	Martin Jägersand	Saliency Maps and Attention Selection in Scale and Spatial Coordinates: An Information Theoretic Approach.	ICCV	1995	DBLP DOI BibTeX RDF	attention selection, scale coordinates, spatial coordinates, information measures, object spatial locations, object scales, man-made scene, scale space based measure, Kullback contrasts, successive resolution lengths, differential information gain, characteristic lengths, early vision processing, computer vision, image processing, information theory, image interpretation, saliency maps, information content, real world images, information theoretic approach
15	David Coombs, Martin Herman, Tsai-Hong Hong, Marilyn Nashman	Real-Time Obstacle Avoidance Using Central Flow Divergence and Peripheral Flow.	ICCV	1995	DBLP DOI BibTeX RDF	real-time obstacle avoidance, central flow divergence, peripheral flow, flow features, robot mobility, real-time image flow estimates, reduced camera rotation, real-time image flow divergence estimates, robot steering, conceptual corridor, right peripheral flows, left peripheral flows, impending collisions, dead ends, wandering, flow-based information, 2D image sequence, active mechanical gate stabilization, visual interpretation problems, real-time systems, mobile robots, image sequences, path planning, active vision, robot vision, cues, space perception, motion vision
15	Rohini K. Srihari	Combining text and image information in content-based retrieval.	ICIP	1995	DBLP DOI BibTeX RDF	text information, photographic information, integrated text/image database environment, image interpretation system, automatically indexing images, multi-stage system, PICTION, human face identification, information retrieval, face recognition, image recognition, queries, content-based retrieval, visual databases, object identification, captions, image information
15	Benoît Simon	Explicit link between local fractal transform and multiresolution transform.	ICIP	1995	DBLP DOI BibTeX RDF	multiresolution transform, local fractal transform, self similarity relationships, spatial transformations, shrinking, orthogonal multiresolution, multiresolution decomposition space, high frequency coefficients interpolation, low pass information, multiresolution decomposition coefficients, parameter estimation, image coding, image coding, interpretation, translation, scaling, fractals, image resolution, transform coding, fractal coding, isometries
15	Hassan Shekarforoush, Marc Berthod, Josiane Zerubia	3D super-resolution using generalized sampling expansion.	ICIP	1995	DBLP DOI BibTeX RDF	probabilistic interpretation, generalized sampling expansion, 3D superresolution algorithm, generalized sampling theorem, Lambertian surface, height map, high resolution information, Markov random fields, image reconstruction, image reconstruction, Markov processes, Bayes methods, image resolution, image resolution, random processes, image sampling, Bayesian framework, low resolution images
15	John G. Apostolopoulos, Jae S. Lim	Representing arbitrarily-shaped regions: a case study of overcomplete representations.	ICIP	1995	DBLP DOI BibTeX RDF	arbitrarily-shaped regions, overcomplete representations, image/video compression, O(N log/sub 2/ N)-type processing, low memory requirement, linear combination of vectors, superset basis, image segmentation, data compression, image coding, image representation, quantization, video signal processing, vector quantisation, geometric interpretation
15	Yann Hodé, Aline Deruyver, B. Bendriem, Nora D. Volkow	Temporal image fusion.	ICIP	1995	DBLP DOI BibTeX RDF	dynamic image analysis, temporal image fusion, recursive segmentation, human brain images, automatic region of interest detection, kinetic image, PET images, image segmentation, medical image processing, brain, positron emission tomography, image interpretation, medical diagnostic imaging, set operations, nuclear medicine
15	Radomir S. Stankovic	Functional Decision Diagrams for Multiple-Valued Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	functional decision diagrams, uniform interpretation, binary switching functions, MV functions, Reed-Muller-Fourier representations, Reed-Muller-Fourier coefficients, decision theory, multivalued logic, Galois fields, Galois field, switching functions, multiple valued functions, multiple-valued functions
15	Paolo Bottoni, Maria Francesca Costabile, Stefano Levialdi, Piero Mussio	Formalising Visual Languages.	VL	1995	DBLP DOI BibTeX RDF	visual language formalisation, visual human-computer communication, full screen image management, icon interpretation handling, diverse tasks, computational meaning, visual sentence, interpreted image, user-computer dialogue, ambiguity control, pattern recognition, pattern recognition, graphical user interfaces, computer graphics, visual languages, visual language, users, multiple representations, image generation, computer displays, computer display, visual reasoning
15	Scott A. Moore	A communication framework for applications.	HICSS (3)	1995	DBLP DOI BibTeX RDF	communication framework, recursively defined language, message interpretation scheme, discourse management information, general planning language, automated message management, Petri nets, Petri nets, applications, formal languages, speech act theory, electronic messaging
15	Jochen Albrecht	Virtual Geographic Information System (VGIS).	HICSS (4)	1995	DBLP DOI BibTeX RDF	Virtual Geographic Information System, automatic interpretation, abstracted data, technical information hiding, elemental building blocks, user interfaces, image processing, image processing, database, geographic information systems, knowledge based systems, interface, implementation, knowledge base, remote sensing, deductive databases, structural design, remotely sensed images, data encapsulation, user tasks
15	Grace Masaki, Joseph Walls, John Stockman	Hypermedia EIS and the World Wide Web.	HICSS (3)	1995	DBLP DOI BibTeX RDF	hypermedia executive information systems, environmental intelligence, information collection, information interpretation, relevant information, strategic intelligence, internal environment, external environment, artificial intelligence technologies, managerial vigilance, Internet, World Wide Web, artificial intelligence, hypermedia, business intelligence, management information systems, strategic planning, reconnaissance, timely information, strategic decision-making, business environment
15	Hanan Samet, Aya Soffer	A map acquisition, storage, indexing, and retrieval system.	ICDAR	1995	DBLP DOI BibTeX RDF	map acquisition, map storage, map indexing, map retrieval system, raster images, map composites, legend driven map interpretation system, user interface, query processing, query processing, relational database management system, query execution
15	Edward Cohen, Jonathan J. Hull, Sargur N. Srihari	Control Structure for Interpreting Handwritten Addresses.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	postal services, character recognition equipment, intelligent handwritten address interpretation system, grey-level address image, syntactic categories, dynamically generated lexicons, destination code, postal directories, knowledge based systems, control structure
15	Michael Codish, Moreno Falaschi, Kim Marriott	Suspension Analyses for Concurrent Logic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, concurrent logic programming
15	Peter T. Breuer, Jonathan P. Bowen	Decompilation: The Enumeration of Types and Grammars.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	list comprehension, reverse engineering, logic programming, functional programming, abstract interpretation, attribute grammar, decompilation
15	Anne Mulkers, William H. Winsborough, Maurice Bruynooghe	Live-Structure Dataflow Analysis for Prolog.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness
15	Edmund M. Clarke, Orna Grumberg, David E. Long	Model Checking and Abstraction.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	model checking, temporal logic, abstract interpretation, binary decision diagrams (BDDs)
15	Li-Ling Chen, Williams Ludwell Harrison III	An efficient approach to computing fixpoints for complex program analysis.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	fixpoint computation, program analysis, abstract interpretation, optimizing compilers
15	Kim Marriott, Harald Søndergaard	Precise and Efficient Groundness Analysis for Logic Programs.	LOPLAS	1993	DBLP DOI BibTeX RDF	abstract interpretation, propositional logic, condensation, groundness analysis
15	Moisés Goldszmidt, Paul H. Morris, Judea Pearl	A Maximum Entropy Approach to Nonmonotonic Reasoning.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	abnormality minimisation, infinitesimal probabilities, probabilistic interpretation, conditional knowledge base, conditional interpretations, knowledge based systems, inference, maximum entropy, nonmonotonic reasoning, nonmonotonic reasoning, probabilistic logic
15	David W. Eggert, Kevin W. Bowyer	Computing the Perspective Projection Aspect Graph of Solids of Revolution.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	3D viewpoint space, perspective projection aspect graph, solids of revolution, curved-surface objects, exact parcellation, visual events, object descriptions, computer vision, graph theory, image recognition, aspect graph, worst-case complexity, geometric interpretation
15	Floriana Esposito, Donato Malerba, Giovanni Semeraro	Classification in Noisy Environments Using a Distance Measure Between Structural Symbolic Descriptions.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	attribute spaces, structural symbolic descriptions, probabilistic interpretation, matching predicate, top-down evaluation, feature value, pattern model, structure spaces, layout-based document recognition, classification, pattern recognition, pattern recognition, probability, learning systems, learning systems, distance measure, noisy environments
15	Takeshi Shakunaga	3-D Corridor Modeling from a Single View Under Natural Lighting Conditions.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	3D indoor scene modelling, 3D corridor scene, single view analysis, generic object model, rectangular parallelepiped, bottom-up image processing, model-based interpretation, pattern recognition, pattern recognition, computer vision, computer vision, picture processing, camera
15	Yuan C. Hsieh, David M. McKeown, Frederic P. Perlant	Performance Evaluation of Scene Registration and Stereo Matching for Artographic Feature Extraction.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	3D scene interpretation, area based matching, cartographic feature extraction, automatic scene registration, S1, S2, feature-based matching, hierarchical waveform matching, scene recovery, building disparity estimate, scene reference models, pattern recognition, computer vision, computerised pattern recognition, SPAM, remote sensing, remote sensing, stereo matching, cartography, sharpness
15	Joseph H. Nurre, Ernest L. Hall	Positioning Quadric Surfaces in all Active Stereo Imaging System.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	quadric surface location, moire fringes, active stereo imaging system, stereo pinhole cameras, projected fringe pattern, fringe interpretation, moire fringes, pattern recognition, pattern recognition, picture processing, encoding, encoding, machine vision
15	Sukhan Lee 0001, Hernsoo Hahn	An Optimal Sensing Strategy for Recognition and Localization of 3D Natural Quadric Objects.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	optimal sensing strategy, 3D natural quadric objects, optical proximity sensor system, optimal beam orientation, optimal probing plane, multiple interpretation image, surface description vector distribution graph, hierarchical tables, object recognition, computerised picture processing, computerised pattern recognition, object localization, spatial variables measurement
15	Shahriar Negahdaripour	Multiple Interpretations of the Shape and Motion of Objects from Two Perspective Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	perspective images, position coordinates, hyperboloids of one sheet, hyperbolic paraboloids, circular cylinders, intersecting planes, pattern recognition, picture processing, ambiguity, shape recovery, image interpretation, coordinate transformation, motion recovery
15	Veroniek Dumortier, Maurice Bruynooghe	On the Automatic Generation of Events in Delta Prolog.	PLILP	1990	DBLP DOI BibTeX RDF	Delta Prolog, distributed Prolog, abstract interpretation
15	Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu	A Visual Language Compiler.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	visual language compiler, SIL-ICON compiler, icon-oriented systems, icon system, G, icon dictionary, operator dictionary, extended task action grammar, ETAG, text editor, Heidelberg icon set, user interfaces, specification, computer graphics, prototyping, generation, system design, interpretation, program compilers, software system, OD, ID
15	Yao-Chou Cheng, Shin-Yee Lu	The Binary Consistency Checking Scheme and Its Applications to Seismic Horizon Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	binary consistency checking, seismic horizon detection, loop tying, seismic interpretation, computerised pattern recognition, skeletonization, seismology, geophysics computing
15	Jyrki Katajainen, Christos Levcopoulos, Ola Petersson	Local Insertion Sort Revisited.	Optimal Algorithms	1989	DBLP DOI BibTeX RDF	presortedness, local insertion sort, finger search trees, measures, sorting algorithm, geometric interpretation
15	Jean-Marc David, Jean-Paul Krivine, Jean-Pierre Tiarri, Benoît Ricard	DIVA: Recognition of typical situations for turbine generator diagnosis.	J. Intell. Robotic Syst.	1988	DBLP DOI BibTeX RDF	Prototypical knowledge, heuristic classification, vibration-based monitoring, diagnosis, interpretation
15	Jan A. Mulder, Alan K. Mackworth, William S. Havens	Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	Mapsee approach, map interpretation programs, schema-based representation, hierarchical arc-consistency algorithm, discrimination graphs, computer vision, computer vision, knowledge representation, graph theory, computerised pattern recognition, computerized pattern recognition, visual knowledge
12	Ana-Maria Popescu, Patrick Pantel, Gilad Mishne	Semantic lexicon adaptation for use in query interpretation.	WWW	2010	DBLP DOI BibTeX RDF	lexicon adaptation, word sense disambiguation
12	Ganesh Agarwal, Govind Kabra, Kevin Chen-Chuan Chang	Towards rich query interpretation: walking back and forth for mining query templates.	WWW	2010	DBLP DOI BibTeX RDF	query attributes, query templates, query intents, search log mining
12	Boris W. van Schooten, Elisabeth M. A. G. van Dijk, Elena V. Zudilova-Seinstra, Avan Suinesiaputra, Johan H. C. Reiber	The effect of stereoscopy and motion cues on 3D interpretation task performance.	AVI	2010	DBLP DOI BibTeX RDF	motion cue, graphics, medical visualization, stereoscopy, angiography
12	Pui-Yu Hui, Helen M. Meng	Cross-Modality Semantic Integration With Hypothesis Rescoring for Robust Interpretation of Multimodal User Interactions.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
12	Gianluca Amato, Francesca Scozzari	Observational Completeness on Abstract Interpretation.	WoLLIC	2009	DBLP DOI BibTeX RDF
12	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Automatic Construction of Complete Abstraction by Abstract Interpretation.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
12	Miriam Baglioni, José Antônio Fernandes de Macêdo, Chiara Renso, Roberto Trasarti, Monica Wachowicz	Towards Semantic Interpretation of Movement Behavior.	AGILE Conf.	2009	DBLP DOI BibTeX RDF
12	Matjaz Kukar, Luka Sajn	Improving Probabilistic Interpretation of Medical Diagnoses with Multi-resolution Image Parameterization: A Case Study.	AIME	2009	DBLP DOI BibTeX RDF
12	Zhongsheng Cao, Zhewen Su, Yuanzhen Wang	Interpretation of Ambiguous Zone in Handwritten Chinese Character Images Using Bayesian Network.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Handwritten Chinese character, Ambiguous zone, Bayesian network, Handwriting recognition, Stroke extraction
12	Fabio Valle	Satellite Broadband Revolution: How Latest Ka-Band Systems Will Change the Rules of the Industry. An Interpretation of the Technological Trajectory.	PSATS	2009	DBLP DOI BibTeX RDF	Broadband satellite technology, Technical change, Ka-band and emerging frequency bands, Technological trajectory, Value Added Services, Technological Innovation
12	David A. Schmidt	Abstract Interpretation from a Topological Perspective.	SAS	2009	DBLP DOI BibTeX RDF
12	Lidia Ogiela, Marek R. Ogiela, Ryszard Tadeusiewicz	UBIAS - Type Cognitive Systems for Medical Pattern Interpretation.	KES (1)	2009	DBLP DOI BibTeX RDF	reasoning processes and analysis of medical images, UBIAS systems, information systems, pattern classification, Cognitive informatics
12	Nicholas Kong, Maneesh Agrawala	Perceptual interpretation of ink annotations on line charts.	UIST	2009	DBLP DOI BibTeX RDF	freeform ink annotation, line charts, visualization, selection, visual perception, pointing, deixis