Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Donald A. Cox, Saul Greenberg	Supporting collaborative interpretation in distributed Groupware.	CSCW	2000	DBLP DOI BibTeX RDF	collaborative interpretation, meeting support tools, real-time distributed groupware, emergence
19	Alessandra Di Pierro, Herbert Wiklicky	Concurrent constraint programming: towards probabilistic abstract interpretation.	PPDP	2000	DBLP DOI BibTeX RDF	probabilistic abstract interpretation, probabilistic concurrent constraint programming, static analysis
19	Alasdair Turner, David Chapman, Alan Penn 0001	Sketching a virtual environment: modeling using line-drawing interpretation.	VRST	1999	DBLP DOI BibTeX RDF	3D modeling, line-drawing interpretation
19	Pei-Hsin Ho, Adrian J. Isles, Timothy Kam	Formal verification of pipeline control using controlled token nets and abstract interpretation.	ICCAD	1998	DBLP DOI BibTeX RDF	controlled token net, pipeline control verification, model checking, formal verification, computer-aided design, abstract interpretation, functional verification, processor verification
19	Dennis Dams, Rob Gerth, Orna Grumberg	Abstract Interpretation of Reactive Systems.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model checking, formal methods, abstract interpretation, reactive systems, mu-calculus
19	Long Quan	Invariant of a Pair of Non-Coplanar Conies in Space: Definition, Geometric Interpretation and Computation.	ICCV	1995	DBLP DOI BibTeX RDF	noncoplanar conics, joint invariants, coplanar conics, algebraic invariant, invariant algebra, quaternary quadratic forms, computer vision, computational geometry, image reconstruction, image recognition, calibration, algebra, cross-ratios, geometric interpretation, uncalibrated images, geometric computation
19	George C. Lai, Rui J. P. de Figueiredo	Image interpretation using contextual feedback.	ICIP	1995	DBLP DOI BibTeX RDF	contextual feedback, bottom-up decision making, top-down decision making, OINN, optimal interpolative neural networks, label assignments, image segmentation, interpolation, feedback, feedback, iterative methods, identification, neural nets, decision theory, scene analysis, image interpretation, plausibility, high-level description
19	Norbert Ebi	Image interpretation of topographic maps on a medium scale via frame-based modeling.	ICIP	1995	DBLP DOI BibTeX RDF	topography (Earth), frame-based modelling, automatic data acquisition, colored topographic maps, cartographic paper-based maps, symbolic reduced form, data basis, graphic-based capturing, geographic information systems, geographic information systems, management, digitization, data acquisition, spatial data, cartography, image colour analysis, image interpretation, landscape, geophysical signal processing
19	Bob Berry, Goksan Erdogan, Duarte Trigueiros	Rule induction for financial modelling and model interpretation.	HICSS (3)	1995	DBLP DOI BibTeX RDF	model interpretation, financial data analysis tasks, post processing task, financial variables, ration scale, knowledge based systems, inference mechanisms, rule induction, modelling tool, model building, ID3, corporate modelling, financial modelling
19	R. E. Marston, M. H. Kuo	Interpretation of 3-view engineering drawings as central quadric surface mechanical parts.	ICDAR	1995	DBLP DOI BibTeX RDF	mechanical engineering computing, three-view engineering drawing interpretation, central quadric surface mechanical parts, planar-faced objects, conic-section boundary edges, input drawings, object recognition, CAD, image reconstruction, image reconstruction, document image processing, engineering graphics, back-projection
19	Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi	Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.	SAC	1994	DBLP DOI BibTeX RDF	logic programming, filtering, abstract interpretation, bottom-up evaluation
19	Krishnan Rangarajan, Mubarak Shah	Interpretation of Motion Trajectories using Focus of Expansion.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	motion trajectory interpretation, approaching motion, direction change, single point, receding motion, motion estimation, image sequences, straight line, focus of expansion
19	Vishvjit S. Nalwa	Line-Drawing Interpretation: Bilateral Symmetry.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	bilateral symmetry, symmetry axis, pattern recognition, pattern recognition, picture processing, picture processing, orthographic projection, line drawing interpretation
19	Yi-Hsiu Wei, Jean-Luc Gaudiot	Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	data-flow multiprocessor, demand-driven evaluation system, list-structure language systems, functional language FP, lazy programs, DFP, demand-driven FP, FP-DFP transformation rules, partial-function-value evaluation, run-time interpretation, parallel programming, graph theory, multiprocessing systems, data-flow graphs, program interpreters
19	Nagaraj Nandhakumar, Jake K. Aggarwal	Integrated Analysis of Thermal and Visual Images for Scene Interpretation.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	IR imaging, scene interpretation, surface temperature, surface absorptivity, relative orientation, heat fluxes, computerised picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, infrared imaging, thermal images, visual images
19	Vishvjit S. Nalwa	Line-Drawing Interpretation: Straight Lines and Conic Sections.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	conic sections, parabolas, hyperbolas, scene edges, quadric surfaces, pattern recognition, pattern recognition, picture processing, picture processing, line drawings, perturbation, straight lines, ellipses, line drawing interpretation
19	Ruogu Kang, Thomas George Kannampallil, Jibo He, Wai-Tat Fu	Conformity out of Diversity: Dynamics of Information Needs and Social Influence of Tags in Exploratory Information Search.	HCI (16)	2009	DBLP DOI BibTeX RDF	tag choice, information needs diversity, semantic interpretation of tags, Exploratory search
19	Soonho Kong, Wontae Choi, Kwangkeun Yi	Abstract parsing for two-staged languages with concatenation.	GPCE	2009	DBLP DOI BibTeX RDF	multi-staged languages, program analysis, abstract interpretation, parsing
19	François Picard, Pascal Estraillier	Enhancing a motion capture interface by introducing context management.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	movement interpretation, motion capture, interactive system, game development, context management, adaptive execution
19	Phoebe Sengers, Kirsten Boehner, Michael Mateas, Geri Gay	The disenchantment of affect.	Pers. Ubiquitous Comput.	2008	DBLP DOI BibTeX RDF	Affective presence, Affective computing, Interpretation, Social awareness, Ambient computing, Enchantment
19	Rémi Lehn, Henri Briand, Fabrice Guillet	User-System Interaction for Redundancy-Free Knowledge Discovery in Data.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	Minimal Covers, Interpretation of Association Rules, Closure, Deductive Reasonning
19	J. Acácio de Barros, J. P. R. F. de Mendonça, N. Pinto-Neto	Realism in energy transition processes: an example from Bohmian quantum mechanics.	Synth.	2007	DBLP DOI BibTeX RDF	Causal interpretation of quantum mechanics, Bohm’s theory, Realism
19	Jean Souyris, David Delmas	Experimental Assessment of Astrée on Safety-Critical Avionics Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety
19	Dong-Bo Liu, Zheng-ding Lu	The Theory of Fuzzy Logic Programming.	ICFIE	2007	DBLP DOI BibTeX RDF	Fuzzy Horn Clauses, Fuzzy Proof Theory, Fuzzy Procedural Interpretation, Fuzzy Logic Programming
19	Christoph Sklarczyk, Horst Perner, Hans Rieder, Walter Arnold, Petra Perner	Image Acquisition and Analysis of Hazardous Biological Material in Air.	MDA	2007	DBLP DOI BibTeX RDF	Microscopic image acquisition, microbiological probe handling, case-based object recognition, image analysis, case-based reasoning, image interpretation
19	Kristina Höök	Designing familiar open surfaces.	NordiCHI	2006	DBLP DOI BibTeX RDF	design for interpretation, open surfaces, appropriation
19	Neil Kettle, Andy King, Tadeusz Strzemecki	Widening ROBDDs with Prime Implicants.	TACAS	2006	DBLP DOI BibTeX RDF	ROBDD, widening, approximation, abstract interpretation
19	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Making abstract domains condensing.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	logic program analysis, abstract interpretation, completeness, linear logic, condensation, Abstract domain
19	Roberta Gori, Francesca Levi	A New Occurrence Counting Analysis for BioAmbients.	APLAS	2005	DBLP DOI BibTeX RDF	Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation
19	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Abstraction carrying code and resource-awareness.	PPDP	2005	DBLP DOI BibTeX RDF	granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness
19	Xavier Rival	Symbolic transfer function-based approaches to certified compilation.	POPL	2004	DBLP DOI BibTeX RDF	compilation, static analysis, abstract interpretation, certification, translation validation
19	Giles Hooker	Discovering additive structure in black box functions.	KDD	2004	DBLP DOI BibTeX RDF	draphical models, functional ANOVA, visualization, feature selection, interpretation, diagnostics, additive models
19	Mila Dalla Preda	Completeness Refinement in Abstract Symbolic Trajectory Evaluation.	SAS	2004	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Abstract Interpretation, Completeness, Data Flow Analysis, Symbolic Trajectory Evaluation
19	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
19	Germán Puebla, Manuel V. Hermenegildo	Abstract specialization and its applications.	PEPM	2003	DBLP DOI BibTeX RDF	logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
19	Joonseon Ahn, Yong Jin Kwon	A Differential Fixpoint Evaluation Framework for Non-distributive Systems.	APLAS	2003	DBLP DOI BibTeX RDF	fixpoint computation, worklist algorithm, differential evaluation, static analysis, abstract interpretation
19	Matthieu Martel	Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.	ESOP	2002	DBLP DOI BibTeX RDF	IEEE Standard 754, Abstract Interpretation, Floating-point Arithmetic, Numerical Precision
19	Gianluca Amato, Fausto Spoto	Abstract Compilation for Sharing Analysis.	FLOPS	2001	DBLP DOI BibTeX RDF	linear refinement, logic programming, Abstract interpretation, linear logic, domain theory
19	A. A. Ezhov	Pattern Recognition with Quantum Neural Networks.	ICAPR	2001	DBLP DOI BibTeX RDF	many universes interpretation, pattern recognition, entanglement, counting problem, quantum neural networks
19	Jens Knoop	From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach.	TACAS	1999	DBLP DOI BibTeX RDF	data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural
19	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
19	Arnaud Venet	Automatic Determination of Communication Topologies in Mobile Systems.	SAS	1998	DBLP DOI BibTeX RDF	nonstandard semantics, abstract interpretation, calculus
19	Adam Kellett, Michael Fisher 0001	Automata Representations for Concurrent METATEM.	TIME	1997	DBLP DOI BibTeX RDF	Concurrent METATEM language, temporal logic formulae, direct interpretation, large applications, closely coupled automata, performance, parallel languages, parallel language, finite-state automata, logic programming language
19	Philippe Burlina, Bruce Lin, Rama Chellappa	On a spectral attentional mechanism.	CVPR	1996	DBLP DOI BibTeX RDF	spectral attentional mechanism, spectral signatures, regular object configurations, global operator, frequency domain constraints, monitored objects, decision theoretic method, learning decision regions, aerial image interpretation tasks, vehicle formations, convoys, detected formations, edge detection, geometrical models, sensitivity analysis, sensitivity analysis, object detection, decision theory, context information
19	A. Glen Houston, S. B. Premkumar, David E. Pitts, R. J. Babaian	Prostate Ultrasound Image Analysis: Localization of Cancer Lesions to Assist Biopsy.	CBMS	1995	DBLP DOI BibTeX RDF	patient treatment, prostate ultrasound image analysis, cancer lesions, transrectal ultrasound imaging, prostate gland, biopsy tissue, visual interpretation, prostate ultrasound images, digital gray scale values, retrospective biopsy classification, medical image processing, prostate cancer, biomedical ultrasonics, biopsy, statistical distribution
19	Gidas Menier, Guy Lorette, Philippe Gentric	A new modeling method for on-line handwriting recognition.	ICDAR	1995	DBLP DOI BibTeX RDF	on-line handwriting recognition, scriptor-independent information, joint interpretation, off-line information, feature extraction, optical character recognition, handwriting recognition, modeling method, online operation
19	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
19	Mark Moriconi, Timothy C. Winkler	Approximate Reasoning About the Semantic Effects of Program Changes.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	semantic effects, program changes, logical technique, direct analysis, parametrized modules, structural interpretation, formal specification, program verification, inference mechanisms, approximate reasoning, procedures, inference system, global variables
19	Pradip Bose, B. Ramakrishna Rau, Michael S. Schlansker	Systematically derived instruction sets for high-level language support.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	directly interpretable languages, space-time efficiency, syntax and semantics, compilation, interpretation, high-level languages, semantic gap, instruction set design
17	Marco Milanese, Antoine Miné	Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
17	Simmo Saan, Michael Schwarz 0007, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani	Correctness Witness Validation by Abstract Interpretation.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
17	Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella	Abstract Interpretation-Based Feature Importance for Support Vector Machines.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
17	Liang Luo	Revolutionizing interpretation education: a comprehensive automatic interpretation evaluation system based on composite genetic algorithm and backpropagation neural networks.	Soft Comput.	2023	DBLP DOI BibTeX RDF
17	Hiba Abou Jamra	Détection et interprétation des signaux faibles dans les Réseaux Sociaux Numériques. (Detection and interpretation of weak signals in Online Social Networks).		2023	RDF
17	Inès Meraoumia	Deep learning for remote sensing images and their interpretation. (Apprentissage profond pour l'interprétation des images satellitaires).		2023	RDF
17	Jérôme Feret, Albin Salazar	A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation.	VMCAI	2023	DBLP DOI BibTeX RDF
17	Ignacio Tiraboschi, Tamara Rezk, Xavier Rival	Sound Symbolic Execution via Abstract Interpretation and Its Application to Security.	VMCAI	2023	DBLP DOI BibTeX RDF
17	Frederick Gietz, Barend Beekhuizen	Two measures for complement coercion interpretation: Interpretation vs production for complement coercion.	CogSci	2022	DBLP BibTeX RDF
17	Sylvain Guinebert	Recherche et développement: Interprétation assistée par intelligence artificielle des pathologies rachidiennes. (Research and development: Artificial intelligence, spinal pathologies assisted interpretation).		2022	RDF
17	Paul Alain Kaldjob Kaldjob	Elicitation et interprétation des modèles d'Aide MultiCritère à la Décision incluant des interactions. (Elicitation and interpretation of MultiCriteria Décision Aid méthodes allowing interactions).		2022	RDF
17	Victoria Bourgeais	Interprétation de l'apprentissage profond pour la prédiction de phénotypes à partir de données d'expression de gènes. (Interpretation of deep learning for phenotype prediction from gene expression data).		2022	RDF
17	Alexis Delaforge	Visualisation pour l'interprétation et l'explicabilité des prédictions issues de modèles d'apprentissage profond en TAL. (Visualization for interpretation and explicability of deep learning models predictions in NLP).		2022	RDF
17	David Delmas	Static analysis of program portability by abstract interpretation. (Analyse statique de la portabilité des programmes par interprétation abstraite).		2022	RDF
17	Yves Julien, José A. Sobrino	Introducing the Time Series Change Visualization and Interpretation (TSCVI) method for the interpretation of global NDVI changes.	Int. J. Appl. Earth Obs. Geoinformation	2021	DBLP DOI BibTeX RDF
17	Alimed Celecia Ramos, Karla Figueiredo, Carlos R. Hall Barbosa, Marley M. B. R. Vellasco, Edwin German Maldonado Tavara, Marco Silva 0002, Anderson Rodrigues, Renata Nascimento, Carla Ourofino	Unsupervised Machine Learning Applied to Seismic Interpretation: Towards an Unsupervised Automated Interpretation Tool.	Sensors	2021	DBLP DOI BibTeX RDF
17	Jingtai Li	An Empirical Study on the Relationship between Interpretation Strategies in the Process of Situational Education and Cognitive Processing Anxiety in Interpretation.	IPEC	2021	DBLP DOI BibTeX RDF
17	Maxime Jacquemin	Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique. (Relational Arithmetics for Abstract Interpretation Based Analysis of Numerical Accuracy Properties).		2021	RDF
17	Raphaël Monat	Static type and value analysis by abstract interpretation of Python programs with native C libraries. (Analyse statique, de type et de valeur, par interprétation abstraite, de programmes Python utilisant des librairies C).		2021	RDF
17	Juraj Kolcák	Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés. (Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks).		2021	RDF
17	Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles	Runtime Abstract Interpretation for Numerical Accuracy and Robustness.	VMCAI	2021	DBLP DOI BibTeX RDF
17	Omar Krichen	Conception d'un système tutoriel intelligent orienté stylet pour l'apprentissage de la géométrie basé sur une interprétation à la volée de la production manuscrite de figures. (Design of an intelligent tutoring system for geometry learning based on on-the-fly interpretation of handdrawn figures production).		2020	RDF
17	Rémy Boutonnet	Modular Analysis of Numerical Programs by Abstract Interpretation. (Analyse modulaire de propriétés numériques par interprétation abstraite).		2020	RDF
17	Marc Chevalier	Proving the security of software-intensive embedded systems by abstract interpretation. (Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite).		2020	RDF
17	Valentin Tschannen	Deep Learning for Seismic Data Processing and Interpretation. (Applications de l'Apprentissage Profond pour le Traitement et l'Interprétation Sismique).		2020	RDF
17	Sven Keidel, Sebastian Erdweg	A Systematic Approach to Abstract Interpretation of Program Transformations.	VMCAI	2020	DBLP DOI BibTeX RDF
17	Fethi Ghazouani, Imed Riadh Farah, Basel Solaiman	A Multi-Level Semantic Scene Interpretation Strategy for Change Interpretation in Remote Sensing Imagery.	IEEE Trans. Geosci. Remote. Sens.	2019	DBLP DOI BibTeX RDF
17	Xinrui Cui, Dan Wang 0011, Z. Jane Wang 0001	Multi-Scale Interpretation Model for Convolutional Neural Networks: Building Trust Based on Hierarchical Interpretation.	IEEE Trans. Multim.	2019	DBLP DOI BibTeX RDF
17	Nikolai Vogler, Craig Stewart, Graham Neubig	Lost in Interpretation: Predicting Untranslated Terminology in Simultaneous Interpretation.	CoRR	2019	DBLP BibTeX RDF
17	Wadii Boulila	Des données Satellitaires aux Connaissances : Modélisation des Incertitudes, Analyse et Interprétation. (From Remote Sensing Data to Knowledge: Modelling Uncertainties, Analysis and Interpretation).		2019	RDF
17	Nikolai Vogler, Craig Stewart, Graham Neubig	Lost in Interpretation: Predicting Untranslated Terminology in Simultaneous Interpretation.	NAACL-HLT (1)	2019	DBLP DOI BibTeX RDF
17	Ghiles Ziat	A combination of abstract interpretation and constraint programming. (Une combinaison d'interprétation abstraite et de programmation par contraintes).		2019	RDF
17	Matthieu Journault	Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference. (Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l'inférence de contrats).		2019	RDF
17	Modeste Irakarama	Towards Reducing Structural Interpretation Uncertainties Using Seismic Data. (Vers la réduction des incertitudes d'interprétation structurale à l'aide de données sismiques).		2019	RDF
17	Thibault Suzanne	Vérification par interprétation abstraite en mémoire faiblement cohérente. (Verification by abstract interpretation under weakly consistent memory).		2019	RDF
17	Tomoya Yamaguchi 0001, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura	Application of Abstract Interpretation to the Automotive Electronic Control System.	VMCAI	2019	DBLP DOI BibTeX RDF
17	Rémy Boutonnet, Nicolas Halbwachs	Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis.	VMCAI	2019	DBLP DOI BibTeX RDF
17	Stefano Del Vecchio	Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems. (Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants).		2018	RDF
17	Yann Hodé	Contribution à l'interprétation d'images et vérification de la consistance d'un graphe. (Contribution to image interpretation and graph consistency).		2018	RDF
17	Audrey Fertier	Interprétation automatique de données hétérogènes pour la modélisation de situations collaboratives: application à la gestion de crise. (Automatic interpretation of heterogeneous data to model collaborative situations: application to crisis management).		2018	RDF
17	Even Entem	Automatic interpretation and 3D modeling from line drawings of organic shapes. (Interprétation et modélisation 3D automatique à partir de dessins au trait de formes organiques).		2018	RDF
17	Leonardo de Araújo	Hacking Cultural Heritage: the Hackathon as a Method for Heritage Interpretation (Hacking Cultural Heritage: der Hackathon als Methode zur Interpretation des Kulturerbes)		2018	RDF
17	Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz	An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.	VMCAI	2018	DBLP DOI BibTeX RDF
17	Zhaoxin Chen	Recognition and interpretation of multi-touch gesture interaction. (Reconnaissance et interprétation des interactions tactiles multipoints).		2017	RDF
17	Nicolas Hascoët	Méthodes pour l'interprétation automatique d'images en milieu urbain. (Methods for automatic interpretation of images in urban environment).		2017	RDF
17	Sébastien Lefort	"How much is 'about'?" modélisation computationnelle de l'interprétation cognitive des expressions numériques approximatives. ("How much is about ?" computational modeling of the cognitive interpretation of approximate numerical expressions).		2017	RDF
17	Akrem Sellami	Interprétation sémantique d'images hyperspectrales basée sur la réduction adaptative de dimensionnalité. (Semantic interpretation of hyperspectral images based on the adaptative reduction of dimensionality).		2017	RDF
17	Daniel Nyga	Interpretation of Natural-language Robot Instructions: Probabilistic Knowledge Representation, Learning, and Reasoning (Interpretation Natürlichsprachlicher Roboterinstruktionen : Repräsentieren, Lernen und Schlussfolgern von Probabilistischem Wissen)		2017	RDF
17	Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv	Conjunctive Abstract Interpretation Using Paramodulation.	VMCAI	2017	DBLP DOI BibTeX RDF
17	Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang 0001	Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.	VMCAI	2017	DBLP DOI BibTeX RDF
17	Raphaël Monat, Antoine Miné	Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.	VMCAI	2017	DBLP DOI BibTeX RDF