Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Yasutake Takahashi, Tomoki Nishi, Minoru Asada	Self Task Decomposition for Modular Learning System Through Interpretation of Instruction by Coach.	RoboCup	2005	DBLP DOI BibTeX RDF
12	Dung N. Lam, K. Suzanne Barber	Automated Interpretation of Agent Behaviour.	AOIS	2005	DBLP DOI BibTeX RDF
12	Charles Dierbach	Application of the Abstractional Concept Mapping Theory for the Interpretation of Novel Metaphor.	SNPD	2005	DBLP DOI BibTeX RDF
12	Donna K. Byron, Thomas Mampilly, Vinay Sharma, Tianfang Xu	Utilizing Visual Attention for Cross-Modal Coreference Interpretation.	CONTEXT	2005	DBLP DOI BibTeX RDF
12	Daniel O. Kutz, Javed Mostafa, Monique Girard, David Stark	SGER: computer-assisted interpretation of citizen input in rebuilding lower Manhattan.	DG.O	2005	DBLP BibTeX RDF	information-retrieval, information visualization, digital libraries
12	Agostino Cortesi, Francesco Logozzo	Abstract Interpretation-Based Verification of Non-functional Requirements.	COORDINATION	2005	DBLP DOI BibTeX RDF
12	Ewa Straszecka, Joanna Straszecka	Interpretation of Medical Symptoms Using Fuzzy Focal Elements.	CORES	2005	DBLP DOI BibTeX RDF
12	Cyntrica Eaton, Catherine Plaisant, Terence Drizd	Visualizing Missing Data: Graph Interpretation User Study.	INTERACT	2005	DBLP DOI BibTeX RDF
12	Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikolay Zemtsov	Extensible Canonical Process Model Synthesis Applying Formal Interpretation.	ADBIS	2005	DBLP DOI BibTeX RDF
12	Mikio Amano, Daisuke Hironaka, Seio Oda, Genci Capi, Masao Yokota	Linguistic Interpretation of Human Motion Based on Mental Image Directed Semantic Theory.	AINA	2005	DBLP DOI BibTeX RDF
12	Francesco Agostaro, Agnese Augello, Giovanni Pilato, Giorgio Vassallo, Salvatore Gaglio	A Conversational Agent Based on a Conceptual Interpretation of a Data Driven Semantic Space.	AI*IA	2005	DBLP DOI BibTeX RDF
12	Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat	Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.	FSTTCS	2005	DBLP DOI BibTeX RDF
12	Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky	Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.	SCAM	2005	DBLP DOI BibTeX RDF
12	Babak Majidi, Alireza Bab-Hadiashar	Real Time Aerial Natural Image Interpretation for Autonomous Ranger Drone Navigation.	DICTA	2005	DBLP DOI BibTeX RDF
12	Nicoletta De Francesco, Luca Martini	Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
12	Markus Müller-Olm, Oliver Rüthing, Helmut Seidl	Checking Herbrand Equalities and Beyond.	VMCAI	2005	DBLP DOI BibTeX RDF
12	Oliver Lemon, Alexander Gruenstein	multithreaded context for robust conversational interfaces: Context-sensitive speech recognition and interpretation of corrective fragments.	ACM Trans. Comput. Hum. Interact.	2004	DBLP DOI BibTeX RDF	Context, multithreading, recognition, corrections, dialogue
12	Hak-Keung Lam, Frank H. F. Leung	Digit and command interpretation for electronic book using neural network and genetic algorithm.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
12	Henry Towsner	A realizability interpretation for classical analysis.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
12	Hicham Sekkati, Amar Mitiche	Joint dense 3D interpretation and multiple motion segmentation of temporal image sequences: a variational framework with active curve evolution and level sets.	ICIP	2004	DBLP DOI BibTeX RDF
12	Monique Lamers, Helen de Hoop	Animacy Information in Human Sentence Processing: An Incremental Optimization of Interpretation Approach.	CSLP	2004	DBLP DOI BibTeX RDF
12	Ebi Jose, Martin David Adams	Millimetre Wave RADAR Spectra Simulation and Interpretation for Outdoor SLAM.	ICRA	2004	DBLP DOI BibTeX RDF
12	Nicolas Vandapel, Omead Amidi, J. Rayan Miller	Toward Laser Pulse Waveform Analysis for Scene Interpretation.	ICRA	2004	DBLP DOI BibTeX RDF
12	Ulrich Berger 0001	A Computational Interpretation of Open Induction.	LICS	2004	DBLP DOI BibTeX RDF
12	Vicenç Torra, Yasuo Narukawa	On the Interpretation of Some Fuzzy Integrals.	MDAI	2004	DBLP DOI BibTeX RDF	Twofold integral, Fuzzy inference system, Fuzzy integrals, Sugeno integral
12	Gaurav Harit, Santanu Chaudhury	Video Shot Interpretation using Principles of Perceptual Prominence and Perceptual Grouping in Spatio-Temporal Domain.	ICPR (4)	2004	DBLP DOI BibTeX RDF
12	Michael Streit, Anton Batliner, Thomas Portele	Cognitive-Model-Based Interpretation of Emotions in a Multi-modal Dialog System.	ADS	2004	DBLP DOI BibTeX RDF
12	Alberto Moraglio, Riccardo Poli	Topological Interpretation of Crossover.	GECCO (1)	2004	DBLP DOI BibTeX RDF
12	Weimin Feng, Gaurav Tuteja, May D. Wang	EGOMinor: A Genomics and Proteomics Data Computation and Interpretation System for Biomedical Applications.	CSB	2004	DBLP DOI BibTeX RDF
12	Enric Rodríguez-Carbonell, Deepak Kapur	An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.	SAS	2004	DBLP DOI BibTeX RDF
12	Sarah Thompson, Alan Mycroft	Abstract Interpretation of Combinational Asynchronous Circuits.	SAS	2004	DBLP DOI BibTeX RDF
12	Günter Neumann, Bogdan Sacaleanu	Experiments on Robust NL Question Interpretation and Multi-layered Document Annotation for a Cross-Language Question/Answering System.	CLEF	2004	DBLP DOI BibTeX RDF
12	Fengxian Fan, Edoardo S. Biagioni	An Approach to Data Visualization and Interpretation for Sensor Networks.	HICSS	2004	DBLP DOI BibTeX RDF
12	John R. James, Frank Mabry	Building Trustworthy Systems: Guided State Estimation as a Feasible Approach for Interpretation, Decision and Action Based on Sensor Data .	HICSS	2004	DBLP DOI BibTeX RDF	trustworthy systems, data mining, decision support, sensor fusion
12	Shuliang Wang, Hanning Yuan, Guoqing Chen, Deren Li, Wenzhong Shi	Rough Spatial Interpretation.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
12	Toshinori Takai	A Verification Technique Using Term Rewriting Systems and Abstract Interpretation.	RTA	2004	DBLP DOI BibTeX RDF
12	Mircea Nicolescu, Changki Min, Gérard G. Medioni	Analysis and Interpretation of Multiple Motions Through Surface Saliency.	SCVMA	2004	DBLP DOI BibTeX RDF
12	Hui-Yu Huang, Yung-Sheng Chen, Wen-Hsing Hsu	Integrating Color, Texture, and Spatial Features for Image Interpretation.	PCM (1)	2004	DBLP DOI BibTeX RDF
12	Thomas W. Reps, Shmuel Sagiv, Greta Yorsh	Symbolic Implementation of the Best Transformer.	VMCAI	2004	DBLP DOI BibTeX RDF
12	Songtao Xia, James Hook	Certifying Temporal Properties for Compiled C Programs.	VMCAI	2004	DBLP DOI BibTeX RDF
12	Daniel Neagu, Vasile Palade	A neuro-fuzzy approach for functional genomics data interpretation and analysis.	Neural Comput. Appl.	2003	DBLP DOI BibTeX RDF	Neuro-fuzzy, Modular neural networks, Gene expression data analysis
12	Christophe De Vleeschouwer, Jean-François Delaigle, Benoît Macq	Circular interpretation of bijective transformations in lossless watermarking for media asset management.	IEEE Trans. Multim.	2003	DBLP DOI BibTeX RDF
12	Félix Díaz-Hermida, Alberto Bugarín, Purificación Cariñena, Manuel Mucientes, David E. Losada, Senén Barro	Modelling Fuzzy Quantified Statements under a Voting Model Interpretation of Fuzzy Sets.	IFSA	2003	DBLP DOI BibTeX RDF
12	Bernd-Michael Straub, Markus Gerke, Martin Pahl	Automatic Mapping of Settlement Areas Using a Knowledge-Based Image Interpretation System.	ICVS	2003	DBLP DOI BibTeX RDF
12	Christopher Town 0001, David Sinclair	A Self-Referential Perceptual Inference Framework for Video Interpretation.	ICVS	2003	DBLP DOI BibTeX RDF
12	Raimund Kirner, Peter P. Puschner	Transformation of Meta-Information by Abstract Co-interpretation.	SCOPES	2003	DBLP DOI BibTeX RDF
12	Manoli Albert, Vicente Pelechano, Joan Fons, Marta Ruiz, Oscar Pastor 0001	Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework.	CAiSE	2003	DBLP DOI BibTeX RDF
12	Xiaoran Mo, Roland Wilson	A Multiscale Decomposition Approach to Gel Image Interpretation.	SCIA	2003	DBLP DOI BibTeX RDF
12	Anurag Gupta	A reference model for multimodal input interpretation.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	multimodality, reference model
12	Liliana Ironi, Stefania Tentoni	Towards Automated Electrocardiac Map Interpretation: An Intelligent Contouring Tool Based on Spatial Aggregation.	IDA	2003	DBLP DOI BibTeX RDF
12	Peeter Laud, Ricardo Corin	Sound Computational Interpretation of Formal Encryption with Composed Keys.	ICISC	2003	DBLP DOI BibTeX RDF
12	Eric Clavier, Gérald Masini, Mathieu Delalandre, Maurizio Rigamonti, Karl Tombre, Joël Gardes	DocMining: A Cooperative Platform for Heterogeneous Document Interpretation According to User-Defined Scenarios.	GREC	2003	DBLP DOI BibTeX RDF
12	Pedro Pablo Alarcón, Juan Garbajosa, Agustín Yagüe, Alexei Lisounkin, Gerhard Schreck, Jose L. Esteban	Modeling Language Interpretation for Validation.	STEP	2003	DBLP DOI BibTeX RDF
12	Dennis Dams, Kedar S. Namjoshi	Shape Analysis through Predicate Abstraction and Model Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
12	David Monniaux	Abstraction of Expectation Functions Using Gaussian Distributions.	VMCAI	2003	DBLP DOI BibTeX RDF
12	Patrick Cousot, Radhia Cousot	Systematic design of program transformation frameworks by abstract interpretation.	POPL	2002	DBLP DOI BibTeX RDF
12	Nadia Bianchi-Berthouze, Tomofumi Hayashi	Subjective Interpretation of Complex Data: Requirements for Supporting Kansei Mining Process.	Revised Papers from MDM/KDD and PAKDD/KDMCD	2002	DBLP DOI BibTeX RDF
12	Laura Ricci	Automatic Loop Parallelization: An Abstract Interpretation Approach.	PARELEC	2002	DBLP DOI BibTeX RDF
12	Roberto Giacobazzi, Francesco Ranzato	States vs. Traces in Model Checking by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
12	Damien Massé	Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties.	SAS	2002	DBLP DOI BibTeX RDF
12	Charles Hymans	Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
12	Bertrand Jeannet	Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.	SAS	2002	DBLP DOI BibTeX RDF
12	Yu. I. Nechaev, Alexander B. Degtyarev, Alexander Boukhanovsky	Cognitive Computer Graphics for Information Interpretation in Real Time Intelligence Systems.	International Conference on Computational Science (1)	2002	DBLP DOI BibTeX RDF
12	Stevan A. Vlaovic, Edward S. Davidson	TAXI: Trace Analysis for X86 Interpretation.	ICCD	2002	DBLP DOI BibTeX RDF
12	Hiroki Minagawa, Ichiro Naito, Nobuko Kato, Hiroshi Murakami, Yasushi Ishihara	The User Interface Design for the Sign Language Translator in a Remote Sign Language Interpretation System.	ICCHP	2002	DBLP DOI BibTeX RDF
12	Haydemar Núñez, Cecilio Angulo, Andreu Català	Support Vector Machines with Symbolic Interpretation.	SBRN	2002	DBLP DOI BibTeX RDF
12	Enrique Corona, Sunanda Mitra, Mark P. Wilson	A Fast Algorithm for Registration of Individual Frames and Information Recovery in Fluorescein Angiography Video Image Analysis.	SSIAI	2002	DBLP DOI BibTeX RDF	Power Cepstrum, Fluorescein Angiography, Similarity Measures, Registration
12	Peter C. Tay, Joseph P. Havlicek, Victor E. DeBrunner	A Wavelet Filter Bank Which Minimizes a Novel Translation Invariant Discrete Uncertainty Measure.	SSIAI	2002	DBLP DOI BibTeX RDF	2D wavelet transform, uncertainty measure
12	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa	A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.	VMCAI	2002	DBLP DOI BibTeX RDF
12	Stavros A. Karkanis, George D. Magoulas, Dimitrios K. Iakovidis, Dimitrios E. Maroulis, Dimitris A. Karras	Evaluation of textural feature extraction schemes for neural network-based interpretation of regions in medical images.	ICIP (1)	2001	DBLP DOI BibTeX RDF
12	Yasuhiko Minamide	Runtime Behavior of Conversion Interpretation of Subtyping.	IFL	2001	DBLP DOI BibTeX RDF
12	David Monniaux	Backwards Abstract Interpretation of Probabilistic Programs.	ESOP	2001	DBLP DOI BibTeX RDF
12	Raquel Kolitski Stasiu, Jaime de Britto, João da Silva Dias, Edson Emílio Scalabrin	Teaching of Electrocardiogram Interpretation Guided by a Tutorial Expert.	CBMS	2001	DBLP DOI BibTeX RDF	Expert Systems, Object Oriented Modelling, Learning Systems, Tutor, Cardiology
12	Jérôme Feret	Abstract Interpretation-Based Static Analysis of Mobile Ambients.	SAS	2001	DBLP DOI BibTeX RDF
12	Francesca Levi, Sergio Maffeis	An Abstract Interpretation Framework for Analysing Mobile Ambients.	SAS	2001	DBLP DOI BibTeX RDF
12	Kenji Shoji, Kazunori Kato, Fubito Toyama	3-D Interpretation of Single Line Drawings Based on Entropy Minimization Principle.	CVPR (2)	2001	DBLP DOI BibTeX RDF
12	James Bailey 0001, Alexandra Poulovassilis, Simon Courtenage	Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation.	DBPL	2001	DBLP DOI BibTeX RDF
12	Manuel Weindorf	Structure Based Interpretation of Unstructured Vector Maps.	GREC	2001	DBLP DOI BibTeX RDF
12	Sébastien Adam, Jean-Marc Ogier, Claude Cariou, Joël Gardes	A Scale and Rotation Parameters Estimator Application to Technical Document Interpretation.	GREC	2001	DBLP DOI BibTeX RDF
12	David J. Lieberman, Jan P. Allebach	A dual interpretation for direct binary search and its implications for tone reproduction and texture quality.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
12	Jacques van Helden, David R. Gilbert, Lorenz Wernisch, Michael Schroeder 0001, Shoshana J. Wodak	Application of Regulatory Sequence Analysis and Metabolic Network Analysis to the Interpretation of Gene Expression Data.	JOBIM	2000	DBLP DOI BibTeX RDF
12	Stefan Rahmann	Polarization Images: A Geometric Interpretation for Shape Analysis.	ICPR	2000	DBLP DOI BibTeX RDF
12	Chung-Lin Huang, Shih-Hung Hsu	Road Sign Interpretation Using Matching Pursuit Method.	ICPR	2000	DBLP DOI BibTeX RDF	Matching pursuit filters, Template matching
12	I. L. Dijkstra, N. Smits	IRIS - An Image Recognition and Interpretation System for the Dutch Postbank.	ICPR	2000	DBLP DOI BibTeX RDF
12	Jamie Sherrah, Shaogang Gong, A. Jonathan Howell, Hilary Buxton	Interpretation of Group Behavior in Visually Mediated Interaction.	ICPR	2000	DBLP DOI BibTeX RDF
12	Dominique Béréziat, Isabelle Herlin, Laurent Younes	A Generalized Optical Flow Constraint and its Physical Interpretation.	CVPR	2000	DBLP DOI BibTeX RDF
12	Wm. Benjamin Martz Jr., Morgan M. Shepherd	The Non-Consensus Process Loss: An Alternative Interpretation.	HICSS	2000	DBLP DOI BibTeX RDF
12	Michael Lindenbaum, Alexander Berengolts	A Probabilistic Interpretation of the Saliency Network.	ECCV (2)	2000	DBLP DOI BibTeX RDF
12	Michel Desvignes, Barbara Romaniuk, R. Demoment, Marinette Revenu, Marie-Josèphe Deshayes	Computer Assisted Landmarking of Cephalometric Radiographs.	SSIAI	2000	DBLP DOI BibTeX RDF
12	Nikitas M. Sgouros, Stavros Sotirchos	Determining the Visual Interpretation of Actions in Multimedia Presentations of Interactive Stories.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	interactive entertainment systems, computer games, multimedia systems
12	Mieczyslaw A. Klopotek, Slawomir T. Wierzchon	An Interpretation for the Conditional Belief Function in the Theory of Evidence.	ISMIS	1999	DBLP DOI BibTeX RDF	graphoidal structures, conditional belief functions, well-formedness, Soft Computing, evidence theory, Knowledge Representation and Integration
12	John F. Roddick, Mukesh K. Mohania, Sanjay Kumar Madria	Methods and Interpretation of Database Summarisation.	DEXA	1999	DBLP DOI BibTeX RDF	Information Capacity, Existential Domain Values, Relation Decomposition, Inference, Data Summarisation
12	Jörg Köller, Markus Mohnen	A New Class of Functions for Abstract Interpretation.	SAS	1999	DBLP DOI BibTeX RDF
12	René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson	Abstract Interpretation of Mobile Ambients.	SAS	1999	DBLP DOI BibTeX RDF
12	David J. Crisp, Robert E. Bogner	An application of support vector machines to an image interpretation problem.	KES	1999	DBLP DOI BibTeX RDF
12	Gaofeng Qian	An Engine for Cursive Handwriting Interpretation.	ICTAI	1999	DBLP DOI BibTeX RDF	segmentation, Handwriting recognition, user-adaptive, cursive script recognition
12	Wilfred C. Jamison, Doug Lea	TRUCE: Agent Coordination Through Concurrent Interpretation of Role-Based Protocols.	COORDINATION	1999	DBLP DOI BibTeX RDF
12	James Bailey 0001, Alexandra Poulovassilis	An Abstract Interpretation Framework for Termination Analysis of Active Rules.	DBPL	1999	DBLP DOI BibTeX RDF
12	Jurgen den Hartog, Bernardus T. Holtrop, Marlies E. de Gunst, Ernst-Peter Oosterbroek	Interpretation of Geographic Vector-Data in Practice.	GREC	1999	DBLP DOI BibTeX RDF
12	Werner Kuhn	An Algebraic Interpretation of Semantic Networks.	COSIT	1999	DBLP DOI BibTeX RDF	Semantics of spatial information, interoperability, visual languages, semantic networks, functional languages, algebraic modeling