Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Vincent Laviron, Francesco Logozzo	Refining Abstract Interpretation-Based Static Analyses with Hints.	APLAS	2009	DBLP DOI BibTeX RDF
16	Wilfried Bohlken, Bernd Neumann	Generation of Rules from Ontologies for High-Level Scene Interpretation.	RuleML	2009	DBLP DOI BibTeX RDF
16	Neri Merhav	An Identity of Chernoff Bounds With an Interpretation in Statistical Physics and Applications in Information Theory.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
16	Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu	A Bipolar Interpretation of Fuzzy Decision Trees.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
16	Markus Wuersch, Max J. Egenhofer	Perceptual Sketch Interpretation.	SDH	2008	DBLP DOI BibTeX RDF
16	Irma Sofía Espinosa Peraldí, Atila Kaya, Sylvia Melzer, Ralf Möller 0001	On Ontology Based Abduction for Text Interpretation.	CICLing	2008	DBLP DOI BibTeX RDF
16	Ingrid Zukerman, Enes Makalic, Michael Niemann, Sarah George	A Probabilistic Approach to the Interpretation of Spoken Utterances.	PRICAI	2008	DBLP DOI BibTeX RDF
16	Piotr Augustyniak	Quality-Driven Continuous Adaptiation of ECG Interpretation in a Distributed Surveillance System.	ICAISC	2008	DBLP DOI BibTeX RDF
16	Bart Kuijpers, Bart Moelans	Towards a geometric interpretation of double-cross matrix-based similarity of polylines.	GIS	2008	DBLP DOI BibTeX RDF	double-cross calculus, similarity, polylines
16	Germain Forestier, Sébastien Derivaux, Cédric Wemmert, Pierre Gançarski	An Evolutionary Approach for Ontology Driven Image Interpretation.	EvoWorkshops	2008	DBLP DOI BibTeX RDF
16	Roberto Giacobazzi, Isabella Mastroeni	Transforming Abstract Interpretations by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
16	Osvaldo Cairó, Silvia Guardati	Automatic Translation in Two Phases: Recognition and Interpretation.	KES (2)	2008	DBLP DOI BibTeX RDF	volatile grammars, Natural language, automatic translation
16	Huaikou Miao, Xiaoxia Cao, Zhong-sheng Qian	Refining Service-Oriented Model Using Interpretation Mapping.	SOSE	2008	DBLP DOI BibTeX RDF
16	Preslav Nakov	Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study.	AIMSA	2008	DBLP DOI BibTeX RDF	Noun Compounds, Lexical Semantics, Paraphrasing
16	Lynn Farh, Shyan-Jer Lee	A Project-based Assessment for Introductory Bioinformatics Course - An Assessment Aimed to Reinforce Students' Ability in Data Analyses Interpretation and Integration.	BMEI (2)	2008	DBLP DOI BibTeX RDF	bioinformatics teaching, project-based assessment, knowledge integration
16	Manpreet Singh, Manjeet Singh Patterh	Interpretation of policy oriented common criteria components for network computing environment.	COMSWARE	2008	DBLP DOI BibTeX RDF
16	David A. Schmidt	Internal and External Logics of Abstract Interpretations.	VMCAI	2008	DBLP DOI BibTeX RDF
16	Michael Levit, Deb Roy	Interpretation of Spatial Language in a Map Navigation Task.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
16	Carl G. Wagner	The Smith-Walley Interpretation of Subjective Probability: An Appreciation.	Stud Logica	2007	DBLP DOI BibTeX RDF	Dutch book, strict coherence, subjective probability, probability kinematics, coherence
16	Vitaly Schetinin, Jonathan E. Fieldsend, Derek Partridge, Timothy J. Coats, Wojtek J. Krzanowski, Richard M. Everson, Trevor C. Bailey, Adolfo Hernández	Confident Interpretation of Bayesian Decision Tree Ensembles for Clinical Applications.	IEEE Trans. Inf. Technol. Biomed.	2007	DBLP DOI BibTeX RDF
16	Daniel Kästner	Safe worst-case execution time analysis by abstract interpretation of executable code.	LCTES	2007	DBLP DOI BibTeX RDF
16	Pau Baiget, Carles Fernández Tena, F. Xavier Roca, Jordi Gonzàlez 0001	Automatic Learning of Conceptual Knowledge in Image Sequences for Human Behavior Interpretation.	IbPRIA (1)	2007	DBLP DOI BibTeX RDF
16	Michael Sauter, T. Kern, Paolo Ermanni	Final design interpretation of the complex-shaped beam optimizations for compliant mechanisms.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
16	Layman E. Allen, Adam W. Tury	NewMINT interpretation assistance system: United States Constitution First Amendment's initial 1344 interpretations.	ICAIL	2007	DBLP DOI BibTeX RDF	NewMINT, ambiguity detection, generative expert system, legal relations language, multiple-interpretion assistance, normalized form
16	Catriona M. Kennedy, Georgios Theodoropoulos 0001, Edward Ferrari, Peter Lee 0003, Chris Skelcher	Towards an Automated Approach to Dynamic Interpretation of Simulations.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
16	Ingo Glöckner	Towards an Operational Interpretation of Membership Grades - On H-Valued Fuzzy Sets and Their Use for Fuzzy Quantification.	FOCI	2007	DBLP DOI BibTeX RDF
16	Rodrigo Agerri, John A. Barnden, Mark G. Lee, Alan M. Wallington	Default Inferences in Metaphor Interpretation.	CONTEXT	2007	DBLP DOI BibTeX RDF
16	Sang Wan Lee, Yong-Soo Kim, Zeungnam Bien	Agglomerative Fuzzy Clustering based on Bayesian Interpretation.	IRI	2007	DBLP DOI BibTeX RDF
16	Krzysztof A. Cyran	Rough Sets in the Interpretation of Statistical Tests Outcomes for Genes Under Hypothetical Balancing Selection.	RSEISP	2007	DBLP DOI BibTeX RDF	BLM, RECQL, WRN, neutrality tests, rough sets, ATM, natural selection
16	Jong-Sung Kim, Ki-Sang Hong	Fast 3-D Interpretation from Monocular Image Sequences on Large Motion Fields.	ACCV (2)	2007	DBLP DOI BibTeX RDF
16	Anne-Mari Rusanen, Petri Ylikoski	Neural Network Templates and Their Interpretation.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Michael Niemann, Ingrid Zukerman, Enes Makalic, Sarah George	Hypothesis Generation and Maintenance in the Interpretation of Spoken Utterances.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
16	Alberto Voltolini	Fiction as a Base of Interpretation Contexts.	Synth.	2006	DBLP DOI BibTeX RDF
16	Emmanuel Roux, Anne-Pascale Godillon-Maquinghen, Patrice Caulier, Stéphane Bouilland, Denis Bouttens	A Support Method for the Contextual Interpretation of Biomechanical Data.	IEEE Trans. Inf. Technol. Biomed.	2006	DBLP DOI BibTeX RDF
16	Serge Linckels, Christoph Meinel	Resolving Ambiguities in the Semantic Interpretation of Natural Language Questions.	IDEAL	2006	DBLP DOI BibTeX RDF
16	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Abstract Interpretation for Worst and Average Case Analysis.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
16	Markus Vincze, Wolfgang Ponweiser, Michael Zillich	Contextual Coordination in a Cognitive Vision System for Symbolic Activity Interpretation.	ICVS	2006	DBLP DOI BibTeX RDF
16	Jong-Sung Kim, Ki-Sang Hong	Variational Multigrid for Fast 3D Interpretation of Image Sequences.	ICPR (1)	2006	DBLP DOI BibTeX RDF
16	Sébastien Macé, Éric Anquetil	A Generic Method for Eager Interpretation of On-Line Handwritten Structured Documents.	ICPR (2)	2006	DBLP DOI BibTeX RDF
16	Rafal A. Angryk	On Interpretation of Non-atomic Values and Induction of Decision Rules in Fuzzy Relational Databases.	ICAISC	2006	DBLP DOI BibTeX RDF
16	Uta Priss	An FCA Interpretation of Relation Algebra.	ICFCA	2006	DBLP DOI BibTeX RDF
16	Laurent Mazuel, Nicolas Sabouret	Generic Command Interpretation Algorithms for Conversational Agents.	IAT	2006	DBLP DOI BibTeX RDF
16	Flavio D. Garcia, Peter van Rossum	Sound Computational Interpretation of Symbolic Hashes in the Standard Model.	IWSEC	2006	DBLP DOI BibTeX RDF
16	Giovanni Casella, Gennaro Costagliola, Vincenzo Deufemia, Maurizio Martelli, Viviana Mascardi	An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches.	VL/HCC	2006	DBLP DOI BibTeX RDF
16	Andrew Trotman, Mounia Lalmas	Strict and vague interpretation of XML-retrieval queries.	SIGIR	2006	DBLP DOI BibTeX RDF	XML retrieval, INEX, element retrieval
16	Gaurav Harit, Santanu Chaudhury	Video Scene Interpretation Using Perceptual Prominence and Mise-en-scène Features.	ACCV (2)	2006	DBLP DOI BibTeX RDF
16	Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford	Formal Modelling of Cognitive Interpretation.	DSV-IS	2006	DBLP DOI BibTeX RDF	model checking, human error, cognitive architecture, SAL
16	Ingrid Zukerman, Michael Niemann, Sarah George, Yuval Marom	Probabilistic, Multi-staged Interpretation of Spoken Utterances.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
16	Bernard Haasdonk	Feature Space Interpretation of SVMs with Indefinite Kernels.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
16	Ronan Fablet	Extraction and interpretation of ring structures in images of biological hard tissues: application to fish age and growth estimation.	ICIP (2)	2005	DBLP DOI BibTeX RDF
16	Patrick Cousot	The Verification Grand Challenge and Abstract Interpretation.	VSTTE	2005	DBLP DOI BibTeX RDF
16	Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella	Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.	ICATPN	2005	DBLP DOI BibTeX RDF
16	Liliana Ironi, Stefania Tentoni	Electrocardiographic Imaging: Towards Automated Interpretation of Activation Maps.	AIME	2005	DBLP DOI BibTeX RDF	electrocardiology, imaging, spatial reasoning, qualitative reasoning
16	Joo Geok Tan, Daqing Zhang 0001, Xiaohang Wang 0002, Heng Seng Cheng	Enhancing Semantic Spaces with Event-Driven Context Interpretation.	Pervasive	2005	DBLP DOI BibTeX RDF
16	Eric Wahl, Gerd Hirzinger	Cluster-Based Point Cloud Analysis for Rapid Scene Interpretation.	DAGM-Symposium	2005	DBLP DOI BibTeX RDF
16	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Experiments in abstract interpretation-based code certification for pervasive systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
16	Francisco Bueno, Pedro López-García 0001, Manuel V. Hermenegildo	Multivariant Non-failure Analysis via Standard Abstract Interpretation.	FLOPS	2004	DBLP DOI BibTeX RDF
16	Jianping Fan 0001, Yuli Gao, Hangzai Luo, Guangyou Xu	Salient Objects: Semantic Building Blocks for Image Concept Interpretation.	CIVR	2004	DBLP DOI BibTeX RDF
16	Keith Mason, Catherine Howard	Knowledge Intensive Interpretation of Signal Data.	IEA/AIE	2004	DBLP DOI BibTeX RDF
16	Carlos Andrés Peña-Reyes, Rosa Villa, Luis Prieto, Eduardo Sanchez	COBRA: An Evolved Online Tool for Mammography Interpretation.	IWANN (1)	2003	DBLP DOI BibTeX RDF
16	Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama	An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.	APSEC	2003	DBLP DOI BibTeX RDF
16	Patrick Cousot	Verification by Abstract Interpretation.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
16	Yasutake Takahashi, Koichi Hikita, Minoru Asada	A Hierarchical Multi-module Learning System Based on Self-interpretation of Instructions by Coach.	RoboCup	2003	DBLP DOI BibTeX RDF
16	Anders Ericsson, Amelié Huart, Andreas Ekefjärd, Kalle Åström, Holger Holst, Eva Evander, Per Wollmer, Lars Edenbrandt	Automated Interpretation of Ventilation-Perfusion Lung Scintigrams for the Diagnosis of Pulmonary Embolism Using Support Vector Machines.	SCIA	2003	DBLP DOI BibTeX RDF
16	Hicham Sekkati, Amar Mitiche	Dense 3D interpretation of image sequences: a variational approach using anisotropic diffusion.	ICIAP	2003	DBLP DOI BibTeX RDF
16	John Regehr, Alastair Reid 0001, Kirk Webb	Eliminating Stack Overflow by Abstract Interpretation.	EMSOFT	2003	DBLP DOI BibTeX RDF
16	Martin Trautwein	Comparatively True Types: A Set-Free Ontological Model of Interpretation and Evaluation Contexts.	CONTEXT	2003	DBLP DOI BibTeX RDF
16	Petra Perner, Thomas Günther, Horst Perner, G. Fiss, R. Ernst	Health Monitoring by an Image Interpretation System - A System for Airborne Fungi Identification.	ISMDA	2003	DBLP DOI BibTeX RDF
16	Jean-Marc Viglino, Marc Pierrot-Deseilligny	A Vector Approach for Automatic Interpretation of the French Cadatral Map.	ICDAR	2003	DBLP DOI BibTeX RDF
16	Bernhard Steffen, Hardi Hungar	Behavior-Based Model Construction.	VMCAI	2003	DBLP DOI BibTeX RDF
16	Hugh Anderson	Abstract Interpretation with a Theorem Prover.	ICFEM	2002	DBLP DOI BibTeX RDF
16	Patrick Cousot	Abstract Interpretation: Theory and Practice.	SPIN	2002	DBLP DOI BibTeX RDF
16	Michael Codish, Harald Søndergaard	Meta-circular Abstract Interpretation in Prolog.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
16	Sergey Ablameyko 0001, Vladimir Bereishik, Maria Homenko, Nadeshda Paramonova, O. Patsko	Automatic/Interactive Interpretation of Color Map Images.	ICPR (3)	2002	DBLP DOI BibTeX RDF
16	Kyung-Soon Lee, Jae-Ho Kim, Key-Sun Choi	Answer Extraction by Flexible Matching, Filtering, and Interpretation.	PRICAI	2002	DBLP DOI BibTeX RDF
16	Markus Brandner, Axel Pinz	Real-Time Tracking of Complex Objects Using Dynamic Interpretation Tree.	DAGM-Symposium	2002	DBLP DOI BibTeX RDF
16	Melanie Aurnhammer, Klaus D. Tönnies	The Application of Genetic Algorithms in Structural Seismic Image Interpretation.	DAGM-Symposium	2002	DBLP DOI BibTeX RDF
16	Jean-François Bonnefon, Denis J. Hilton	Getting the Point of Conditionals: An Argumentative Approach to the Psychological Interpretation of Conditional Premises.	WCII	2002	DBLP DOI BibTeX RDF
16	Patrick Cousot	Abstract Interpretation Based Formal Methods and Future Challenges.	Informatics	2001	DBLP DOI BibTeX RDF
16	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
16	Antonietta Lanza, Donato Malerba, Francesca A. Lisi, Annalisa Appice, Michelangelo Ceci	Generating Logic Descriptions for the Automated Interpretation of Topographic Maps.	GREC	2001	DBLP DOI BibTeX RDF
16	Francis K. H. Quek, Cemil Kirbas, Fady T. Charbel	AIM: An Attentionally-Based System for the Interpretation of Angiography.	MIAR	2001	DBLP DOI BibTeX RDF
16	Patrick Cousot, Radhia Cousot	Temporal Abstract Interpretation.	POPL	2000	DBLP DOI BibTeX RDF
16	Mário A. T. Figueiredo	On Gaussian Radial Basis Function Approximations: Interpretation, Extensions, and Learning Strategies.	ICPR	2000	DBLP DOI BibTeX RDF
16	David B. Anderson, James L. Frankel, Joe Marks, Aseem Agarwala, Paul A. Beardsley, Jessica K. Hodgins, Darren Leigh, Kathy Ryall, Eddie Sullivan, Jonathan S. Yedidia	Tangible interaction + graphical interpretation: a new approach to 3D modeling.	SIGGRAPH	2000	DBLP DOI BibTeX RDF	applications, tangible user interfaces, geometric modeling, shape recognition, embedded computation, graphics systems, perceptual user interfaces, user interface hardware, transmedia, HCI (Human-Computer Interface)
16	Silvano Dal-Zilio	An Interpretation of Typed Concurrent Objects in the Blue Calculus.	IFIP TCS	2000	DBLP DOI BibTeX RDF
16	Michel Parigot	On the Computational Interpretation of Negation.	CSL	2000	DBLP DOI BibTeX RDF
16	Stephen Helmreich, David Farwell	Text Meaning Representation as a Basis for Representation of Text Interpretation.	AMTA	2000	DBLP DOI BibTeX RDF
16	Allan D. Jepson, Richard Mann	Qualitative Probabilities for Image Interpretation.	ICCV	1999	DBLP DOI BibTeX RDF
16	Torben Æ. Mogensen	Linear Time Self-Interpretation of the Pure Lambda Calculus.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
16	Raymond J. Mooney	Learning for Semantic Interpretation: Scaling Up without Dumbing Down.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
16	Martin Elsman	Static Interpretation of Modules.	ICFP	1999	DBLP DOI BibTeX RDF
16	Endre Katona, György Hudra	An Interpretation System for Cadastral Maps.	ICIAP	1999	DBLP DOI BibTeX RDF
16	Christopher Landauer, Kirstie L. Bellman	Problem Posing Interpretation of Programming Languages.	HICSS	1999	DBLP DOI BibTeX RDF
16	Hans Grabowski, Chenguang Liu, Arno Michelis	Stepwise Segmentation and Interpretation of Section Representations in Vectorized Drawings.	ICDAR	1999	DBLP DOI BibTeX RDF
16	Martijn R. Nuijt, Emile van Gerwen	A Probabilistic Model for Postcode Recognition: A First Step towards Probabilistic Address Interpretation.	ICDAR	1999	DBLP DOI BibTeX RDF
16	Ingo Dahn	Interpretation of a Mizar-Like Logic in First-Order Logic.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
16	Yoshiyuki Yamashita	Qualitative interpretation of process trends by using neural networks.	KES (3)	1998	DBLP DOI BibTeX RDF
16	Petra Perner	Different Learning Strategies in a Case-Based Reasoning System for Image Interpretation.	EWCBR	1998	DBLP DOI BibTeX RDF
16	Adrian R. Pearce, Terry M. Caelli	Schematic interpretation and the CLARET consolidated learning algorithm.	KES (1)	1997	DBLP DOI BibTeX RDF