Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Yiyu Yao	Three-Way Decision: An Interpretation of Rules in Rough Set Theory.	RSKT	2009	DBLP DOI BibTeX RDF
12	Hai Vu, Tomio Echigo, Ryusuke Sagawa, Keiko Yagi, Masatsugu Shiba, Kazuhide Higuchi, Tetsuo Arakawa, Yasushi Yagi	Towards an Interpretation of Intestinal Motility Using Capsule Endoscopy Image Sequences.	PSIVT	2009	DBLP DOI BibTeX RDF
12	Matthew Might, Panagiotis Manolios	A PosterioriSoundness for Non-deterministic Abstract Interpretations.	VMCAI	2009	DBLP DOI BibTeX RDF
12	Hasan Amjad, Richard Bornat	Towards Automatic Stability Analysis for Rely-Guarantee Proofs.	VMCAI	2009	DBLP DOI BibTeX RDF
12	Jenni Radun, Tuomas Leisti, Jukka Häkkinen, Harri Ojanen, Jean-Luc Olives, Tero Vuori, Göte Nyman	Content and quality: Interpretation-based estimation of image quality.	ACM Trans. Appl. Percept.	2008	DBLP DOI BibTeX RDF	qualitative methodology, Image quality, image contents, subjective measurement
12	Xavier Allamigeon, Charles Hymans	Static analysis by abstract interpretation: application to the detection of heap overflows.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
12	Piotr Augustyniak	Diagnostic Quality-Derived Patient-Oriented Optimization of ECG Interpretation.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
12	Richard Cocci, Thanh T. L. Tran, Yanlei Diao, Prashant J. Shenoy	Efficient Data Interpretation and Compression over RFID Streams.	ICDE	2008	DBLP DOI BibTeX RDF
12	Jan Peleska 0001	A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.	ICTAC	2008	DBLP DOI BibTeX RDF
12	Tobias Gedell, Daniel Hedin	Abstract Interpretation Plugins for Type Systems.	AMAST	2008	DBLP DOI BibTeX RDF
12	Shinji Watanabe 0001, Atsushi Nakamura	A unified interpretation of adaptation approaches based on a macroscopic time evolution system and indirect/direct adaptation approaches.	ICASSP	2008	DBLP DOI BibTeX RDF
12	Gilles Barthe, César Kunz	Certificate Translation in Abstract Interpretation.	ESOP	2008	DBLP DOI BibTeX RDF
12	Anthony Ventresque, Sylvie Cazalens, Philippe Lamarre, Patrick Valduriez	Improving Interoperability Using Query Interpretation in Semantic Vector Spaces.	ESWC	2008	DBLP DOI BibTeX RDF
12	Tomoichi Takahashi	Analysis Methods of Agent Behavior and Its Interpretation in a Case of Rescue Simulations.	RoboCup	2008	DBLP DOI BibTeX RDF
12	Takanori Komatsu, Seiji Yamada	Effect of agent appearance on people's interpretation of agent's attitude.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	agent appearance, agent attitude, human-agent interaction
12	Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat	Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.	RTCSA	2008	DBLP DOI BibTeX RDF
12	Simon Perdrix	Quantum Entanglement Analysis Based on Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
12	Jan Midtgaard, Thomas P. Jensen	A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
12	Marco Comini, Ferruccio Damiani, Samuel Vrech	On Polymorphic Recursion, Type Systems, and Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF	Type Inference Algorithm, Principal Typing
12	Richard Bubel, Reiner Hähnle, Benjamin Weiß 0001	Abstract Interpretation of Symbolic Execution with Explicit State Updates.	FMCO	2008	DBLP DOI BibTeX RDF
12	Luísa Coheur, Ana Cristina Mendes, João Guimarães, Nuno J. Mamede, Ricardo Ribeiro 0001	Question Interpretation in QA@L2F.	CLEF	2008	DBLP DOI BibTeX RDF
12	Andrea Corradini 0002	Tailoring the Interpretation of Spatial Utterances for Playing a Board Game.	AIMSA	2008	DBLP DOI BibTeX RDF
12	Lin Han, Xuegong Liu, Yanning Zhang	Interpretation of river main-flow from remote sensing images: Studying on dynamic transmission cross-correlation method.	IJCNN	2008	DBLP DOI BibTeX RDF
12	Arturas Mazeika, Michael H. Böhlen, Daniel Trivellato	Analysis and Interpretation of Visual Hierarchical Heavy Hitters of Binary Relations.	ADBIS	2008	DBLP DOI BibTeX RDF
12	Cataldo Basile, Alberto Cappadonia, Antonio Lioy	Geometric Interpretation of Policy Specification.	POLICY	2008	DBLP DOI BibTeX RDF	policy resolution, policy specification, policy conflict
12	Yang Zhao, John Boyland	A Fundamental Permission Interpretation for Ownership Types.	TASE	2008	DBLP DOI BibTeX RDF	Ownership, Permission
12	Anthony Ventresque, Sylvie Cazalens, Philippe Lamarre, Patrick Valduriez	Dealing with P2P semantic heterogeneity through query expansion and interpretation.	DaMaP	2008	DBLP DOI BibTeX RDF
12	Isabella Mastroeni	Deriving Bisimulations by Simplifying Partitions.	VMCAI	2008	DBLP DOI BibTeX RDF
12	Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo	A Forward-Backward Abstraction Refinement Algorithm.	VMCAI	2008	DBLP DOI BibTeX RDF
12	Mario Méndez-Lojo, Manuel V. Hermenegildo	Precise Set Sharing Analysis for Java-Style Programs.	VMCAI	2008	DBLP DOI BibTeX RDF
12	Yannick Moy	Sufficient Preconditions for Modular Assertion Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
12	Kjell Johan Sæbø	Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Theticity, Alternative Semantics, Optimality theoretic pragmatics, Informational integration, Focus
12	Dongxi Liu, Zhenjiang Hu, Masato Takeichi	Bidirectional interpretation of XQuery.	PEPM	2007	DBLP DOI BibTeX RDF	bidirectional programming, XML, transformations, XQuery, view update problem
12	Thanh Tran 0001, Philipp Cimiano, Sebastian Rudolph, Rudi Studer	Ontology-Based Interpretation of Keywords for Semantic Search.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
12	Michael Brenner 0001	Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots.	RO-MAN	2007	DBLP DOI BibTeX RDF
12	Eni Mustafaraj, Martin Hoof, Bernd Freisleben	Knowledge Extraction and Summarization for an Application of Textual Case-Based Interpretation.	ICCBR	2007	DBLP DOI BibTeX RDF
12	Chandrajit L. Bajaj	Automatic Structure Interpretation of Single Particle Cryo-electron Microscopy: From Images to Psuedo-atomic Models.	ISBI	2007	DBLP DOI BibTeX RDF
12	Ulrich Bodenhofer, Martina Danková, Martin Stepnicka, Vilém Novák	A Plea for the Usefulness of the Deductive Interpretation of Fuzzy Rules in Engineering Applications.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Xiaohui Tao, Yuefeng Li, Richi Nayak	Ontology Mining for Semantic Interpretation of Information Needs.	KSEM	2007	DBLP DOI BibTeX RDF
12	Cui Tao, David W. Embley	Automatic Hidden-Web Table Interpretation by Sibling Page Comparison.	ER	2007	DBLP DOI BibTeX RDF
12	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Small Witnesses for Abstract Interpretation-Based Proofs.	ESOP	2007	DBLP DOI BibTeX RDF
12	Anthony Ventresque, Sylvie Cazalens, Philippe Lamarre, Patrick Valduriez	Query Expansion and Interpretation to Go Beyond Semantic P2P Interoperability.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
12	Shun Jiang, Chunhua Tian, Feng Li, Hao Zhang 0096, Wei Ding 0002	A Dynamic Concept Interpretation Approach for OWL Extension.	ICWS	2007	DBLP DOI BibTeX RDF
12	Mamadou Ndiaye, Abel Kinie, Jean-Jacques Montois	Co-operative Agents in Analysis and Interpretation of Intracerebral EEG Activity: Application to Epilepsy.	AIME	2007	DBLP DOI BibTeX RDF	agents and cooperative systems, signal processing, Epilepsy
12	Luis Zarza, Josep Pegueroles, Miguel Soriano	Interpretation of Binary Strings as Security Protocols for their Evolution by means of Genetic Algorithms.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
12	Shude Zhou, Zengqi Sun	Matrix interpretation of generalized embedded landscape.	GECCO	2007	DBLP DOI BibTeX RDF	embedded landscape, epistisis, Fourier coefficients
12	Wei-Gang Che, Chung-Lin Huang, Wen-Liang Hwang	An Automatic Eye Wink Interpretation System for the Disable.	ICME	2007	DBLP DOI BibTeX RDF
12	Agnieszka Makarec	Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic.	CISIM	2007	DBLP DOI BibTeX RDF
12	Thomas Brox, Daniel Cremers	On the Statistical Interpretation of the Piecewise Smooth Mumford-Shah Functional.	SSVM	2007	DBLP DOI BibTeX RDF
12	Khalid Latif 0001, Edgar R. Weippl, A Min Tjoa	Question Driven Semantics Interpretation for Collaborative Knowledge Engineering and Ontology Reuse.	IRI	2007	DBLP DOI BibTeX RDF
12	Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé	An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.	CP	2007	DBLP DOI BibTeX RDF
12	Peter Z. Yeh, Shaw Yi Chaw, James Fan, Dan Tecuci	Capturing a taxonomy of failures during automatic interpretation of questions posed in natural language.	K-CAP	2007	DBLP DOI BibTeX RDF	ontology, NLP, knowledge based systems, question answering, controlled languages
12	Irma Sofía Espinosa Peraldí, Atila Kaya, Sylvia Melzer, Ralf Möller 0001, Michael Wessel	Towards a Media Interpretation Framework for the Semantic Web.	Web Intelligence	2007	DBLP DOI BibTeX RDF
12	Leonardo Lesmo, Livio Robaldo	Use of Ontologies in Practical NL Query Interpretation.	AI*IA	2007	DBLP DOI BibTeX RDF	Ontologies, Semantics, NLP
12	Patrick Cousot	The Rôle of Abstract Interpretation in Formal Methods.	SEFM	2007	DBLP DOI BibTeX RDF
12	Sébastien Macé	Context-Driven Constraint Multiset Grammars with Incremental Parsing for On-line Structured Document Interpretation.	ICDAR	2007	DBLP DOI BibTeX RDF
12	Peter Z. Revesz	The Constraint Database Approach to Software Verification.	VMCAI	2007	DBLP DOI BibTeX RDF
12	Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps	Constructing Specialized Shape Analyses for Uniform Change.	VMCAI	2007	DBLP DOI BibTeX RDF
12	Mathias Péron, Nicolas Halbwachs	An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.	VMCAI	2007	DBLP DOI BibTeX RDF	difference-bound matrices, disequalities, static analysis, alias analysis, abstract domains
12	Alan Scheller-Wolf, Rein Vesilo	Structural interpretation and derivation of necessary and sufficient conditions for delay moments in FIFO multiserver queues.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	Finite moment conditions, Necessary and sufficient conditions, Multiserver queues
12	Masood Mehmood Khan, Michael Ingleby, Robert D. Ward	Automated Facial Expression Classification and affect interpretation using infrared measurement of facial skin temperature variations.	ACM Trans. Auton. Adapt. Syst.	2006	DBLP DOI BibTeX RDF	Automated affect recognition, infrared thermal imaging, socially intelligent machines, facial expression classification
12	Ricardo J. G. B. Campello, Wagner Caradori do Amaral	Hierarchical fuzzy relational models: linguistic interpretation and universal approximation.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
12	Daniele Posenato, Francesca Lanata, Daniele Inaudi, Ian F. C. Smith	Model Free Interpretation of Monitoring Data.	EG-ICE	2006	DBLP DOI BibTeX RDF
12	Hakan Erdogmus	Measurement and Interpretation of Productivity and Functional Correctness.	Empirical Software Engineering Issues	2006	DBLP DOI BibTeX RDF
12	Alexander Malkis, Andreas Podelski, Andrey Rybalchenko	Thread-Modular Verification Is Cartesian Abstract Interpretation.	ICTAC	2006	DBLP DOI BibTeX RDF
12	Susanta Nanda, Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh	BIRD: Binary Interpretation using Runtime Disassembly.	CGO	2006	DBLP DOI BibTeX RDF
12	Tristan Le Gall, Bertrand Jeannet, Thierry Jéron	Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.	AMAST	2006	DBLP DOI BibTeX RDF
12	Sungho Kim, In-So Kweon	Multi-modal Sequential Monte Carlo for On-Line Hierarchical Graph Structure Estimation in Model-based Scene Interpretation.	ICPR (2)	2006	DBLP DOI BibTeX RDF
12	Maarten H. van Emden	Compositional Semantics for the Procedural Interpretation of Logic.	ICLP	2006	DBLP DOI BibTeX RDF
12	Gregor Stiglic, Matej Mertik, Vili Podgorelec, Peter Kokol	Using Visual Interpretation of Small Ensembles in Microarray Analysis.	CBMS	2006	DBLP DOI BibTeX RDF
12	Åsa Wallers, Jens Edlund, Gabriel Skantze	The Effect of Prosodic Features on the Interpretation of Synthesised Backchannels.	PIT	2006	DBLP DOI BibTeX RDF
12	Elisabetta Bevacqua, Amaryllis Raouzaiou, Christopher E. Peters, George Caridakis, Kostas Karpouzis, Catherine Pelachaud, Maurizio Mancini	Multimodal Sensing, Interpretation and Copying of Movements by a Virtual Agent.	PIT	2006	DBLP DOI BibTeX RDF
12	Edson C. Kitani, Carlos E. Thomaz, Duncan Fyfe Gillies	A Statistical Discriminant Model for Face Interpretation and Reconstruction.	SIBGRAPI	2006	DBLP DOI BibTeX RDF
12	Jean-Yves Marion, Romain Péchoux	Resource Analysis by Sup-interpretation.	FLOPS	2006	DBLP DOI BibTeX RDF
12	Shigeki Kozakura, Hisashi Ogawa, Hirokazu Miura, Noriyuki Matsuda, Hirokazu Taki, Satoshi Hori, Norihiro Abe	An Interpretation Method for Classification Trees in Bio-data Mining.	KES (2)	2006	DBLP DOI BibTeX RDF	mining corresponding to noise, continuous value mining, data mining, decision tree
12	Laurent Mazuel, Nicolas Sabouret	Generic Natural Language Command Interpretation in Ontology-Based Dialogue Systems.	IAT Workshops	2006	DBLP DOI BibTeX RDF
12	Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi 0001	Algorithm-level interpretation of fast adder structures in binary and multiple-valued logic.	ISMVL	2006	DBLP DOI BibTeX RDF
12	Stefania Bandini, Sara Manzoni, Stefano Redaelli, Leonardo Vanneschi	Emergent Spatial Patterns in Vegetable Population Dynamics: Towards Pattern Detection and Interpretation.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
12	Lidia Ogiela, Ryszard Tadeusiewicz, Marek R. Ogiela	Cognitive Approach to Visual Data Interpretation in Medical Information and Recognition Systems.	IWICPAS	2006	DBLP DOI BibTeX RDF
12	Bhargav S. Gulavani, Sriram K. Rajamani	Counterexample Driven Refinement for Abstract Interpretation.	TACAS	2006	DBLP DOI BibTeX RDF
12	Jonathan Dupont, François Deschênes	Toward a Realistic Interpretation of Blue-spill for Blue-screen Matting.	CRV	2006	DBLP DOI BibTeX RDF
12	Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux	Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.	FMOODS	2006	DBLP DOI BibTeX RDF
12	Michinori Nakata, Hiroshi Sakai	Applying Rough Sets to Data Tables Containing Imprecise Information Under Probabilistic Interpretation.	RSCTC	2006	DBLP DOI BibTeX RDF	Rough sets, Lower and upper approximations, Imprecise information
12	Jigui Sun, Huawen Liu, Changsong Qi, Huijie Zhang	An Interpretation of Flow Graphs by Granular Computing.	RSCTC	2006	DBLP DOI BibTeX RDF	data mining, granular computing, Flow graph
12	Hong Jun Song, Kirsty A. Beilharz	Sonification guidelines facilitating an intuitive and rapid understanding/interpretation.	MMM	2006	DBLP DOI BibTeX RDF
12	Kim S. Henriksen, John P. Gallagher	Abstract Interpretation of PIC Programs through Logic Programming.	SCAM	2006	DBLP DOI BibTeX RDF
12	Henning Redestig, Florian Sohler, Ralf Zimmer, Joachim Selbig	Unsupervised Decision Trees Structured by Gene Ontology (GO-UDTs) for the Interpretation of Microarray Data.	GfKl	2006	DBLP DOI BibTeX RDF
12	Chiara Del Frate, Alexia Bestagno, Viviana Londero, Raffaella Pozzi Mucelli, Valerio Salomoni, Massimo Bazzocchi	Comparison Between CRT and LCD Displays for Full-Field-Digital-Mammography (FFDM) Interpretation.	Digital Mammography / IWDM	2006	DBLP DOI BibTeX RDF
12	Arie Gurfinkel, Ou Wei, Marsha Chechik	Systematic Construction of Abstractions for Model-Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
12	Antoine Miné	Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.	VMCAI	2006	DBLP DOI BibTeX RDF
12	Peter Schachte, Harald Søndergaard	Closure Operators for ROBDDs.	VMCAI	2006	DBLP DOI BibTeX RDF
12	Stefano Rossignoli, Fausto Spoto	Detecting Non-cyclicity by Abstract Compilation into Boolean Functions.	VMCAI	2006	DBLP DOI BibTeX RDF
12	Fernando Ferri, Maurizio Rafanelli	GeoPQL: A Geographical Pictorial Query Language That Resolves Ambiguities in Query Interpretation.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
12	Frédéric Champagnat, Guy Le Besnerais	A Fourier interpretation of super-resolution techniques.	ICIP (1)	2005	DBLP DOI BibTeX RDF
12	Reinhold Heckmann, Christian Ferdinand	Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation.	DATE	2005	DBLP DOI BibTeX RDF
12	Andrew Trotman, Mounia Lalmas	The Interpretation of CAS.	INEX	2005	DBLP DOI BibTeX RDF
12	Yi Pan 0001	Protein Structure Prediction and Interpretation with Support Vector Machines and Decision Trees.	CIT	2005	DBLP DOI BibTeX RDF
12	Jacques Carette, Pulak Kumar Chowdhury	Symbolic Interpretation of Legacy Assembly Language.	WCRE	2005	DBLP DOI BibTeX RDF
12	Geert Poels, Frederik Gailly, Ann Maes, Roland Paemeleire	Object Class or Association Class? Testing the User Effect on Cardinality Interpretation.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
12	Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso	Interpretation of UML Sequence Diagrams as Causality Flows.	ISSADS	2005	DBLP DOI BibTeX RDF