Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	Shimei Pan, Siwei Shen, Michelle X. Zhou, Keith Houck	Two-way adaptation for robust input interpretation in practical multimodal conversation systems.	IUI	2005	DBLP DOI BibTeX RDF	intelligent multimodal interfaces, multimodal input interpretation, robust input interpretation, adaptive systems, natural language understanding, context-sensitive help
4	Xavier Rival	Abstract Interpretation-Based Certification of Assembly Code.	VMCAI	2003	DBLP DOI BibTeX RDF	compilation, Abstract Interpretation, Static program analysis
4	Tarek Helmy, Tsunenori Mine, Makoto Amamiya	Adaptive Exploiting User Profile and Interpretation Policy for Searching and Browsing the Web on KODAMA System. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	adaptive exploitation, interpretation policy, KODAMA system, KODAMA research project, hyper-link structure, interpretation policies, online distributed relevant information retrieval, user interface agents, personalized information filtering, adaptive autonomous user interface agent, Web page agents, server agents, World Wide Web, user profile, interface agents, agent community, information resources, information needs
4	Ioannis Pitas, Anastasios N. Venetsanopoulos	Knowledge-based image analysis for geophysical interpretation.	Journal of Intelligent and Robotic Systems	1993	DBLP DOI BibTeX RDF	Geophysical interpretation, seismic interpretation, seismic image analysis, knowledge-based image processing, expert systems
4	James W. Modestino, Jun Zhang 0006	A Markov Random Field Model-Based Approach to Image Interpretation.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	Markov random field model-based approach, disjoint regions, object labels, extracted feature measurements, interpretation labels, pattern recognition, pattern recognition, graph theory, simulated annealing, simulated annealing, picture processing, picture processing, Markov processes, domain knowledge, spatial relationships, image interpretation, synthetic images, adjacency graph, real-world images
4	Chen-Chau Chu, Jake K. Aggarwal	Image Interpretation Using Multiple Sensing Modalities.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	multiple sensing modalities, AIMS, multisensor fusion, KEE format, knowledge-based interpretation modules, concurrent service manager, optical radar, remote sensing by laser beam, computer vision, image segmentation, knowledge based systems, computerised pattern recognition, Lisp, image interpretation, infrared imaging, forward chaining, thermal imagers, laser radar
4	S. H. Joseph, Tony P. Pridmore	Knowledge-Directed Interpretation of Mechanical Engineering Drawings.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	knowledge directed interpretation, bottom-up processing, mechanical engineering drawings, LR(1) parser, human perceptual cycle, Anon's structure, mechanical engineering computing, computerised pattern recognition, knowledge engineering, image interpretation, top-down processing
3	Björn Gottfried, Hamid K. Aghajan	Behaviour Monitoring and Interpretation - An Overview of Technologies Supporting the Well-Being of Humans.	Behaviour Monitoring and Interpretation	2011	DBLP DOI BibTeX RDF
3	Sandro Rama Fiorini, Mara Abel, Claiton M. S. Scherer	A Symbol Grounding Model for Semantic Interpretation of 2-D Line Charts.	EDOCW	2010	DBLP DOI BibTeX RDF	semantic image interpretation, stratigraphic interpretation, formal ontology, visual knowledge
3	David del Valle-Agudo, Francisco Javier Calle-Gómez, Dolores Cuadra Fernández, Jessica Rivero-Espinosa	Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management.	HCI	2009	DBLP DOI BibTeX RDF	Natural Interaction Systems, Independent Interpretation and Generation, Grounding, Turn Taking, Threads Model
3	Huatong Sun	Designing for a Dialogic View of Interpretation in Cross-Cultural IT Design.	HCI	2009	DBLP DOI BibTeX RDF	interpretation, genre, cross-cultural design, dialogicality
3	Endre Katona	A Graph Based Data Model for Graphics Interpretation.	GbRPR	2009	DBLP DOI BibTeX RDF	map interpretation, graph based data model, vectorization, graphics recognition, spatial indexing
3	Elsi Kaiser	Effects of Anaphoric Dependencies and Semantic Representations on Pronoun Interpretation.	DAARC	2009	DBLP DOI BibTeX RDF	Discourse coherence, Pronoun interpretation, Psycholinguistics, Anaphoric dependencies, Eye-tracking, Priming
3	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
3	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
3	Johannes Kinder, Florian Zuleger, Helmut Veith	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.	VMCAI	2009	DBLP DOI BibTeX RDF
3	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci	Decomposing bytecode verification by abstract interpretation.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Abstract interpretation, bytecode verification
3	Paolo Ravazzani	The interpretation of the results of the research on electromagnetic fields and health in Europe: the EC Coordination Action EMF-NET.	Annales des Télécommunications	2008	DBLP DOI BibTeX RDF	EMF and health, Support to policy, Interpretation
3	Tina Yu, Dave Wilkinson	A Co-Evolutionary Fuzzy System for Reservoir Well Logs Interpretation.	Evolutionary Computation in Practice	2008	DBLP DOI BibTeX RDF	reservoir modeling and characterization, co-operative co-evolution, well logs interpretation, fuzzy logic, genetic programming, time series
3	Pietro Ferrara	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.	TAP	2008	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
3	Sabah S. Al-Fedaghi	Software Engineering Interpretation of Information Processing Regulations.	COMPSAC	2008	DBLP DOI BibTeX RDF	legal text, information flow, interpretation, software requirements
3	Robert J. Ross	Tiered Models of Spatial Language Interpretation.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	Language Interpretation, Embodied Action, Spatial Language
3	Lidia Ogiela	Syntactic Approach to Cognitive Interpretation of Medical Patterns.	ICIRA	2008	DBLP DOI BibTeX RDF	medical pattern recognition, UBIAS sytems, image interpretation, cognitive analysis
3	Nicole Mitsche, Sofía Reino, Dan Knox, Ulrike Bauernfeind	Enhancing Cultural Tourism e-Services through Heritage Interpretation.	ENTER	2008	DBLP DOI BibTeX RDF	eTourism - ICT & heritage interpretation - destination & cultural attraction websites
3	Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine	Abstract Interpretation of Cellular Signalling Networks.	VMCAI	2008	DBLP DOI BibTeX RDF
3	Zhang Hong, Liu Lei	An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting.	ISECS	2008	DBLP DOI BibTeX RDF	Boxed Ambients, the ambient occurrence counting, abstract interpretation
3	Jean-Yves Marion, Romain Péchoux	Characterizations of polynomial complexity classes with a better intensionality.	PPDP	2008	DBLP DOI BibTeX RDF	quasi-interpretation, resource upper bounds, sup-interpretation, static analysis
3	Nicoletta De Francesco, Luca Martini	Instruction-level security typing by abstract interpretation.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Abstract interpretation, Information flow, Language based security
3	Sarah George, Ingrid Zukerman, Michael Niemann	Inferences, suppositions and explanatory extensions in argument interpretation.	User Model. User-Adapt. Interact.	2007	DBLP DOI BibTeX RDF	Discourse interpretation, Suppositions, Explanatory extensions, Bayesian networks, Probabilistic approach
3	Urszula Wybraniec-Skardowska	Meaning and Interpretation. II.	Studia Logica	2007	DBLP DOI BibTeX RDF	interpretational referring, interpretational denotation, language communication, Interpretation, meaning
3	Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han	Goal-directed weakening of abstract interpretation results.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
3	Ruoyu Yang, Tong Lu, Shijie Cai	A Dynamic-Rule-Based Framework of Engineering Drawing Recognition and Interpretation System.	ICIC	2007	DBLP DOI BibTeX RDF	recognition and interpretation, Rule-based, engineering drawing
3	Alejandra Pérez-Bonilla, Karina Gibert	Towards Automatic Generation of Conceptual Interpretation of Clustering.	CIARP	2007	DBLP DOI BibTeX RDF	class interpretation, Hierarchical clustering, Knowledge Discovery and Data Mining
3	Eiichiro Takahagi	A Fuzzy Measure Identification Method by Diamond Pairwise Comparisons: AHP Scales and Grabish's Graphical Interpretation.	KES	2007	DBLP DOI BibTeX RDF	fuzzy measure identification, diamond pairwise comparison, ?-fuzzy measure, hierarchy diagram, Grabish’s Graphical Interpretation, AHP
3	Jun Zhou, Li Cheng, Terry Caelli, Walter F. Bischof	Knowledge Transfer in Semi-automatic Image Interpretation.	HCI	2007	DBLP DOI BibTeX RDF	road tracking, human influence, performance evaluation, knowledge transfer, image interpretation
3	Jouko Kokko, Erkki Kemppainen, Aulikki Rautavaara	Technology and Regional Social Structures: Evaluation of Remote Sign Language Interpretation in Finland.	HCI	2007	DBLP DOI BibTeX RDF	Interpretation service, hard of hearing people, Disability, ICT
3	Yann Hodé, Aline Deruyver	Qualitative Spatial Relationships for Image Interpretation by Using Semantic Graph.	GbRPR	2007	DBLP DOI BibTeX RDF	arc-consistency checking, spatial relationship, image interpretation, Semantic graph
3	Sofía Reino, Nicole Mitsche, Andrew J. Frew	The Contribution of Technology-Based Heritage Interpretation to the Visitor Satisfaction in Museums.	ENTER	2007	DBLP DOI BibTeX RDF	heritage interpretation, Importance-Performance Analysis, ICT, museums, Tourism
3	William W. Gaver, Phoebe Sengers, Tobie Kerridge, Joseph Kaye, John Bowers	Enhancing ubiquitous computing with user interpretation: field testing the home health horoscope.	CHI	2007	DBLP DOI BibTeX RDF	ubiquitous computing, interpretation, home
3	Francesco Logozzo	Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.	VMCAI	2007	DBLP DOI BibTeX RDF
3	Lynne E. Hall, Sarah Woods, Marc Hall, Dieter Wolke	Children's Emotional Interpretation of Synthetic Character Interactions.	ACII	2007	DBLP DOI BibTeX RDF	Theory of Mind concepts, social and emotional learning, emotional interpretation, personal, virtual learning environments, Synthetic characters
3	Matthew Might, Benjamin Chambers, Olin Shivers	Model Checking Via GammaCFA.	VMCAI	2007	DBLP DOI BibTeX RDF	abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages
3	Amar Mitiche, Hicham Sekkati	Optical Flow 3D Segmentation and Interpretation: A Variational Method with Active Curve Evolution and Level Sets.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	3D interpretation, Optical flow, level sets, image sequence analysis, 3D segmentation
3	Patricia M. Hill, Fausto Spoto	Deriving escape analysis by abstract interpretation.	Higher-Order and Symbolic Computation	2006	DBLP DOI BibTeX RDF	Garbage collection, Abstract interpretation, Denotational semantics
3	Phoebe Sengers, Bill Gaver	Staying open to interpretation: engaging multiple meanings in design and evaluation.	Conference on Designing Interactive Systems	2006	DBLP DOI BibTeX RDF	hermeneutics, evaluation, design, interpretation, arts, humanities
3	Francesco Ranzato, Francesco Tapparo	Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.	VMCAI	2006	DBLP DOI BibTeX RDF
3	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.	VMCAI	2006	DBLP DOI BibTeX RDF
3	Ingrid Zukerman, Sarah George	A Probabilistic Approach for Argument Interpretation.	User Model. User-Adapt. Interact.	2005	DBLP DOI BibTeX RDF	discourse interpretation, Bayesian networks, probabilistic approach
3	Adrian Moise, M. Stella Atkins	Designing Better Radiology Workstations: Impact of Two User Interfaces on Interpretation Errors and User Satisfaction.	J. Digital Imaging	2005	DBLP DOI BibTeX RDF	Radiology workstations, hanging protocols, interpretation errors, user interface, user satisfaction
3	Philipp Gerhardy, Ulrich Kohlenbach	Extracting Herbrand disjunctions by functional interpretation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Herbrand’s theorem, functional interpretation
3	Mila Dalla Preda, Roberto Giacobazzi	Control Code Obfuscation by Abstract Interpretation.	SEFM	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Program analysis, Abstract Interpretation, Code Obfuscation
3	Mila Dalla Preda, Roberto Giacobazzi	Semantic-Based Code Obfuscation by Abstract Interpretation.	ICALP	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Abstract Interpretation, Code Obfuscation
3	Martin Fränzle, Michael R. Hansen	A Robust Interpretation of Duration Calculus.	ICTAC	2005	DBLP DOI BibTeX RDF	Metric-time temporal logic, Robust interpretation, Discrete time vs. dense time
3	Ilya Levner, Vadim Bulitko	Comparison of Machine Learned Image Interpretation Systems in the Domain of Forestry.	WACV/MOTION	2005	DBLP DOI BibTeX RDF	Markov decision models in vision, adaptive image interpretation, performance evaluation, machine learning, segmentation, object recognition, remote-sensing
3	Sumit Gulwani, George C. Necula	Precise interprocedural analysis using random interpretation.	POPL	2005	DBLP DOI BibTeX RDF	interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions
3	Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck	Abstract interpretation for constraint handling rules.	PPDP	2005	DBLP DOI BibTeX RDF	abstract interpretation, constraint handling rules
3	Marianna Sigala	A Learning Assessment of Online Interpretation Practices: from Museum Supply Chains to Experience Ecologies.	ENTER	2005	DBLP DOI BibTeX RDF	Internet, learning, experiences, interpretation, supply chain, museums
3	Julien Bertrane	Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
3	Bor-Yuh Evan Chang, K. Rustan M. Leino	Abstract Interpretation with Alien Expressions and Heap Structures.	VMCAI	2005	DBLP DOI BibTeX RDF
3	Charles Hymans	Verification of an Error Correcting Code by Abstract Interpretation.	VMCAI	2005	DBLP DOI BibTeX RDF
3	Mircea-Dan Hernest	Light Functional Interpretation.	CSL	2005	DBLP DOI BibTeX RDF	Program extraction from (classical) proofs, Complexity of extracted programs, Berger’s uniform quantifiers, Functional interpretation, Proof Mining, Proof-Carrying Code
3	Sheng-Gwo Chen, Jyh-Yang Wu	A Geometric Interpretation of Weighted Normal Vectors and Its Improvements.	CGIV	2005	DBLP DOI BibTeX RDF	Centroid weight, gravitational weight, geometric interpretation
3	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
3	Jérôme Feret	The Arithmetic-Geometric Progression Abstract Domain.	VMCAI	2005	DBLP DOI BibTeX RDF	numerical domains, static analysis, Abstract Interpretation
3	Michael Leuschel	A framework for the integration of partial evaluation and abstract interpretation of logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	logic programming, program transformation, abstract interpretation, partial evaluation, flow analysis, Partial deduction
3	Katherine P. Andriole, Richard L. Morin, Ronald L. Arenson, John A. Carrino, Bradley James Erickson, Steven C. Horii, David W. Piraino, Bruce I. Reiner, J. Anthony Seibert, Eliot L. Siegel	Addressing the Coming Radiology Crisis - The Society for Computer Applications in Radiology Transforming the Radiological Interpretation Process (TRIPTM) Initiative.	J. Digital Imaging	2004	DBLP DOI BibTeX RDF	radiological image interpretation paradigm, large data sets
3	Robert van Rooij, Katrin Schulz	Exhaustive Interpretation of Complex Sentences.	Journal of Logic, Language and Information	2004	DBLP DOI BibTeX RDF	conversational implicatures, exhaustive interpretation, pragmatics, non-monotonic reasoning, Circumscription
3	Roberto Giacobazzi, Isabella Mastroeni	Abstract non-interference: parameterizing non-interference by abstract interpretation.	POPL	2004	DBLP DOI BibTeX RDF	abstract interpretation, language-based security, non-interference, abstract domains
3	Patrick Cousot, Radhia Cousot	An abstract interpretation-based framework for software watermarking.	POPL	2004	DBLP DOI BibTeX RDF	software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing
3	Sumit Gulwani, George C. Necula	Global value numbering using random interpretation.	POPL	2004	DBLP DOI BibTeX RDF	global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions
3	Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua	a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines.	PPPJ	2004	DBLP DOI BibTeX RDF	J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM
3	Eun-Young Kang	Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation.	ICSE	2004	DBLP DOI BibTeX RDF	Real-time Model Checking, Verification, Abstract Interpretation, Real-time embedded systems
3	Van-Thinh Vu, François Brémond, Monique Thonnat	Automatic Video Interpretation: A Recognition Algorithm for Temporal Scenarios Based on Pre-compiled Scenario Models.	ICVS	2003	DBLP DOI BibTeX RDF	Automatic Video Interpretation, Scenario Recognition, Chronicle Recognition, Temporal Constraint Resolution, Scenario Representation
3	Norman Carver, Ruj Akavipat	Analyzing the efficiency of strategies for MAS-based sensor interpretation and diagnosis.	AAMAS	2003	DBLP DOI BibTeX RDF	computational complexity and agent systems, coordination of multiple agents/activities, distributed interpretation and diagnosis, Bayesian networks, distributed problem solving
3	Sarah George, Ingrid Zukerman, Mark George	An information-theoretic approach for argument interpretation in a conversational setting.	AAMAS	2003	DBLP DOI BibTeX RDF	argument interpretation, bayesian networks, minimum message length
3	Vineet Bafna, Nathan Edwards	On de novo interpretation of tandem mass spectra for peptide identification.	RECOMB	2003	DBLP DOI BibTeX RDF	de novo interpretation, tandem mass spectrometry, proteomics
3	Damien Massé	Property Checking Driven Abstract Interpretation-Based Static Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
3	Patrick Cousot	Automatic Verification by Abstract Interpretation.	VMCAI	2003	DBLP DOI BibTeX RDF
3	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
3	Bruce I. Reiner, Eliot L. Siegel, Khan M. Siddiqui	Evolution of the Digital Revolution: A Radiologist Perspective.	J. Digital Imaging	2003	DBLP DOI BibTeX RDF	evolution of radiology practice, radiology interpretation, Transforming the Radiology Interpretation Process (TRIP)
3	Lluís Ros, Federico Thomas	Overcoming Superstrictness in Line Drawing Interpretation.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	superstrictness, correction algorithms, scene understanding, line drawing interpretation
3	Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco	Checking security of Java bytecode by abstract interpretation.	SAC	2002	DBLP DOI BibTeX RDF	security, Java, abstract interpretation, information flow, Java bytecode
3	Cinzia Bernardeschi, Nicoletta De Francesco	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.	VMCAI	2002	DBLP DOI BibTeX RDF
3	Roberta Gori, Giorgio Levi	An Experiment in Type Inference and Verification by Abstract Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
3	Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Efficient Negation Using Abstract Interpretation.	LPAR	2001	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
3	Thomas P. Jensen, Fausto Spoto	Class Analysis of Object-Oriented Programs through Abstract Interpretation.	FoSSaCS	2001	DBLP DOI BibTeX RDF	semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis
3	Yohji Akama	Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.	CSL	2001	DBLP DOI BibTeX RDF	partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity
3	Aurélien Bénel, Elöd Egyed-Zsigmond, Yannick Prié, Sylvie Calabretto, Alain Mille, Andréa Iacovella, Jean-Marie Pinon	Truth in the Digital Library: From Ontological to Hermeneutical Systems.	ECDL	2001	DBLP DOI BibTeX RDF	assisted interpretation systems, ontology, collaboration, annotation, graphs, Interpretation, interactive information retrieval
3	Jean-Marc Ogier, Rémy Mullot, Jacques Labiche	Technical Map Interpretation: A Distributed Approach.	Pattern Anal. Appl.	2000	DBLP BibTeX RDF	Interpretation cycle, Performance evaluation, Document modelling, Document understanding, Engineering drawings, Consistency analysis
3	Chung-Lin Huang, Shih-Hung Hsu	Road Sign Interpretation Using Matching Pursuit Method.	SSIAI	2000	DBLP DOI BibTeX RDF
3	Guohua Liu, Wenyun Ji, Zijun Chen	A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts.	TOOLS	2000	DBLP DOI BibTeX RDF	user interpretation, object-oriented database, normalization, conflict
3	Roberta Gori	An Abstract Interpretation Approach to Termination of Logic Programs.	LPAR	2000	DBLP DOI BibTeX RDF	Infinite derivations, Universal termination, Logic programming, Abstract interpretation
3	Pierre M. Devaux, Daniel B. Lysak, Rangachar Kasturi	A complete system for the intelligent interpretation of engineering drawings.	IJDAR	1999	DBLP DOI BibTeX RDF	3D Drawing interpretation, Image processing, Document image analysis, Graphics recognition, Engineering drawings
3	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo	Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parallelism, logic programming, abstract interpretation, data flow analysis, automatic parallelization
3	Frank Huch	Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.	ICFP	1999	DBLP DOI BibTeX RDF	distributed system, model checking, verification, abstract interpretation, Erlang
3	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF	SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
3	Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato	Complementation in Abstract Interpretation.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
3	Sargur N. Srihari, Edward J. Kuebert	Integration of hand-written address interpretation technology into the United States Postal Service Remote Computer Reader system.	ICDAR	1997	DBLP DOI BibTeX RDF	handwritten address interpretation technology, United States Postal Service, Remote Computer Reader system, letter mail processing, Remote Bar Coding System, image management system, bar code assignment, postal OCR equipment, control structure algorithms, recognizer algorithms, database algorithms, integrated RCR-HWAI system, nationwide deployment, performance, handwriting recognition
3	Mieczyslaw A. Klopotek, Slawomir T. Wierzchon	Qualitative Versus Quantitative Interpretation of the Mathematical Theory of Evidence.	ISMIS	1997	DBLP DOI BibTeX RDF	qualitative interpretation of Dempster rule, relational databases, Soft Computing, rough set theory, Dempster-Shafer theory, Knowledge Representation and Integration