Search results for "interpretations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Manh Thang Nguyen, Danny De Schreye	Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF	polynomial interpretations, acceptability, Termination analysis
73	Roberto M. Amadio	Max-Plus Quasi-interpretations.	TLCA	2003	DBLP DOI BibTeX RDF	Functional languages and term rewriting, Function algebras and implicit computational complexity, Polynomial interpretations and max-plus algebras, Static analysis
66	Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain	Mechanically Proving Termination Using Polynomial Interpretations.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	polynomial interpretations, termination, term rewriting
66	Axel Kramer	Dynamic interpretations in translucent patches: representation-based applications.	AVI	1996	DBLP DOI BibTeX RDF	translucent patches, interaction techniques, interpretations, gestural interfaces, pen based interfaces, application design
56	David L. Cooper	Visual Representations and Interpretations of Molecular Electronic Structure: The Survival and Re-emergence of Valence Bond Theory.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
56	Irene Neilson	A Multidisciplinary Perspective on Visual Representations & Interpretations.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
50	Georg Moser, Andreas Schnabl	Proving Quadratic Derivational Complexities Using Context Dependent Interpretations.	RTA	2008	DBLP DOI BibTeX RDF
50	Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen	Quasi-interpretations and Small Space Bounds.	RTA	2005	DBLP DOI BibTeX RDF
50	Agostino Cortesi, Gilberto Filé, William H. Winsborough	Comparison of Abstract Interpretations.	ICALP	1992	DBLP DOI BibTeX RDF
49	Matthias Paulik, Alex Waibel	Extracting clues from human interpreter speech for spoken language translation.	ICASSP	2008	DBLP DOI BibTeX RDF
49	Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp	Search Techniques for Rational Polynomial Orders.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	Topics computer algebra systems and automated theorem provers, implementation and performance issues
45	Mircea-Dan Hernest, Paulo Oliva	Hybrid Functional Interpretations.	CiE	2008	DBLP DOI BibTeX RDF	Functional interpretations, modified realizability, Dialectica interpretation, program extraction from proofs, uniform quantifiers, linear logic
45	Helmut Thiele	On the Uniqueness of Interpretations for Fuzzy IF-THEN Rule Bases.	Fuzzy Days	2001	DBLP DOI BibTeX RDF	IF-THEN rule bases, uniqueness of interpretations, versions of compactness
43	Gilda Ferreira, Paulo Oliva	Functional Interpretations of Intuitionistic Linear Logic.	CSL	2009	DBLP DOI BibTeX RDF
43	Somayajulu Sripada, Feng Gao	Linguistic Interpretations of Scuba Dive Computer Data.	IV	2007	DBLP DOI BibTeX RDF
43	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
43	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Making abstract interpretations complete.	J. ACM	2000	DBLP DOI BibTeX RDF
43	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Complete Abstract Interpretations Made Constructive.	MFCS	1998	DBLP DOI BibTeX RDF
42	Richard Zanibbi, Dorothea Blostein, James R. Cordy	Recognition Tasks Are Imitation Games.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
42	Yves Moinard	General Preferential Entailments as Circumscriptions.	ECSQARU	2001	DBLP DOI BibTeX RDF
41	Chris F. Earl	The Boundaries of a Shape and the Shape of Boundaries.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Grant Malcolm, Joseph A. Goguen	Signs and Representations: Semiotics for User Interface Design.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Rita Kovordányi	Mental Image Reinterpretation in the Intersection of Conceptual and Visual Constraints.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	David Reid, Chris J. Gittings	Visualising Dynamic Browsing Patterns via Navigation Agents.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	David S. Goodsell	Atomistic vs. Continuous Representations in Molecular Biology.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Vassili N. Serov, Olga V. Kirillova, Maria Samsonova	NetWork: a Tool for Visualization of Genetic Network Structure and Dynamics.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Barbara C. Buckley, Carolyn J. Boulter	Analysis of Representations in Model-Based Teaching and Learning in Science.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Terrence Fernando, Prasad Wimalaratne, Kevin Tan	Virtual World Representation Issues for Supporting Assembly and Maintainability Assessment Tasks.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Andrew E. Welchman, Julie M. Harris	Studying 'Holes' to Understand Visual Representation.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	C. A. Lund, Ray C. Paton	A Visual Metaphor for Psychoanalytic Training and Supervision.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Thomas Schubert 0001, Frank Friedmann, Holger Regenbrecht	Embodied Presence in Virtual Environments.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Pieter Jan Stappers, James M. Hennessey	Toward Electronic Napkins and Beermats: Computer Support for Visual Ideation Skills.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Jeanette Mcfadzean	Computational Support for Conceptual Sketching.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Christopher Tweed	Learning to See Architecturally.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	John R. Lee	Words and Pictures - Goodman Revisited.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Claire Dormann	A taxonomy of visual metaphors.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	S. R. Edwards	From Gutenberg to Gates.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Tim Marsh, Peter C. Wright	Articulation of Spatial Information: 3D Shapes.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	David England	Visualisation of Data Landscapes for Collaborative Virtual Environments.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Andrew Harrison	Realism and Representation: Pictures, Models and Theories.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Phillip Kent	A Visual, Computational Object Language for Mathematics.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Apostolos Antonacopoulos, F. Delporte	Automated Interpretation of Visual Representations: Extracting Textual Information from WWW Images.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Robin Findlay Hendry	Theories and Models: the Interactive View.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	A. G. P. Brown, F. P. Coenen, M. W. Knight	Visualisation of an AI Solution.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	John Howard Parish	The Language of Proteins.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Ronald Brown	Mathematics and Knots.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	S. J. Sloane	Interpreting Computer-Based Fictional Characters, a Reader's Manifesto: Or, Remarks in Favour of the Accommodating Text.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Peter Young 0003, Malcolm Munro	3D Software Visualisation.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Mark A. Beaumont, David Jackson, Michelle M. Usher	Visualising Complex Sequential and Parallel Programs.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Hugh Clapin	Visual Representation and Taxonomy.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Michael A. R. Biggs	Interpreting Wittgenstein's Graphics.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Duncan S. Neary, Martin R. Woodward	Visualisation of the OBJ Term Re-writing Process.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Hilary Carlisle, Peter Phillips, Gillian Bunce	Breaking the Monotony: Using Randomisation Techniques in Computer-Aided Textile Design.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	David K. Manley	Theatricality and Levels of Believability in Graphical Virtual Environments.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Julia C. Hill, Peter C. Wright	Graphically Representing Causal Sequences in Accident Scenarios: Just Some of the Issues.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Nancy de Freitas	Geomentality: Reframing the Landscape.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Mark Treglown	Is the Trashcan Being Ironic? Analysing Direct Manipulation User Interfaces Using a Contemporary Theory of Metaphor.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Bernhard E. Bürdek, Maximilian Eibl, Jürgen Krause 0001	Visualisation in Document Retrieval: An Example of the Integration of Software Ergonomics and an Aesthetic Quality in Design.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Rom Harré	Models and Type-hierarchies: Cognitive Foundations of Iconic Thinking.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Luis Alberto Pineda, Gabriela Garza	A Model for Multimodal Representation and Inference.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Nam Yap, Mike Holcombe	A Visual Representation of Mathematical Expressions.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
41	Amy Ione	Defining Visual Representation as a Creative and Interactive Modality.	Visual Representations and Interpretations	1999	DBLP DOI BibTeX RDF
38	Jörg Endrullis, Johannes Waldmann, Hans Zantema	Matrix Interpretations for Proving Termination of Term Rewriting.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Matrix interpretations, Satisfiability, Termination, Term rewriting
37	Thomas Roelleke, Jun Wang 0032	TF-IDF uncovered: a study of theories and probabilities.	SIGIR	2008	DBLP DOI BibTeX RDF	TF-IDF interpretations, derivative of logarithm, document-query-independence, integral, probability theory
36	Joseph N. Gitlin, Anand K. Narayan, Chad A. Mitchell, Ali M. Akmal, David J. Eisner, Lindsy M. Peterson, Daisy Nie, Tyler R. McClintock	A Comparative Study of Conventional Mammography Film Interpretations with Soft Copy Readings of the Same Examinations.	J. Digit. Imaging	2007	DBLP DOI BibTeX RDF	interpreting digitized mammography images, transition to digital imaging, ROC-based analysis, Digitized mammography
36	Paulo Oliva	Computational Interpretations of Classical Linear Logic.	WoLLIC	2007	DBLP DOI BibTeX RDF
36	Paul Égré	The Knower Paradox in the Light of Provability Interpretations of Modal Logic.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	Believer Paradox, hierarchy solutions to the semantic paradoxes, Knower Paradox, provability logic, syntactical treatments of modalities, epistemic logic, self-reference
36	Rob J. van Glabbeek	The Individual and Collective Token Interpretations of Petri Nets.	CONCUR	2005	DBLP DOI BibTeX RDF
36	Paul Hudak, Jonathan Young	Collecting Interpretations of Expressions.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
35	Heeryon Cho, Toru Ishida 0001, Toshiyuki Takasaki, Satoshi Oyama	Assisting Pictogram Selection with Semantic Interpretation.	ESWC	2008	DBLP DOI BibTeX RDF
35	Gérard Berry, Jean-Jacques Lévy	Minimal and Optimal Computations of Recursive Programs.	POPL	1977	DBLP DOI BibTeX RDF
30	Bertrand Sereno, Simon Buckingham Shum, Enrico Motta	Semi-automatic annotation of contested knowledge on the world wide web.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	contesting interpretations, interface, annotation, sense-making
30	John Power, Edmund Robinson	Logical Relations and Data Abstraction.	CSL	2000	DBLP DOI BibTeX RDF	cartesian closed fibrations, interpretations, lambda calculus, logical relations
30	Eric Saund, Thomas P. Moran	Perceptual Organization in an Interactive Sketch Editing Application.	ICCV	1995	DBLP DOI BibTeX RDF	interactive sketch editing application, interactive sketch editing, computer supported drawing tools, human user, complex groupings, image elements, perceptually supported sketch editors, computer vision algorithms, emergent visual objects, flexible image interpretation architecture, token grouping, multiscale blackboard data structure, multiple perceptual interpretations, line drawing data, domain specific knowledge bases, visual structure interpretation, natural gesture based selection, computer vision, computational vision, data structures, computer graphics, knowledge based systems, interactive systems, visual system, perceptual organization, blackboard architecture
30	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
30	T. H. Merrett, Normand Laliberte	Including Scalars in a Programming Language Based on the Relational Algebra.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	relational programming system, relix, QT-selectors, l-expressions, systematic interpretations, array access, tuned access method, Z-order, data structures, relational databases, programming language, projections, database theory, relational algebra, relations, high level languages, syntax, B-trees, data types, records, scalars
29	Pierre-Antoine Champin	Empowering Ambivalence - Supporting multiple interpretations in knowledge-based systems. (De l'ambivalence : supporter les interprétations multiples dans les systèmes à base de connaissances).		2017	RDF
29	Salvador Lucas	From matrix interpretations over the rationals to matrix interpretations over the naturals	CoRR	2010	DBLP BibTeX RDF
29	Friedrich Neurauter, Aart Middeldorp	Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers.	RTA	2010	DBLP DOI BibTeX RDF
29	Salvador Lucas	From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals.	AISC/MKM/Calculemus	2010	DBLP DOI BibTeX RDF
29	Werner Ainhirn	Marvellous Interpretations Differ Little but Decisively from Ordinary Interpretations of EOL Forms.	Theor. Comput. Sci.	1982	DBLP DOI BibTeX RDF
29	Jean-Yves Marion, Romain Péchoux	Sup-interpretations, a semantic method for static analysis of program resources.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	static analysis of first-order languages, Resources control
29	Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani	Automatically Refining Abstract Interpretations.	TACAS	2008	DBLP DOI BibTeX RDF
29	Harald Zankl, Aart Middeldorp	Increasing Interpretations.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	Related Topics implementations of symbolic computation systems, logic and symbolic computing
29	Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl	SAT Solving for Termination Analysis with Polynomial Interpretations.	SAT	2007	DBLP DOI BibTeX RDF
29	Xianghua Ying, Hongbin Zha	Geometric Interpretations of the Relation between the Image of the Absolute Conic and Sphere Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	sphere image, image of the absolute conic, double-contact theorem, Camera calibration, geometric interpretation
29	John P. Gallagher, Kim S. Henriksen, Gourinath Banda	Techniques for Scaling Up Analyses Based on Pre-interpretations.	ICLP	2005	DBLP DOI BibTeX RDF
29	Torsten Rohlfing, Adolf Pfefferbaum, Edith V. Sullivan, Calvin R. Maurer Jr.	Information Fusion in Biomedical Image Analysis: Combination of Data vs. Combination of Interpretations.	IPMI	2005	DBLP DOI BibTeX RDF
29	Nao Hirokawa, Aart Middeldorp	Polynomial Interpretations with Negative Coefficients.	AISC	2004	DBLP DOI BibTeX RDF
29	Márcio Mourão, Pedro Madeira, Nuno J. Mamede	Interpretations and Discourse Obligations in a Dialog System.	PROPOR	2003	DBLP DOI BibTeX RDF
29	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Building Complete Abstract Interpretations in a Linear Logic-based Setting.	SAS	1998	DBLP DOI BibTeX RDF
29	T. S. E. Maibaum	Conservative Extensions, Interpretations Between Theories and All That!	TAPSOFT	1997	DBLP DOI BibTeX RDF
29	Tatsuya Nomura	A proposal of interpretations on numerical degrees of confidence for fuzzy If-Then rules and a mathematical verification of properties under various reasoning methods.	KES (2)	1997	DBLP DOI BibTeX RDF
29	Pierre Lescanne	Termination of Rewrite Systems by Elementary Interpretations.	ALP	1992	DBLP DOI BibTeX RDF
29	Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa	Non-standard Interpretations of LOTOS Specifications.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
29	Carl A. Gunter	Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs.	POPL	1990	DBLP DOI BibTeX RDF
29	Manfred Broy, Martin Wirsing	Generalized Heterogeneous Algebras and Partial Interpretations.	CAAP	1983	DBLP DOI BibTeX RDF
29	Bruno Courcelle	On the Definition of Classes of Interpretations.	ICALP	1977	DBLP DOI BibTeX RDF
29	Werner Dilger, Peter Raulefs	Monadic Program Schemes Under Restricted Classes of Free Interpretations.	ICALP	1974	DBLP DOI BibTeX RDF
28	Florian Wagner 0006, Joachim Bohl, Georg Frey	An IEC 61499 interpretation and implementation focused on usability.	ETFA	2008	DBLP DOI BibTeX RDF