Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	James Bailey 0001, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard	Abstract Interpretation of Active Rules and its Use in Termination Analysis.	ICDT	1997	DBLP DOI BibTeX RDF
16	Jean-Marc Ogier, Rémy Mullot, Jacques Labiche, Yves Lecourtier	An Image Interpretation Device cannot be Reliable without any Semantic Coherency Analysis of the Interpretated Objects - Application to French Cadastral Maps.	ICDAR	1997	DBLP DOI BibTeX RDF
16	Fosca Giannotti, Diego Latella	Gate Splitting in LOTOS Specifications Using Abstract Interpretation.	TAPSOFT	1993	DBLP DOI BibTeX RDF
16	Patrick Cousot, Radhia Cousot	Inductive Definitions, Semantics and Abstract Interpretation.	POPL	1992	DBLP DOI BibTeX RDF
16	Robert Muller, Yuli Zhou	Abstract Interpretation in Weak Powerdomains.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
16	Chris Hankin, Sebastian Hunt	Approximate Fixed Points in Abstract Interpretation.	ESOP	1992	DBLP DOI BibTeX RDF
16	Franco Barbanera, Stefano Berardi	A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction.	CAAP	1992	DBLP DOI BibTeX RDF
16	Baudouin Le Charlier, Pascal Van Hentenryck	Experimental evaluation of a generic abstract interpretation algorithm for Prolog.	ICCL	1992	DBLP DOI BibTeX RDF
16	Uday S. Reddy, Samuel N. Kamin	On the power of abstract interpretation.	ICCL	1992	DBLP DOI BibTeX RDF
16	Véronique Clément, Gérard Giraudon, Stéphane Houzelle	Interpretation of Remotely Sensed Images in a Context of Multisensor Fusion.	ECCV	1992	DBLP DOI BibTeX RDF
16	Dmitri Yu. Boulanger	Deep Logic Program Transformation Using Abstract Interpretation.	RCLP	1991	DBLP DOI BibTeX RDF
16	Gilberto Filé, P. Sottero	Abstract Interpretation for Type Checking.	PLILP	1991	DBLP DOI BibTeX RDF
16	Steve J. Cosby, Ray Thomas	IRS: A Hierarchical Knowledge Based System for Aerial Image Interpretation.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
16	Ferroudj Cherief	An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
16	Jae-Hoon Kim 0003, Kyunghyu Lee, Hwanseung Yong, Youngwan Lim, Chuhwan Yim	A Knowledge Based Message Interpretation for the Maintenance of an Electronic Switching System.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
16	Flemming Nielson	Strictness Analysis and Denotational Abstract Interpretation.	POPL	1987	DBLP DOI BibTeX RDF
16	Alessandro D'Atri, Paolino Di Felice, Marina Moscarini	Dynamic Query Interpretation in Relational Databases.	PODS	1987	DBLP DOI BibTeX RDF
16	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
16	Jos de Bruijn, Stijn Heymans	Complexity of the Stable Model Semantics for Queries on Incomplete Databases.	LPNMR	2009	DBLP DOI BibTeX RDF
16	K. Selçuk Candan, Huiping Cao, Yan Qi 0002, Maria Luisa Sapino	System support for exploration and expert feedback in resolving conflicts during integration of metadata.	VLDB J.	2008	DBLP DOI BibTeX RDF	Feedback-based conflict-resolution, System feedback, Exploration of alternatives, Taxonomy, User feedback, Metadata integration
16	Jirí Mockor	Characteristic Morphisms and Models of Fuzzy Logic in a Category of Sets with Similarities.	IFSA (2)	2007	DBLP DOI BibTeX RDF
16	Fernando Ferri, Patrizia Grifoni, Maurizio Rafanelli	Querying by Sketch Geographical Databases and Ambiguities.	DEXA	2005	DBLP DOI BibTeX RDF
16	Joseph Weizenbaum	Information in the information society.	ITiCSE	2005	DBLP DOI BibTeX RDF
16	Miguel-Ángel Sicilia, Elena García-Barriocanal	On the Use of Bipolar Scales in Preference-Based Recommender Systems.	EC-Web	2004	DBLP DOI BibTeX RDF	e–commerce recommendations, bipolar aggregation, Collaborative filtering
16	J. A. Parker, H. D. Royal, R. F. Uren, Dov Front, J. G. Bliss, M. Rabussi, D. Jansons, G. M. Kolodny	An All-digital Nuclear Medicine Department.	J. Digit. Imaging	2003	DBLP DOI BibTeX RDF	Radiology and radiologists, departmental management, Radiology and radiologists, design of radiological facilities, Radiology reporting systems, Radionuclide imaging, instrumentation
16	Bernd Neumann, Thomas Weiss	Navigating through Logic-Based Scene Models for High-Level Scene Interpretations.	ICVS	2003	DBLP DOI BibTeX RDF
16	Tim French 0002	Quantified Propositional Temporal Logic with Repeating States.	TIME	2003	DBLP DOI BibTeX RDF
16	Patrick H. Madden	Reporting of standard cell placement results.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
16	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Programs with Implicit Implications.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics
16	Kyung-Soon Lee, Do-Wan Kim, Kyo Kageura, Key-Sun Choi	A Workbench for Acquiring Semantic Information and Constructing Dictionary for Compound Noun Analysis.	ICADL	2002	DBLP DOI BibTeX RDF
16	Jürgen Bückner, Martin Pahl, O. Stahlhut, Claus-E. Liedtke	A Knowledge-Based System for Context Dependent Evaluation of Remote Sensing Data.	DAGM-Symposium	2002	DBLP DOI BibTeX RDF
16	Paolo Remagnino, Graeme A. Jones, Ndedi D. Monekosso	Reasoning about Dynamic Scenes Using Autonomous Agents.	AI*IA	2001	DBLP DOI BibTeX RDF
16	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
16	Christo Panchev, Stefan Wermter	Complex Preferences for the Integration of Neural Codes.	IJCNN (2)	2000	DBLP DOI BibTeX RDF
16	Chris Hankin, Hanne Riis Nielson, Jens Palsberg	Position Statements on Strategic Directions for Research on Programming Languages.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
16	Zahir Tari, John Stokes, Stefano Spaccapietra	Object Normal Forms and Dependency Constraints for Object-Oriented Schemata.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	functional and multivalued dependencies, data model, normal forms, object-oriented paradigm
16	Roberto Giacobazzi	"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.	STACS	1996	DBLP DOI BibTeX RDF
16	Agostino Cortesi, Gilberto Filé, William H. Winsborough	Comparison of Abstract Interpretations.	ICALP	1992	DBLP DOI BibTeX RDF
16	Paul Hudak, Jonathan Young	Collecting Interpretations of Expressions.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
16	Gary J. Nutt	A simulation system architecture for graph models.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF
15	Martin T. Vechev, Eran Yahav, Greta Yorsh	Abstraction-guided synthesis of synchronization.	POPL	2010	DBLP DOI BibTeX RDF	concurrency, synthesis, abstract interpretation
15	William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
15	Juan Alberto Rivera-Bautista, Ana Cristina Ramirez-Hernandez, Virginia A. Garcia-Vega, Antonio Marín-Hernández	Modular control for human motion analysis and classification in human-robot interaction.	HRI	2010	DBLP DOI BibTeX RDF	attitude interpretation, human walking gestures, human-robot interaction, sensor fusion
15	Matthieu Martel	Program transformation for numerical precision.	PEPM	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
15	Robert J. Simmons, Frank Pfenning	Linear logical approximations.	PEPM	2009	DBLP DOI BibTeX RDF	bottom-up linear logic programming, abstract interpretation, operational semantics
15	Daniel Glez-Peña, Rubén Domínguez, Gonzalo Gómez-López, David G. Pisano, Florentino Fdez-Riverola	Current Efforts to Integrate Biological Pathway Information.	IWANN (2)	2009	DBLP DOI BibTeX RDF	pathway integration, web-server application, biological interpretation, statistical analysis
15	Yan Chen 0012, Alastair G. Gale, Hazel J. Scott, Andrew Evans, Jonathan James	Computer-Based Learning to Improve Breast Cancer Detection Skills.	HCI (4)	2009	DBLP DOI BibTeX RDF	mammogram interpretation, visualization, Human-Computer Interaction (HCI), training, eye movement
15	Rui Abreu 0001, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund	Refining spectrum-based fault localization rankings.	SAC	2009	DBLP DOI BibTeX RDF	abstract interpretation, fault localization, program spectra
15	David Monniaux	Automatic modular abstractions for linear constraints.	POPL	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, quantifier elimination, linear inequalities
15	Sukriti Bhattacharya, Agostino Cortesi	A Generic Distortion Free Watermarking Technique for Relational Databases.	ICISS	2009	DBLP DOI BibTeX RDF	Database Watermarking, Abstract Interpretation, Galois Connection, HMAC
15	William W. Gaver, John Bowers 0001, Tobie Kerridge, Andy Boucher 0002, Nadine Jarvis	Anatomy of a failure: how we knew when our design went wrong, and what we learned from it.	CHI	2009	DBLP DOI BibTeX RDF	ubiquitous computing, interpretation, failure, home
15	Susanne Becker, Norbert Haala	Quality Dependent Reconstruction of Building Façades.	QuaCon	2009	DBLP DOI BibTeX RDF	3D point clouds, Modelling, Architecture, Segmentation, Interpretation, Building, laser scanning
15	Samir Genaim, Andy King	Inferring non-suspension conditions for logic programs with dynamic scheduling.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	concurrency, logic programming, debugging, Abstract interpretation
15	Kyoung Ho Lee, Helen Hong, Seokyung Hahn, Bo Hyoung Kim, Kil Joong Kim, Young Hoon Kim	Summation or Axial Slab Average Intensity Projection of Abdominal Thin-section CT Datasets: Can They Substitute for the Primary Reconstruction from Raw Projection Data?	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	spiral computed-image processing, computer-assisted-imaging, three-dimensional-image interpretation, computer-assisted-information storage and retrieval, Tomography
15	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, Malware detection, trace semantics
15	Pietro Ferrara 0001, Francesco Logozzo, Manuel Fähndrich	Safer unsafe code for .NET.	OOPSLA	2008	DBLP DOI BibTeX RDF	bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
15	Yolanda Gil, Varun Ratnakar	Towards intelligent assistance for to-do lists.	IUI	2008	DBLP DOI BibTeX RDF	knowledge collection from web volunteers, natural language interpretation, office assistants, user interfaces, knowledge acquisition, automated assistance, to-do lists
15	Yungbum Jung, Kwangkeun Yi	Practical memory leak detector based on parameterized procedural summaries.	ISMM	2008	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, memory management, error detection, shape analysis, memory leaks
15	Pierre Hallot, Roland Billen	Life and Motion Configurations: A Basis for Spatio-temporal Generalized Reasoning Model.	ER Workshops	2008	DBLP DOI BibTeX RDF	spatio-temporal states, life and motion configuration, primitive space, spatio-temporal generalization, natural language interpretation, Spatio-temporal reasoning
15	Nicolas Halbwachs, Mathias Péron	Discovering properties about arrays in simple programs.	PLDI	2008	DBLP DOI BibTeX RDF	sentinel, invariant synthesis, abstract interpretation, program verification, arrays, sorting algorithms
15	Lucian Leahu, Steve Schwenk, Phoebe Sengers	Subjective objectivity: negotiating emotional meaning.	Conference on Designing Interactive Systems	2008	DBLP DOI BibTeX RDF	reflective analysis, speculative design, subjective experience, subjective knowledge, architecture, mapping, interpretation, art
15	Alexey Loginov, Eran Yahav, Satish Chandra 0001, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda	Verifying dereference safety via expanding-scope analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, specification inference
15	Jianwei Dong, Shi Zhang, Xiaonan Jia	A Portable Intelligent ECG Monitor Based on Wireless Internet and Embedded System Technology.	BMEI (2)	2008	DBLP DOI BibTeX RDF	ECG interpretation, ASIC, RTOS, ECG monitor
15	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
15	Wojciech A. Lorkiewicz, Radoslaw P. Katarzyniak	Recalling the Embodied Meaning of Modal Conjunctions in Artificial Cognitive Agents.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	symbol interpretation, agent, Symbol grounding
15	Anne Preller	Toward discourse representation via pregroup grammars.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Discourse representation, Semantic interpretation, Categorial grammars, Pregroup grammars
15	Susan M. Dray, David A. Siegel	Dealing with the Challenges of Interpreting International User Research.	HCI (5)	2007	DBLP DOI BibTeX RDF	International User Research, User-Centered Design (UCD), User Experience, Ethnography, Interpretation
15	Hatem Hamza, Yolande Belaïd, Abdel Belaïd	Case-Based Reasoning for Invoice Analysis and Recognition.	ICCBR	2007	DBLP DOI BibTeX RDF	document case, structure case, invoice analysis, invoice interpretation, structure extraction, Case-based reasoning
15	Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray	A semantics-based approach to malware detection.	POPL	2007	DBLP DOI BibTeX RDF	abstract interpretation, obfuscation, malware detection, trace semantics
15	Barak A. Pearlmutter, Jeffrey Mark Siskind	Lazy multivariate higher-order forward-mode AD.	POPL	2007	DBLP DOI BibTeX RDF	nonstandard interpretation, power series
15	Roderic A. Girle	The Neighbourhood of S0.9 and S1.	TABLEAUX	2007	DBLP DOI BibTeX RDF	S0.9, S1, model-set semantics, interpretation, tableaux
15	David Delmas, Jean Souyris	Astrée: From Research to Industry.	SAS	2007	DBLP DOI BibTeX RDF	avionics software, run-time errors, Astrée, verification, static analysis, abstract interpretation
15	Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner	Code Analysis for Temporal Predictability.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	abstract interpretation, compiler optimizations, graph transformation, worst-case execution time analysis, code transformation, real-time languages
15	Katherine P. Andriole, Richard L. Morin	Transforming Medical Imaging: The First SCAR TRIPTM Conference.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	radiological image interpretation paradigm, medical imaging informatics, Large data sets
15	Charles E. Kahn, David S. Channin, Daniel L. Rubin	An Ontology for PACS Integration.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	knowledge sharing and reuse, Protégé, Transforming the Radiologic Interpretation Process (TRIP), Ontologies, workflow, knowledge representation, Web Ontology Language (OWL), PACS, systems integration, semantic models
15	Rita Noumeir	Benefits of the DICOM Structured Report.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	Radiology Information System (RIS), Integrating the Healthcare Enterprise (IHE), interpretation, Picture Archiving and Communication System (PACS), Digital Imaging and Communications in Medicine (DICOM), structured report
15	Liana Bozga, Yassine Lakhnech, Michaël Périn	Pattern-based abstraction for verifying secrecy in protocols.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Widening, Security, Verification, Abstract interpretation, Cryptographic protocols
15	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
15	Antoine Miné	The octagon abstract domain.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
15	Leo Freitas, Jim Woodcock 0001, Ana Cavalcanti 0001	State-rich model checking.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Formal method tools, Model checking, Theorem proving, Abstract interpretation
15	Ruth Owen, Dimitrios Buhalis, Daniel Pletinckx	Visitors' Evaluations of Technology Used at Cultural Heritage Sites.	ENTER	2006	DBLP DOI BibTeX RDF	interactivity, interpretation, technology, Cultural heritage, tourism
15	Guillaume Capron	Static analysis of time bounded reactive properties of Boolean symbols.	SAC	2006	DBLP DOI BibTeX RDF	static analysis, abstract interpretation
15	Pete G. Thomas, Kevin G. Waugh, Neil Smith	Using patterns in the automatic marking of ER-diagrams.	ITiCSE	2006	DBLP DOI BibTeX RDF	automatic grading, diagram interpretation, patterns, entity-relationship diagrams, teaching tool
15	Kyle D. Ross	Towards an automatic complexity analysis for generic programs.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	cost-bound functions, library-oriented software, performance concepts, abstract interpretation, generic programming, complexity analysis
15	Steffen Lohmann, J. Wolfgang Kaltz, Jürgen Ziegler 0001	Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Context-aware Web User Interfaces, Web Service Integration, Ontology-based Modeling, Model Interpretation, Model-Driven User Interface Generation, Semantically Enriched SOA, Parameterization
15	Kazunari Morimoto, Takao Kurokawa, Syouhei Kawamura	Improvements and Evaluations in Sign Animation Used as Instructions for Stomach X-Ray Examination.	ICCHP	2006	DBLP DOI BibTeX RDF	sign language animation, sign language interpretation, hearing impaired patient
15	B. H. Shekar, D. S. Guru, P. Nagabhushan	Object Recognition Through the Principal Component Analysis of Spatial Relationship Amongst Lines.	ACCV (1)	2006	DBLP DOI BibTeX RDF	Principal component analysis, Object recognition, Spatial relationship, Line drawing interpretation
15	Giangiacomo Gerla	Fuzzy Logic Programming and Fuzzy Control.	Stud Logica	2005	DBLP DOI BibTeX RDF	Herbrand interpretation, Fuzzy control, fuzzy logic programming
15	Ivan Laptev	On Space-Time Interest Points.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	video interpretation, matching, scale-space, interest points, scale selection
15	Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	A semantics for procedure local heaps and its abstractions.	POPL	2005	DBLP DOI BibTeX RDF	3-valued logic, static analysis, abstract interpretation, shape analysis
15	Bart Jacobs 0001, Wolter Pieters, Martijn Warnier	Statically checking confidentiality via dynamic labels.	WITS	2005	DBLP DOI BibTeX RDF	(Higher Order) theorem proving, formal verification, static analysis, abstract interpretation, confidentiality
15	Hanghang Tong, Jingrui He, Mingjing Li, Changshui Zhang, Wei-Ying Ma	Graph based multi-modality learning.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	Bayesian interpretation, multi-modality analysis, regularized optimization, graph model, similarity propagation
15	Sebastian Hunt, Isabella Mastroeni	The PER Model of Abstract Non-interference.	SAS	2005	DBLP DOI BibTeX RDF	abstract interpretation, Information flow, language-based security, non-interference
15	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code
15	Liping Jing, Michael K. Ng 0001, Jun Xu, Joshua Zhexue Huang	Subspace Clustering of Text Documents with Feature Weighting K-Means Algorithm.	PAKDD	2005	DBLP DOI BibTeX RDF	Cluster Interpretation, Text Mining, High Dimensional Data, Subspace Clustering, Feature Weighting
15	Roberto Giacobazzi, Isabella Mastroeni	Timed Abstract Non-interference.	FORMATS	2005	DBLP DOI BibTeX RDF	security, Abstract interpretation, non-interference, timing channels
15	Matthieu Martel	Validation of assembler programs for DSPs: a static analyzer.	PASTE	2004	DBLP DOI BibTeX RDF	numerical accuracy, abstract interpretation, floating-point numbers
15	Roberto Barbuti, Stefano Cataudella 0001	Java bytecode verification on Java cards.	SAC	2004	DBLP DOI BibTeX RDF	abstract interpretation, Java card, Java bytecode
15	Oleg Kiselyov, Kedar N. Swadi, Walid Taha	A methodology for generating verified combinatorial circuits.	EMSOFT	2004	DBLP DOI BibTeX RDF	abstract interpretation, multi-stage programming
15	Lunjin Lu, Andy King	Backward Pair Sharing Analysis.	FLOPS	2004	DBLP DOI BibTeX RDF	Pair-Sharing, Abstract interpretation, Backward analysis