Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Pietro Ferrara 0001, Omer Tripp, Peng Liu 0010, Eric Koskinen	Using Abstract Interpretation to Correct Synchronization Faults.	VMCAI	2017	DBLP DOI BibTeX RDF
17	Maxime Amblard	Sémantique et discours - de la modélisation à l'interprétation. (Semantics and Discourse: from modelling to interpretation).		2016	RDF
17	Hicham Randrianarivo	Apprentissage statistique de classes sémantiques pour l'interprétation d'images aériennes. (Statistical learning of classes Semantics for interpretation Aerial images).		2016	RDF
17	Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo	Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis.	VMCAI	2016	DBLP DOI BibTeX RDF
17	Thomas W. Reps, Aditya V. Thakur	Automating Abstract Interpretation.	VMCAI	2016	DBLP DOI BibTeX RDF
17	Noam Rinetzky, Sharon Shoham	Property Directed Abstract Interpretation.	VMCAI	2016	DBLP DOI BibTeX RDF
17	Caterina Urban	Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs. (Analyse Statique par Interprétation Abstraite de Propriétés Temporelles Fonctionnelles des Programmes).		2015	RDF
17	Maya Alsheh Ali	Analyse statistique de populations pour l'interprétation d'images histologiques. (Statistical analysis of populations for histological images interpretation).		2015	RDF
17	Rica Simona Antin	Parcours de lecture et d'interprétation : un outil pour des médiations éducatives et culturelles adaptatives. (Reading and interpretation paths: A tool for adaptative educational and cultural mediation).		2015	RDF
17	Filippo Mazza	Influence of image features on face portraits social context interpretation: experimental methods, crowdsourcing based studies and models. (Influence des caractéristiques des images de portrait sur l'interprétation de leurcontexte social: méthodologie expérimentale, évaluation par crowdsourcing etmodèles).		2015	RDF
17	Van-Toi Nguyen	Visual interpretation of hand postures for human-machine interaction. (Interprétation visuelle de gestes pour l'interaction homme-machine).		2015	RDF
17	Caterina Urban, Antoine Miné	Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.	VMCAI	2015	DBLP DOI BibTeX RDF
17	Sharmili Roy, Michael S. Brown, George L. Shih	Visual Interpretation with Three-Dimensional Annotations (VITA): Three-Dimensional Image Interpretation Tool for Radiological Reporting.	J. Digit. Imaging	2014	DBLP DOI BibTeX RDF
17	Julien Henry	Static Analysis by Abstract Interpretation and Decision Procedures. (Analyse statique de programme par interprétation abstraite et procédures de décision).		2014	RDF
17	Keziban Orman	Contribution to the interpretation of evolving communities in complex networks : Application to the study of social interactions. (Contribution à l'interprétation des communautés en évolution dans des réseaux complexes : Application à l'étude des interactions sociales).		2014	RDF
17	Arnaud Ahouandjinou	Reconnaissance de scénario par les Modèles de Markov Cachés Crédibilistes : Application à l'interprétation automatique de séquences vidéos médicales. (Scenario recognition by evidentials hidden Markov models : Application for the automatic interpretation of medical video sequences).		2014	RDF
17	Bassem Alsahwa	Représentation d'un environnement par un système multi-capteurs : fusion et interprétation de scène. (Representation of an environment by a multi-sensor system: fusion and scene interpretation).		2014	RDF
17	Clément Guérin	Proposition d'un cadre pour l'analyse automatique, l'interprétation et la recherche interactive d'images de bande dessinée. (A framework for the automated analysis, interpretation and interactive retrieval of comic books' images).		2014	RDF
17	Alessia Saggese	Detecting and indexing moving objects for behavior analysis by video and audio interpretation. (La détection et l'indexation des objets en mouvement pour l'analyse du comportement par vidéo et audio interprétation).		2014	RDF
17	Seyed Mostafa Kia, Sandro Vega-Pons, Emanuele Olivetti, Paolo Avesani	Multi-Task Learning for Interpretation of Brain Decoding Models.	MLINI@NIPS	2014	DBLP DOI BibTeX RDF
17	Antoine Miné	Relational Thread-Modular Static Value Analysis by Abstract Interpretation.	VMCAI	2014	DBLP DOI BibTeX RDF
17	Pietro Ferrara 0001	Generic Combination of Heap and Value Analyses in Abstract Interpretation.	VMCAI	2014	DBLP DOI BibTeX RDF
17	Mehul Bhatt, Jakob Suchan, Carl Schultz 0001	Cognitive Interpretation of Everyday Activities: Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation.	CoRR	2013	DBLP BibTeX RDF
17	Antoine Miné	Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents).		2013	RDF
17	Bart Lamiroy	On the Limits of Machine Perception and Interpretation. (Sur les limites de la perception artificielle et de l'interprétation).		2013	RDF
17	Margaret McLaughlin, Yujung Nam, Win May, Lourdes Baezconde-Garbanati, Panayiotis G. Georgiou, Zheng Ahn	Technology-Based Medical Interpretation for Cross-Language Communication: In Person, Telephone, and Videoconference Interpretation and Their Comparative Impact On Limited English Proficiency (LEP) Patient and Doctor.	HCI (21)	2013	DBLP DOI BibTeX RDF
17	Mehul Bhatt, Jakob Suchan, Carl Schultz 0001	Cognitive Interpretation of Everyday Activities - Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation.	CMN	2013	DBLP DOI BibTeX RDF
17	Joseph Chazalon	Interprétation contextuelle et assistée de fonds d'archives numérisés : application à des registres de vente du XVIIIe siècle. (Contextual and assisted interpretation of digitized fonds: application to sales registers from the 18th century).		2013	RDF
17	Wassim Messoudi	Proposition d'une annotation sémantique floue guidée par ontologie pour l'interprétation des images de télédétection : Application à la gestion des risques naturels. (Fuzzy Semantic Annotation based on Ontology for Remote Sensing Images Interpretation: Application to Natural Risks).		2013	RDF
17	Samuel Andrés	Ontologies dans les images satellitaires : interprétation sémantique des images. (Ontologies for semantic interpretation of satellite images).		2013	RDF
17	Francesco Logozzo, Matthieu Martel	Automatic Repair of Overflowing Expressions with Abstract Interpretation.	Festschrift for Dave Schmidt	2013	DBLP DOI BibTeX RDF
17	Isabella Mastroeni	Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications.	Festschrift for Dave Schmidt	2013	DBLP DOI BibTeX RDF
17	Martin Bodin, Thomas P. Jensen, Alan Schmitt	Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version).	Festschrift for Dave Schmidt	2013	DBLP DOI BibTeX RDF
17	Agostino Cortesi, Giulia Costantini, Pietro Ferrara 0001	A Survey on Product Operators in Abstract Interpretation.	Festschrift for Dave Schmidt	2013	DBLP DOI BibTeX RDF
17	Mads Rosendahl	Abstract Interpretation as a Programming Language.	Festschrift for Dave Schmidt	2013	DBLP DOI BibTeX RDF
17	Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening	An Abstract Interpretation of DPLL(T).	VMCAI	2013	DBLP DOI BibTeX RDF
17	Achraf Ghorbel	Interprétation interactive de documents structurés : application à la rétroconversion de plans d'architecture manuscrits. (Interactive interpretation of structured documents: application to the retro-conversion of handwritten architectural plans).		2012	RDF
17	Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta	Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.	VMCAI	2012	DBLP DOI BibTeX RDF
17	José M. G. Izarzugaza, Miguel Vazquez, Angela del Pozo, Alfonso Valencia	wKinMut: An integrated tool for the analysis and interpretation of mutations in human protein kinases.	AIMM	2012	DBLP BibTeX RDF
17	Marco B. Caminati	Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages.	Formaliz. Math.	2011	DBLP DOI BibTeX RDF
17	Yannick Prié	Vers une phénoménologie des inscriptions numériques. Dynamique de l'activité et des structures informationnelles dans les systèmes d'interprétation. (Towards a Phenomenology of Digital Inscriptions. Dynamics of Activity and Informational Structures in Interpretation Systems).		2011	RDF
17	Assalé Adjé	Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite. (Opimisation and games applied to static analysis by abstract interpretation).		2011	RDF
17	Maria-Carolina Vanegas Orozco	Spatial relations and spatial reasoning for the interpretation of Earth observation images using a structural model. (Relations spatiales et raisonnement spatial pour l'interprétation des images d'observation de la Terre utilisant un modèle structurel).		2011	RDF
17	Francesco Logozzo	Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk).	VMCAI	2011	DBLP DOI BibTeX RDF
17	Se-Won Kim, Kwang-Moo Choe	String Analysis as an Abstract Interpretation.	VMCAI	2011	DBLP DOI BibTeX RDF
17	Roberto Giacobazzi	Abstract Interpretation-Based Protection.	VMCAI	2010	DBLP DOI BibTeX RDF
17	Baptiste Hemery	Évaluation de l'interprétation d'images. (Evaluation of Image Interpretation).		2009	RDF
17	Pietro Ferrara 0001	Static analysis via abstract interpretation of multithreaded programs. (Analyse statique de logiciels MultitâCHES par InterpréTation abstraite).		2009	RDF
17	Björn Gottfried, Hamid K. Aghajan	Behaviour Monitoring and Interpretation - Smart Environments.	BMI Book	2009	DBLP DOI BibTeX RDF
17	Yohei Kurata, Max J. Egenhofer	Interpretation of Behaviours from a Viewpoint of Topology.	BMI Book	2009	DBLP DOI BibTeX RDF
17	Pierre-Loïc Garoche	Static Analysis of an Actor-based Process Calculus by Abstract Interpretation. (Analyse statique d'un calcul d'acteurs par interprétation abstraite).		2008	RDF
17	Anthony Ventresque	Espaces vectoriels sémantiques : enrichissement et interprétation de requêtes dans un système d'information distribué et hétérogène. (Semantic Vector Spaces: Query Enrichment and Interpretation in a Distributed and Heterogeneous Information System).		2008	RDF
17	Radhia Cousot	Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.	VMCAI	2008	DBLP DOI BibTeX RDF
17	Olivier Bouissou, Matthieu Martel	Abstract Interpretation of the Physical Inputs of Embedded Programs.	VMCAI	2008	DBLP DOI BibTeX RDF
17	Serge Linckels, Christoph Meinel	Semantic Interpretation of Natural Language User Input to Improve Search in Multimedia Knowledge Base (Semantische Interpretation einer Benutzer-Eingabe in natürlicher Sprache für eine verbesserte Suche in einer multimedialen Wissensdatenbank).	it Inf. Technol.	2007	DBLP DOI BibTeX RDF
17	Thibault Roy	Visualisations interactives pour l'aide personnalisée à l'interprétation d'ensembles documentaires. (Interactive visualizations for personalized help with the interpretation of documentary sets).		2007	RDF
17	Romain Péchoux	Analyse de la complexité des programmes par interprétation sémantique. (Program complexity analysis by semantics interpretation).		2007	RDF
17	Thomas Guyet	Interprétation collaborative de séries temporelles. Application à des données de réanimation médicale. (Collaborative interpretation of multivariate time series. Application to data from intensive care units).		2007	RDF
17	Teresa Heitor, Ana Maria Tomé, Paulo Dimas, João Pedro Silva	Measurability, Representation and Interpretation of Spatial Usage in Knowledge-Sharing Environments - A Descriptive Model Based on WiFi Technologies.	BMI	2007	DBLP BibTeX RDF
17	Hamid K. Aghajan, Chen Wu 0002	From Distributed Vision Networks to Human Behavior Interpretation.	BMI	2007	DBLP BibTeX RDF
17	Mircea-Dan Hernest	More feasible programs from (non-constructive) proofs by the Light (Monotone) Dialectica interpretation. (Extraction de programmes plus efficaces à partir de preuves (non-constructives) par l'interprétation Dialectica Légère (Monotone)).		2006	RDF
17	Vincent Girondel	Contribution à l'analyse et à l'interprétation du mouvement humain: application à la reconnaissance de postures. (Contribution to human motion analysis and interpretation: application to posture recognition).		2006	RDF
17	Francesco Logozzo, Agostino Cortesi	Semantic Hierarchy Refactoring by Abstract Interpretation.	VMCAI	2006	DBLP DOI BibTeX RDF
17	Jérôme Feret	Analyse des systèmes mobiles par interprétation abstraite. (Analysis of mobile systems by abstract interpretation).		2005	RDF
17	Stéphane Huot	Une nouvelle approche pour la conception créative: De l'interprétation du dessin à main levée au prototypage d'interactions non-standard. (A New Approach for Creative Design: From Freehand Sketches Interpretation to Inovative Interactions Prototyping).		2005	RDF
17	Saïd Assous	Time-frequency analysis by the S transform and interpretation of the laser Doppler flowmetry signals: clinic diagnosis applications. (Analyse temps-fréquence par la transformée en S et interprétation des signaux de fluxmétrie laser Doppler: applications au diagnostic clinique).		2005	RDF
17	Nolwenn Le Meur	From microarray data acquisition to their interpretation: the importance of raw dataprocessing. (De l'Acquisition des Données de Puces à ADN vers leur Interprétation : Importance du Traitement des Données Primaires).		2005	RDF
17	Ali Habibi, Sofiène Tahar	On the Transformation of SystemC to AsmL Using Abstract Interpretation.	AIOOL@VMCAI	2005	DBLP DOI BibTeX RDF
17	Coen De Roover, Kris Gybels, Theo D'Hondt	Towards Abstract Interpretation for Recovering Design Information.	AIOOL@VMCAI	2005	DBLP DOI BibTeX RDF
17	Isabelle Pollet, Baudouin Le Charlier	Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation.	AIOOL@VMCAI	2005	DBLP DOI BibTeX RDF
17	Francesco Logozzo, Agostino Cortesi	Abstract Interpretation and Object-oriented Programming: Quo Vadis?	AIOOL@VMCAI	2005	DBLP DOI BibTeX RDF
17	Christian Skalka, Scott F. Smith 0001, David Van Horn	A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract).	AIOOL@VMCAI	2005	DBLP DOI BibTeX RDF
17	Van-Thinh Vu	Scénarios temporels pour l'interprétation automatique de séquences vidéos. (Temporal Scenario for Automatic Video Interpretation).		2004	RDF
17	Guillaume Pitel	MICO : La notion de construction située pour un modèle d'interprétation et de traitement de la référence pour le dialogue finalisé. (MICO: the Notion of Situated Construction for Interpretation in Practical Dialogue and for Concrete Reference Resolution).		2004	RDF
17	Sébastien Schmerber	Nouvelle technologie d'identification et d'interprétation des potentiels évoqués auditifs précoces per-opératoires. (New technology for identification and interpretation of intraoperative auditory monitoring using auditory brainstem responses).		2002	RDF
17	Sava Krstic, John Matthews	Verifying BDD Algorithms through Monadic Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
17	David Monniaux	Analysis of probabilistic programs by abstract interpretation. (Analyse de programmes probabilistes par interprétation abstraite).		2001	RDF
17	François Trouilleux	Identification des reprises et interprétation automatique des expressions pronominales dans des textes en français. (Referential links identification and automatic interpretation of pronominal expressions in French texts).		2001	RDF
17	Nicolas Loménie	Interprétation de nuages de points : application à la modélisaion d'environnements 3D en robotique mobile. (Point Set Interpretation : application to 3D environment modelling in mobile robotics).		2001	RDF
17	Jean-Marc Ogier, Rémy Mullot, Jacques Labiche, Yves Lecourtier	Semantic coherency: the basis of an image interpretation device-application to the cadastral map interpretation.	IEEE Trans. Syst. Man Cybern. Part B	2000	DBLP DOI BibTeX RDF
17	Matthieu Durnerin	Une stratégie pour l'interprétation en analyse spectrale. Détection et caractérisation des composantes d'un spectre. (A strategy for interpretation in spectral analysis).		1999	RDF
17	François Galilée	Athapascan-1 : interprétation distribuée du flot de données d'un programme parallèle. (Athapascan-1 : distributed interpretation of parallel programs based on data flow analysis).		1999	RDF
17	Alain Boucher	Une approche décentralisée et adaptative de la gestion d'informations en vision ; application à l'interprétation d'images de cellules en mouvement. (A decentralized and adaptive approach for the information management in vision ; application to living cell image interpretation).		1999	RDF
17	Daniel Schang	Représentation et interprétation de connaissances spatiales dans un système de dialogue Homme-Machine. (Representation and interpretation of spatial knowledge in a man-machine system).		1997	RDF
17	Ludovic Tanguy	Traitement Automatique de la Langue Naturelle et interprétation:Contribution à l'élaboration d'un modèle informatique de la Sémantique Interprétative. (Natural Language Processing and Interpretation: towards a computer model of Interpretative Semantics).		1997	RDF
17	Nadia Bellalem	Étude du mode de désignation dans un dialogue homme-machine finalise a forte composante langagière : analyse structurelle et interprétation. (The designation mode in man-machine task oriented dialogue with strong linguistic component : structural analysis and interpretation).		1995	RDF
17	Hugo Herbelin	Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes. (Computing with sequents: on the interpretation of sequent calculus as a calculus of lambda-terms and as a calculus of winning strategies).		1995	RDF
17	Marc Mangolini	Apport de la fusion d'images satellitaires multicapteurs au niveau pixel en télédétection et photo-interprétation. (Benefit of fusion of multisensor images in remote sensing and photo-interpretation).		1994	RDF
17	Stefan Schröder, Richard Salzbrunn, Heinz Brünig, Heinrich Niemann	Interpretation industrieller Szenen mit Methoden der künstlichen Intelligenz / Interpretation of industrial scenes by artificial intelligence methods.	it Inf. Technol.	1991	DBLP DOI BibTeX RDF
17	Carlo Strapparava	From Scopings to Interpretation: The Semantic Interpretation within the AlFresco System.	AI*IA	1991	DBLP DOI BibTeX RDF
17	Demetrio Arturo Ovalle Carranza	Contribution à l'étude du raisonnement en univers multi-agent : KIDS, une application pour l'interprétation d'images biomédicales. (Contribution to the study of reasoning paradigm in multi-agent environments : KIDS, an application for biomedical image interpretation).		1991	RDF
17	Hendrik J. Luinge, Gerard J. Kleywegt, Henk A. Van't Klooster, John H. Van der Maas	Artificial intelligence used for the interpretation of combined spectral data. 3. Automated generation of interpretation rules for infrared spectral data.	J. Chem. Inf. Comput. Sci.	1987	DBLP DOI BibTeX RDF
17	Georg Kreisel	On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications.	J. Symb. Log.	1952	DBLP DOI BibTeX RDF
16	Kevin Williams 0001, Jason McCandless, David Gregg	Dynamic interpretation for dynamic scripting languages.	CGO	2010	DBLP DOI BibTeX RDF	interpreter optimization, dynamic languages, type specialization
16	Thomas Brox, Daniel Cremers	On Local Region Models and a Statistical Interpretation of the Piecewise Smooth Mumford-Shah Functional.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Segmentation, Regularization, Variational methods, Statistical methods
16	Guang Deng	An Entropy Interpretation of the Logarithmic Image Processing Model With Application to Contrast Enhancement.	IEEE Trans. Image Process.	2009	DBLP DOI BibTeX RDF
16	Gwendolyn E. Campbell, Christine L. Belz, Phan Luu	"What Was He Thinking?": Using EEG Data to Facilitate the Interpretation of Performance Patterns.	HCI (16)	2009	DBLP DOI BibTeX RDF	training, student modeling, electroencephalography
16	Sophia Sakellariou, Vassilis Charissis, Ben Michael Ward, David Chanock, Paul Anderson	A Novel Approach to CT Scans' Interpretation via Incorporation into a VR Human Model.	HCI (11)	2009	DBLP DOI BibTeX RDF	VR Human Model, HCI, Medical Training, CT scans
16	Björn Gottfried	Behaviour Monitoring and Interpretation.	KI	2009	DBLP DOI BibTeX RDF
16	Anna Derezinska, Romuald Pilitowski	Interpretation of History Pseudostates in Orthogonal States of UML State Machines.	NGITS	2009	DBLP DOI BibTeX RDF	UML state machines, orthogonal regions, semantic variation points, UML code execution, statecharts, history