Search results for "interpretation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Roberto Giacobazzi, Francesca Scozzari	A Logical Model for Relational Abstract Domains.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	Heyting completion, condensing analysis, directional types, reduced cardinal power, static analysis, abstract interpretation, constraint logic programming, domains, closure operators, intuitionistic logic
23	Sergey Ablameyko 0001, Vladimir Bereishik, Oleg Frantskevich, Maria Homenko, Nadeshda Paramonova	Algorithms for Recognition of the Main Engineering Drawing Entities.	ICDAR	1997	DBLP DOI BibTeX RDF	graphic primitives, vectorization, image interpretation, Engineering drawing
23	Gareth J. Edwards, Andreas Lanitis, Christopher J. Taylor 0001, Timothy F. Cootes	Modelling the variability in face images.	FG	1996	DBLP DOI BibTeX RDF	face image variability modelling, face image recognition, face shape, grey-level appearance, nonlinear shape variation, tracking tasks, person, face recognition, image coding, statistical models, expression, lighting, image interpretation, model based approaches, pose
23	Peter Whaite, Frank P. Ferrie	From Uncertainty to Visual Exploration.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	superellipsoid models parameter space, visual interpretation, parametrized volumetric models, misfit error surface, pattern recognition, picture processing, uncertainty, ambiguity, visual exploration, scene geometry
23	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
23	Ahmed M. Darwish 0001, Anil K. Jain 0002	A Rule Based Approach for Visual Pattern Inspection.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	morphological techniques, PCB defect detection, visual pattern inspection, bilevel image segmentation, shape inspection, scene-specific knowledge, rule verification, computer vision, computer vision, feature extraction, computerised picture processing, computerised pattern recognition, knowledge engineering, inspection, image interpretation, printed circuit boards, rule based approach, region labelling
21	Lina Eriksson, Alan Hájek	What Are Degrees of Belief?	Stud Logica	2007	DBLP DOI BibTeX RDF	probabilism, betting interpretation, Dutch book argument, radical interpretation, primitivism, rationality, representation theorem, degrees of belief
21	Johannes Kinder, Florian Zuleger, Helmut Veith	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.	VMCAI	2009	DBLP DOI BibTeX RDF
21	Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine	Abstract Interpretation of Cellular Signalling Networks.	VMCAI	2008	DBLP DOI BibTeX RDF
21	Francesco Logozzo	Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.	VMCAI	2007	DBLP DOI BibTeX RDF
21	Luiz Antônio Pereira Neves, João Marques de Carvalho, Jacques Facon, Flávio Bortolozzi	A new table interpretation methodology with little knowledge base: table interpretation methodology.	SAC	2006	DBLP DOI BibTeX RDF	handwritten data, table-form extraction, table-form recognition, document segmentation
21	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.	VMCAI	2006	DBLP DOI BibTeX RDF
21	Charles Hymans	Verification of an Error Correcting Code by Abstract Interpretation.	VMCAI	2005	DBLP DOI BibTeX RDF
21	Bor-Yuh Evan Chang, K. Rustan M. Leino	Abstract Interpretation with Alien Expressions and Heap Structures.	VMCAI	2005	DBLP DOI BibTeX RDF
21	Julien Bertrane	Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
21	Damien Massé	Property Checking Driven Abstract Interpretation-Based Static Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
21	Patrick Cousot	Automatic Verification by Abstract Interpretation.	VMCAI	2003	DBLP DOI BibTeX RDF
21	Cinzia Bernardeschi, Nicoletta De Francesco	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.	VMCAI	2002	DBLP DOI BibTeX RDF
21	Chung-Lin Huang, Shih-Hung Hsu	Road Sign Interpretation Using Matching Pursuit Method.	SSIAI	2000	DBLP DOI BibTeX RDF
20	Miquel Prats, Steve Garner, Iestyn Jowers, Alison McKay, Nieves Pedreira	Interpretation of geometric shapes: an eye movement study.	ETRA	2010	DBLP DOI BibTeX RDF	design, eye tracking, shape perception
20	Xiaoguang Jia, Zhengwei Lin, Ning Huang	An Improved Storage and Inference Method for Ontology Based Remote Sensing Interpretation System.	WISM	2009	DBLP DOI BibTeX RDF
20	Trifon Trifonov	Dialectica Interpretation with Fine Computational Control.	CiE	2009	DBLP DOI BibTeX RDF
20	Alex Wang, Vikram Krishnamurthy	Signal Interpretation of Multifunction Radars: Modeling and Statistical Signal Processing With Stochastic Context Free Grammar.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
20	Marco Anisetti, Valerio Bellandi, Ernesto Damiani, Gabriele Gianini	Assessing Separation of Duty Policies through the Interpretation of Sampled Video Sequences: A Pair Programming Case Study.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF
20	Reinhard Wilhelm, Björn Wachter	Abstract Interpretation with Applications to Timing Validation.	CAV	2008	DBLP DOI BibTeX RDF
20	Kah Seng Tay, Kimberle Koile	Improving digital ink interpretation through expected type prediction and dynamic dispatch.	ICPR	2008	DBLP DOI BibTeX RDF
20	Florian Wagner 0006, Joachim Bohl, Georg Frey	An IEC 61499 interpretation and implementation focused on usability.	ETFA	2008	DBLP DOI BibTeX RDF
20	Yen-Ting Kuo, Liz Sonenberg, Andrew Lonie	Finding Explanations for Assisting Pattern Interpretation.	Web Intelligence	2008	DBLP DOI BibTeX RDF
20	Urszula Wybraniec-Skardowska	Meaning and Interpretation. I.	Stud Logica	2007	DBLP DOI BibTeX RDF	Token-type distinction, token-syntax, type-syntax, denotation, synonymy unambiguity, ambiguity, meaning, referring
20	Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux	Quasi-interpretation Synthesis by Decomposition.	ICTAC	2007	DBLP DOI BibTeX RDF
20	Gregor Stiglic, Nawaz Khan, Mateja Verlic, Peter Kokol	Gene Expression Analysis of Leukemia Samples Using Visual Interpretation of Small Ensembles: A Case Study.	PRIB	2007	DBLP DOI BibTeX RDF	machine learning, decision trees, gene expression analysis
20	Florian Pilz, Yan Shi, Daniel Grest, Nicolas Pugeault, Sinan Kalkan, Norbert Krüger	Utilizing Semantic Interpretation of Junctions for 3D-2D Pose Estimation.	ISVC (1)	2007	DBLP DOI BibTeX RDF
20	Thomas Guyet, Catherine Garbay, Michel Dojat	A Human-Machine Cooperative Approach for Time Series Data Interpretation.	AIME	2007	DBLP DOI BibTeX RDF
20	James P. Delgrande	On a rule-based interpretation of default conditionals.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T30
20	Phil Maguire, Arthur W. S. Cater, Rebecca Maguire	The role of experience in the interpretation of noun-noun combinations.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Conceptual combination, Noun-noun compounds, CARIN theory, Relation frequency
20	Rani Nelken, Chung-chieh Shan	A Modal Interpretation of the Logic of Interrogation.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	modal logic, quantification, questions, natural language semantics
20	Hicham Sekkati, Amar Mitiche	Concurrent 3-D motion segmentation and 3-D interpretation of temporal sequences of monocular images.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
20	Luiz Antônio Pereira Neves, João Marques de Carvalho, Jacques Facon, Flávio Bortolozzi, Sérgio Aparecido Ignácio	Handwritten Artefact Identification Method for Table Interpretation with Little Use of Previous Knowledge.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
20	Roxana Girju	Out-of-context noun phrase semantic interpretation with cross-linguistic evidence.	CIKM	2006	DBLP DOI BibTeX RDF	classification, SVM, semantic relations, computational semantics
20	Bernd Neumann, Ralf Möller 0001	On Scene Interpretation with Description Logics.	Cognitive Vision Systems	2006	DBLP DOI BibTeX RDF
20	Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi	Opaque Predicates Detection by Abstract Interpretation.	AMAST	2006	DBLP DOI BibTeX RDF
20	Ingrid Zukerman, Michael Niemann, Sarah George	Probabilistic, Multi-staged Interpretation of Spoken Utterances.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
20	Juliusz L. Kulikowski	Interpretation of Medical Images Based on Ontological Models.	ICAISC	2006	DBLP DOI BibTeX RDF
20	Sean McLaughlin	An Interpretation of Isabelle/HOL in HOL Light.	IJCAR	2006	DBLP DOI BibTeX RDF
20	Paulo Oliva	Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis.	CiE	2006	DBLP DOI BibTeX RDF
20	Javed A. Aslam, Emine Yilmaz	A geometric interpretation and analysis of R-precision.	CIKM	2005	DBLP DOI BibTeX RDF	R-precision, evaluation, average precision
20	Fernando Ferri, Patrizia Grifoni, Maurizio Rafanelli	The Sketch Recognition and Query Interpretation by GSQL, aGeographical Sketch Query Language.	CIT	2005	DBLP DOI BibTeX RDF
20	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.	TACAS	2005	DBLP DOI BibTeX RDF
20	Miloslav Konopík, Roman Moucek	An Alternative Way of Semantic Interpretation.	TSD	2005	DBLP DOI BibTeX RDF
20	Glen Hughes, Bernard Hudgins, James MacDougall	Remote Sign Language Interpretation Using the Internet.	CNSR	2004	DBLP DOI BibTeX RDF
20	Akihiro Ogino, Toshikazu Kato	Software platform for information service systems suitable for individual subjective interpretation process.	SMC (1)	2004	DBLP DOI BibTeX RDF
20	Johannes Petersen	Model-based integration and interpretation of data.	SMC (1)	2004	DBLP DOI BibTeX RDF
20	Reinhard Wilhelm	Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.	VMCAI	2004	DBLP DOI BibTeX RDF
20	Ingrid Zukerman, Sarah George, Mark George	Incorporating a User Model into an Information Theoretic Framework for Argument Interpretation.	User Modeling	2003	DBLP DOI BibTeX RDF
20	Sunae Seo, Hongseok Yang, Kwangkeun Yi	Automatic Construction of Hoare Proofs from Abstract Interpretation Results.	APLAS	2003	DBLP DOI BibTeX RDF
20	Ichiro Tsuda, Hiroshi Fujii	A Complex Systems Approach to an Interpretation of Dynamic Brain Activity I: Chaotic Itinerancy Can Provide a Mathematical Basis for Information Processing in Cortical Transitory and Nonstationary Dynamics.	Summer School on Neural Networks	2003	DBLP DOI BibTeX RDF
20	Ilya Levner, Vadim Bulitko, Lihong Li 0001, Greg Lee, Russell Greiner	Towards Automated Creation of Image Interpretation Systems.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	Machine learning, Computer Vision, Reinforcement learning
20	Jianguang Lou, Qifeng Liu, Tieniu Tan, Weiming Hu	Semantic Interpretation of Object Activities in a Surveillance System.	ICPR (3)	2002	DBLP DOI BibTeX RDF
20	Sarah George, Ingrid Zukerman	Argument Interpretation Using Minimum Message Length.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
20	Petra Perner	Why Case-Based Reasoning Is Attractive for Image Interpretation.	ICCBR	2001	DBLP DOI BibTeX RDF
20	Hans Grabowski, Harald Kunze, Ralf-Stefan Lossack, Arno Michelis	Interpretation of Low-Level CAD Data for Knowledge Extraction in Early Design Stages.	GREC	2001	DBLP DOI BibTeX RDF
20	Wolfgang Burr	A Diller-Nahm-style functional interpretation of KP w\hbox{\sf KP} \omega.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
20	Kim Marriott, Bernd Meyer 0001	Non-standard Logics for Diagram Interpretation.	Diagrams	2000	DBLP DOI BibTeX RDF
20	Ilan Shimshoni, Ronen Basri, Ehud Rivlin	A Geometric Interpretation of Weak-Perspective Motion.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	structure from motion, Weak-perspective projection
20	Yang Cao, Ruoyu Yang, Jun Tan, Shijie Cai	Automatic Interpretation of Construction Structure Drawings.	GREC	1999	DBLP DOI BibTeX RDF
20	Giorgio Levi, Paolo Volpe	Derivation of Proof Methods by Abstract Interpretation.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
20	Tatsuya Shibata, Toshikazu Kato	General Model of Subjective Interpretation for Street Landscape Image.	DEXA	1998	DBLP DOI BibTeX RDF
20	Gavin M. Bierman	A Computational Interpretation of the lambda-µ-Calculus.	MFCS	1998	DBLP DOI BibTeX RDF
20	Roberto Giacobazzi	A Tutorial on Domain Theory in Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF
20	Hermann Ney	On the Probabilistic Interpretation of Neural Network Classifiers and Discriminative Training Criteria.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	training criteria, neural networks, speech recognition, Statistical pattern recognition, discriminant functions
20	Ross A. Bagley, Philip A. Wilsey, Nael B. Abu-Ghazaleh	Composing Functional Unit Blocks for Efficient Interpretation of MIMD Code Sequences on SIMD Processors.	CONPAR	1994	DBLP DOI BibTeX RDF
20	Geoffrey Livingston Burn	A Relationship Between Abstract Interpretation and Projection Analysis.	POPL	1990	DBLP DOI BibTeX RDF
20	Taiichi Yuasa	Premature Return - Another Interpretation of the Future Construct.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
20	Danny De Schreye, Maurice Bruynooghe	An Application of Abstract Interpretation in Source Level Program Transformation.	PLILP	1988	DBLP DOI BibTeX RDF
20	Kenji Horiuchi, Tadashi Kanamori	Polymorphic Type Inference in Prolog by Abstract Interpretation.	LP	1987	DBLP DOI BibTeX RDF
20	Patrick Cousot, Radhia Cousot	Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.	POPL	1977	DBLP DOI BibTeX RDF
20	Dragan Milicev	On the Semantics of Associations and Association Ends in UML.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	association end, Unified Modeling Language (UML), conceptual modeling, model-driven development, Object-oriented modeling, formal semantics, association
20	Heeryon Cho, Toru Ishida 0001, Rieko Inaba, Toshiyuki Takasaki, Yumiko Mori	Pictogram Retrieval Based on Collective Semantics.	HCI (3)	2007	DBLP DOI BibTeX RDF
20	Ingrid Zukerman, Michael Niemann, Sarah George	Improving the Presentation of Argument Interpretations Based on User Trials.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
20	Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz	Towards a theory of natural language interfaces to databases.	IUI	2003	DBLP DOI BibTeX RDF	reliability, database, natural language interface
20	Kess F. M. Vermeulen	More Computation Power for a Denotational Semantics for First Order Logic.	CSL	2003	DBLP DOI BibTeX RDF
20	Geir Waagbø	Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
20	Dominique Cansell, Dominique Méry	Abstract Animator for Temporal Specifications: Application to TLA.	SAS	1999	DBLP DOI BibTeX RDF
20	Jacob Feldman	Efficient Regularity-Based Grouping.	CVPR	1997	DBLP DOI BibTeX RDF	Segmentation and grouping, human and machine vision
20	Jichang Tan, I-Peng Lin	Compiling Dataflow Analysis of Logic Programs.	PLDI	1992	DBLP DOI BibTeX RDF	Prolog
19	Daniele Grasso, Alessandro Fantechi, Alessio Ferrari 0001, Carlo Becheri, Stefano Bacherini	Model Based Testing and Abstract Interpretation in the Railway Signaling Context.	ICST	2010	DBLP DOI BibTeX RDF	abstract interpretation, model based testing, safety critical, railway signaling
19	Jingyu Hua, Takashi Nishide, Kouichi Sakurai	Model-Based Intrusion Detection by Abstract Interpretation.	SAINT	2010	DBLP DOI BibTeX RDF	intrusion detection, static analysis, abstract interpretation
19	Anna Nagurney	Variational Inequalities: Geometric Interpretation, Existence and Uniqueness.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Coercivity condition, Strict monotonicity, Strong monotonicity, Lipschitz continuity, Monotonicity, Geometric interpretation
19	Paul Lokuciejewski, Daniel Cordes, Heiko Falk, Peter Marwedel	A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models.	CGO	2009	DBLP DOI BibTeX RDF	loop analysis, abstract interpretation, WCET analysis, static program analysis
19	Dengkui Mo, Hui Lin 0004, Hua Sun 0002, Zhuo Zhang 0017, Huaiqing Zhang	A Novel Remotely Sensed Image Interpretation Method.	FSKD (5)	2009	DBLP DOI BibTeX RDF	SVM, segmentation, interpretation, remote sensing, Landsat, land cover
19	Wei Chen 0009, Hongyi Lu, Li Shen 0007, Zhiying Wang 0003, Nong Xiao	Using Pcache to Speedup Interpretation in Dynamic Binary Translation.	ISPA	2009	DBLP DOI BibTeX RDF	SPEC2000 benchmark, simulator, cache, interpretation, dynamic binary translation
19	Matthias Wimmer, Christoph Mayer 0001, Sylvia Pietzsch, Bernd Radig	Tailoring Model-Based Techniques to Facial Expression Interpretation.	ACHI	2008	DBLP DOI BibTeX RDF	Multi-modal User Interfaces, Facial Expression Interpretation, Real-time Systems, Emotion Recognition, Face and Gesture Recognition, Vision and Scene Understanding
19	Miguel Valero Espada, Jaco van de Pol	An abstract interpretation toolkit for µCRL.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	muCRL, Model checking, Abstract interpretation, Process algebra
19	Tevfik Metin Sezgin, Randall Davis	Sketch Interpretation Using Multiscale Models of Temporal Patterns.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	Graphics recognition and interpretation, User interfaces, Learning, Artificial Intelligence, Segmentation, Object recognition, Statistical, Hierarchical, Vision and Scene Understanding, Document and Text Processing
19	Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin	Semantic interpretation of compositional logic in instantiation space.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	Instantiation Space, Compositional Logic, interpretation
19	Abdul Rehman Abbasi, Takeaki Uno, Matthew N. Dailey, Nitin V. Afzulpurkar	Towards Knowledge-Based Affective Interaction: Situational Interpretation of Affect.	ACII	2007	DBLP DOI BibTeX RDF	Affective tutoring, affective entertainer, situation-specific affect interpretation, facial expression analysis, gesture analysis
19	Nacéra Benamrane, A. Aribi, L. Kraoula	Fuzzy Neural Networks and Genetic Algorithms for Medical Images Interpretation.	GMAI	2006	DBLP DOI BibTeX RDF	Genetic algorithms, Specification, Interpretation, Detection, Fuzzy Neural Network
19	John Regehr, Alastair Reid 0001, Kirk Webb	Eliminating stack overflow by abstract interpretation.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis
19	Isabella Mastroeni	Algebraic Power Analysis by Abstract Interpretation.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	algebraic power analysis, abstract interpretation, static program analysis, software watermarking, abstract domains
19	Sumit Gulwani, George C. Necula	Discovering affine equalities using random interpretation.	POPL	2003	DBLP DOI BibTeX RDF	affine relationships, linear equalities, random interpretation, randomized algorithm