The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for interpretation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1945-1959 (15) 1960-1966 (15) 1967-1970 (15) 1971-1973 (23) 1974-1975 (21) 1976 (16) 1977 (20) 1978 (16) 1979 (16) 1980 (38) 1981 (30) 1982 (22) 1983 (31) 1984 (33) 1985 (43) 1986 (49) 1987 (92) 1988 (123) 1989 (126) 1990 (165) 1991 (188) 1992 (211) 1993 (204) 1994 (169) 1995 (192) 1996 (224) 1997 (225) 1998 (276) 1999 (322) 2000 (395) 2001 (368) 2002 (497) 2003 (512) 2004 (622) 2005 (733) 2006 (812) 2007 (846) 2008 (861) 2009 (673) 2010 (330) 2011 (341) 2012 (362) 2013 (336) 2014 (350) 2015 (307) 2016 (363) 2017 (356) 2018 (416) 2019 (438) 2020 (438) 2021 (512) 2022 (481) 2023 (519) 2024 (139)
Publication types (Num. hits)
article(4793) book(49) data(1) incollection(146) inproceedings(9522) phdthesis(373) proceedings(43)
Venues (Conferences, Journals, ...)
CoRR(761) VMCAI(594) SSIAI(333) IEEE Trans. Pattern Anal. Mach...(124) SAS(121) IGARSS(84) POPL(78) Remote. Sens.(73) IJCAI(60) ICDAR(57) J. Digit. Imaging(54) ESOP(53) CogSci(50) ICASSP(50) Int. J. Comput. Vis.(47) AAAI(46) More (+10 of total 3427)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7401 occurrences of 3716 keywords

Results
Found 14927 publication records. Showing 14927 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
27Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines. Search on Bibsonomy PPPJ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM
27Roberto Giacobazzi, Isabella Mastroeni Abstract non-interference: parameterizing non-interference by abstract interpretation. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstract interpretation, language-based security, non-interference, abstract domains
27Eun-Young Kang 0001 Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Real-time Model Checking, Verification, Abstract Interpretation, Real-time embedded systems
27Van-Thinh Vu, François Brémond, Monique Thonnat Automatic Video Interpretation: A Recognition Algorithm for Temporal Scenarios Based on Pre-compiled Scenario Models. Search on Bibsonomy ICVS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Automatic Video Interpretation, Scenario Recognition, Chronicle Recognition, Temporal Constraint Resolution, Scenario Representation
27Sarah George, Ingrid Zukerman, Mark George An information-theoretic approach for argument interpretation in a conversational setting. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF argument interpretation, bayesian networks, minimum message length
27Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco Checking security of Java bytecode by abstract interpretation. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF security, Java, abstract interpretation, information flow, Java bytecode
27Volker Metzler, Til Aach, Christian Thies A Novel Object-Oriented Approach to Image Analysis and Retrieval. Search on Bibsonomy SSIAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Image analyis, object-oriented interpretation, content-based evaluation, morphological decomposition, expert system, retrieval
27Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo Efficient Negation Using Abstract Interpretation. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
27Thomas P. Jensen, Fausto Spoto Class Analysis of Object-Oriented Programs through Abstract Interpretation. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis
27Jean-Marc Ogier, Rémy Mullot, Jacques Labiche Technical Map Interpretation: A Distributed Approach. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2000 DBLP  BibTeX  RDF Interpretation cycle, Performance evaluation, Document modelling, Document understanding, Engineering drawings, Consistency analysis
27Roberta Gori An Abstract Interpretation Approach to Termination of Logic Programs. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Infinite derivations, Universal termination, Logic programming, Abstract interpretation
27Pierre M. Devaux, Daniel B. Lysak, Rangachar Kasturi A complete system for the intelligent interpretation of engineering drawings. Search on Bibsonomy Int. J. Document Anal. Recognit. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF 3D Drawing interpretation, Image processing, Document image analysis, Graphics recognition, Engineering drawings
27Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF parallelism, logic programming, abstract interpretation, data flow analysis, automatic parallelization
27Frank Huch Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed system, model checking, verification, abstract interpretation, Erlang
27Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato Complementation in Abstract Interpretation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
27V. P. Kumar, Uday B. Desai Image Interpretation Using Bayesian Networks. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Artificial intelligence, object recognition, Bayesian networks, expert systems, decision making, Markov random fields, image interpretation, inference systems
27Baudouin Le Charlier, Pascal Van Hentenryck Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fixpoint algorithm, PROLOG, Prolog, abstract interpretation
27Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF logic programming, program analysis, abstract interpretation
27Muralidhara Subbarao Interpretation of Image Flow: A Spatio-Temporal Approach. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF image flow interpretation, spatio-temporal approach, scene transformation, pattern recognition, pattern recognition, picture processing, picture processing, optical flow, motion analysis, scene geometry
27Peerly Setter, Hadas Marciano, Joel Norman, Michal Hovev The effects of time limitations on target identification. Search on Bibsonomy ECCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF intuitive decision making, limited exposure duration, identification, image interpretation
27Michel Ferreira, Luís Damas WAM Local Analysis. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Prolog Compilation, Multiple Specialization, Abstract Interpretation
27Nael B. Abu-Ghazaleh, Philip A. Wilsey, Xianzhi Fan, Debra A. Hensgen Synthesizing Variable Instruction Issue Interpreters for Implementing Functional Parallelism on SIMD Computers. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF MIMD on SIMD, variable instruction issue, scheduling instruction execution, interpretation, SIMD computers
25Jean-Yves Marion, Romain Péchoux Characterizations of polynomial complexity classes with a better intensionality. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quasi-interpretation, resource upper bounds, sup-interpretation, static analysis
25Eric Saund, Thomas P. Moran Perceptual Organization in an Interactive Sketch Editing Application. Search on Bibsonomy ICCV The full citation details ... 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
25Francesco Ranzato, Francesco Tapparo Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Kevin B. Korb, Ann E. Nicholson The Causal Interpretation of Bayesian Networks. Search on Bibsonomy Innovations in Bayesian Networks The full citation details ... 2008 DBLP  DOI  BibTeX  RDF causal discovery, faithfulness, probabilistic causality, causal power, causal responsibility, Bayesian networks, intervention
24Emerson Cabrera Paraiso Ontology-based utterance interpretation for intelligent conversational interfaces. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontology, speech interface, dialog systems, conversational interfaces, assistant agents
24Heeryon Cho, Toru Ishida 0001, Toshiyuki Takasaki, Satoshi Oyama Assisting Pictogram Selection with Semantic Interpretation. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Chiung-Hon Leon Lee, Alan Liu, Yen-Ru Cheng Service Request Interpretation Using Case-Based Reasoning. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Ashish Tiwari 0001, Sumit Gulwani Logical Interpretation: Static Program Analysis Using Theorem Proving. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Minna Koskinen On the Role of Interpretation Schemes in Organizational IS Implementation. Search on Bibsonomy HICSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Mircea Nicolescu, Gérard G. Medioni A Voting-Based Computational Framework for Visual Motion Analysis and Interpretation. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Francesco Ranzato, Francesco Tapparo An Abstract Interpretation Perspective on Linear vs. Branching Time. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Erik Frøkjær, Kasper Hornbæk Cooperative usability testing: complementing usability tests with user-supported interpretation sessions. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2005 DBLP  DOI  BibTeX  RDF metaphors of human thinking, usability testing, contextual inquiry, think aloud
24Shmuel Sagiv On the Expressive Power of Canonical Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Etienne Gagnon, Laurie J. Hendren Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Nathalie Richard, Michel Dojat, Catherine Garbay Multi-agent Approach for Image Processing: A Case Study for MRI Human Brain Scans Interpretation. Search on Bibsonomy AIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24John P. Gallagher, Germán Puebla Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Petra Perner CBR-Based Ultra Sonic Image Interpretation. Search on Bibsonomy EWCBR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Vladimir Pavlovic 0001, Rajeev Sharma, Thomas S. Huang Visual Interpretation of Hand Gestures for Human-Computer Interaction: A Review. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Vision-based gesture recognition, nonrigid motion analysis, human-computer interaction, hand tracking, gesture analysis
24Alessandro Fantechi, Stefania Gnesi, Diego Latella Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
24Minami Miyauchi, Masatoshi Seki, Akira Watanabe, Arata Miyauchi Interpretation of Optical Flow Through Complex Neural Network. Search on Bibsonomy IWANN The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
24Paul Hudak, Jonathan Young A Collecting Interpretation of Expressions (Without Powerdomains). (long version: TOPLAS 13(2): 269-290 (1991)) Search on Bibsonomy POPL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
24Katsushi Ikeuchi Generating an interpretation tree from a CAD model for 3D-object recognition in bin-picking tasks. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
24Benjamin B. Chase, Robert T. Hood Selective interpretation as a technique for debugging computationally intensive programs. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
24F. Caneschi Hints for the interpretation of the ISO session layer. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF ECS
24Jacob Feldman Perceptual Grouping by Selection of a Logically Minimal Model. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF nonaccidental properties, logic, perceptual grouping, perceptual organization
24Keith Stenning Aligning Logical and Psychological Contributions to the Understanding of Human Reasoning. Search on Bibsonomy Kognitionswissenschaft The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
23David del Valle-Agudo, Francisco Javier Calle-Gómez, Dolores Cuadra Fernández, Jessica Rivero-Espinosa Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management. Search on Bibsonomy HCI (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Natural Interaction Systems, Independent Interpretation and Generation, Grounding, Turn Taking, Threads Model
23Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi A framework for abstract interpretation of timed concurrent constraint programs. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
23Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 Decomposing bytecode verification by abstract interpretation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstract interpretation, bytecode verification
23Paolo Ravazzani The interpretation of the results of the research on electromagnetic fields and health in Europe: the EC Coordination Action EMF-NET. Search on Bibsonomy Ann. des Télécommunications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF EMF and health, Support to policy, Interpretation
23Hong Zhang, Lei Liu An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting. Search on Bibsonomy ISECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boxed Ambients, the ambient occurrence counting, abstract interpretation
23Sabah S. Al-Fedaghi Software Engineering Interpretation of Information Processing Regulations. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF legal text, information flow, interpretation, software requirements
23Pietro Ferrara 0001 Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
23Nicoletta De Francesco, Luca Martini Instruction-level security typing by abstract interpretation. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Abstract interpretation, Information flow, Language based security
23Yann Hodé, Aline Deruyver Qualitative Spatial Relationships for Image Interpretation by Using Semantic Graph. Search on Bibsonomy GbRPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF arc-consistency checking, spatial relationship, image interpretation, Semantic graph
23Jouko Kokko, Erkki Kemppainen, Aulikki Rautavaara Technology and Regional Social Structures: Evaluation of Remote Sign Language Interpretation in Finland. Search on Bibsonomy HCI (5) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interpretation service, hard of hearing people, Disability, ICT
23William W. Gaver, Phoebe Sengers, Tobie Kerridge, Joseph Kaye, John Bowers 0001 Enhancing ubiquitous computing with user interpretation: field testing the home health horoscope. Search on Bibsonomy CHI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ubiquitous computing, interpretation, home
23Eiichiro Takahagi A Fuzzy Measure Identification Method by Diamond Pairwise Comparisons: AHP Scales and Grabish's Graphical Interpretation. Search on Bibsonomy KES (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fuzzy measure identification, diamond pairwise comparison, ?-fuzzy measure, hierarchy diagram, Grabish’s Graphical Interpretation, AHP
23Matthew Might, Benjamin Chambers, Olin Shivers Model Checking Via GammaCFA. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages
23Patricia M. Hill, Fausto Spoto Deriving escape analysis by abstract interpretation. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Garbage collection, Abstract interpretation, Denotational semantics
23Sumit Gulwani, George C. Necula Precise interprocedural analysis using random interpretation. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions
23Jérôme Feret The Arithmetic-Geometric Progression Abstract Domain. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF numerical domains, static analysis, Abstract Interpretation
23Robert van Rooij, Katrin Schulz Exhaustive Interpretation of Complex Sentences. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF conversational implicatures, exhaustive interpretation, pragmatics, non-monotonic reasoning, Circumscription
23Patrick Cousot, Radhia Cousot An abstract interpretation-based framework for software watermarking. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing
23Sumit Gulwani, George C. Necula Global value numbering using random interpretation. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions
23Norman Carver, Ruj Akavipat Analyzing the efficiency of strategies for MAS-based sensor interpretation and diagnosis. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF computational complexity and agent systems, coordination of multiple agents/activities, distributed interpretation and diagnosis, Bayesian networks, distributed problem solving
23Roberto Giacobazzi, Isabella Mastroeni Domain Compression for Complete Abstractions. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
23Lluís Ros, Federico Thomas Overcoming Superstrictness in Line Drawing Interpretation. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF superstrictness, correction algorithms, scene understanding, line drawing interpretation
23Chiara Bodei, Pierpaolo Degano, Corrado Priami Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
23Qi Zhang Speeding GA-Based Attribute Selection for Image Interpretation. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF evolutionary computation, image interpretation, attribute selection
23Mieczyslaw A. Klopotek, Slawomir T. Wierzchon Qualitative Versus Quantitative Interpretation of the Mathematical Theory of Evidence. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF qualitative interpretation of Dempster rule, relational databases, Soft Computing, rough set theory, Dempster-Shafer theory, Knowledge Representation and Integration
23Roberto Giacobazzi, Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF directional types, logic programming, static analysis, Abstract interpretation, domains, intuitionistic logic
23Sargur N. Srihari, Edward J. Kuebert Integration of hand-written address interpretation technology into the United States Postal Service Remote Computer Reader system. Search on Bibsonomy ICDAR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF handwritten address interpretation technology, United States Postal Service, Remote Computer Reader system, letter mail processing, Remote Bar Coding System, image management system, bar code assignment, postal OCR equipment, control structure algorithms, recognizer algorithms, database algorithms, integrated RCR-HWAI system, nationwide deployment, performance, handwriting recognition
23Lunjin Lu A Mode Analysis of Logic Programs by Abstract Interpretation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Abstract Unification, Abstract Interpretation, Sharing, Aliasing, Mode
23Glenn H. Roberson, Yao-Yang Shieh Primary Interpretation of Medical Imagery by Teleradiology. Search on Bibsonomy CBMS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF primary interpretation, medical imagery, on-call radiologist, radiographic images, clinical issues, biomedical imaging, teleradiology, radiology, medical diagnostic computing
23Juan F. Arias, Rangachar Kasturi, Atul K. Chhabra Efficient techniques for telephone company line drawing interpretation. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF telephone company line drawing interpretation, customizable tools, routines, image recognition, spatial relations, processing time, run length encoding
23Kim Marriott, Harald Søndergaard, Neil D. Jones Denotational Abstract Interpretation of Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis
23Gernot Richter, Bruno Maffeo Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF translation principles, rigorous interpretation, ESML, extended systems modeling language, graphics-based language, data flow diagram notation, transformation schema, token game, real-time systems, real-time systems, Petri nets, Petri nets, systems analysis, visual languages, control logic
23Renganathan Sundararajan, John S. Conery An Abstract Interpretation Scheme for Groundedness, Freeness, and Sharing Analysis of Logic Programs. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF logic programming, abstract interpretation, groundness analysis, sharing analysis
23Dominik Paul, W. Hättich, W. Nill, M. Sehran Tatari, Gottfried Winkler VISTA: Visual Interpretation System for Technical Applications-Architecture and Use. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF wood inspection, VISTA, visual interpretation system, bus-oriented multiprocessor system, real-time systems, computer vision, computer vision, image sequences, computer architecture, computerised pattern recognition, computerised pattern recognition, inspection, real-time processing, automatic visual inspection
23Jack Minker, Arcot Rajasekar Procedural Interpretation of Non-Horn Logic Programs. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF generalized closed world assumption, non-horn programs, procedural interpretation, support-for-negation, logic programming, negation
23Prakash Panangaden Abstract Interpretation and Indeterminacy. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF indeterminate operators, hiatons, dataflow networks, fairness, abstract interpretation
23Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Refining the control structure of loops using static analysis. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
23Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Abstraction-Carrying Code: a Model for Mobile Code Safety. Search on Bibsonomy New Gener. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
23Maria Chiara Caschera, Fernando Ferri, Patrizia Grifoni Ambiguity detection in multimodal systems. Search on Bibsonomy AVI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF grammar-based language, interpretation of multimodal input, multimodal ambiguity, multimodal interfaces
23Kunmi Otitoju, Steve R. Harrison 0001 Interaction as a component of meaning-making. Search on Bibsonomy Conference on Designing Interactive Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ubiquitous computing, multimedia, interpretation, ambiguity, museum, art installation, calm technology, mythology
23Heeryon Cho, Naomi Yamashita, Toru Ishida 0001 Towards Culturally-Situated Agent Which Can Detect Cultural Differences. Search on Bibsonomy PRIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ontology, interpretation, detection, cultural difference
23Heeryon Cho, Toru Ishida 0001, Naomi Yamashita, Rieko Inaba, Yumiko Mori, Tomoko Koda Culturally-Situated Pictogram Retrieval. Search on Bibsonomy IWIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF analysis, interpretation, cultural difference, pictogram
23Frank Hampel The Proper Fiducial Argument. Search on Bibsonomy GTIT-C The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fiducial argument, fiducial probability, R.A. Fisher, foundations of statistics, aleatory probabilities, epistemic probabilities, structure of epistemic probabilities, upper and lower probabilities, frequentist statistics, axiom of frequentist epistemic probability, intersubjective statistics, bets, odds, fair bets, successful bets, aposteriori interpretation of confidence intervals, Neyman-Pearson statistics, Behrens-Fisher problem, statistical inference, confidence interval, Bayesian statistics
23Greg Lee, Vadim Bulitko Genetic algorithms for action set selection across domains: a demonstration. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF adaptive image interpretation, genetic algorithms, machine learning, heuristic search, Markov decision process
23Sébastien Macé, Éric Anquetil A Generic Approach For Pen-Based User Interface Development. Search on Bibsonomy CADUI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hand drawn symbol recognition, Structured document interpretation, Pen-based interaction, User interface development
23Joyce Y. Chai, Zahar Prasov, Joseph Blaim, Rong Jin 0001 Linguistic theories in efficient multimodal reference resolution: an empirical investigation. Search on Bibsonomy IUI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multimodal input interpretation, reference resolution
23Witold Pedrycz Granular Computing with Shadowed Sets. Search on Bibsonomy RSFDGrC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF shadowed sets, principle of uncertainty localization, relational equations, data interpretation, cores of clusters, fuzzy sets, fuzzy clustering, outliers, three-valued logic
23Greg Lee, Vadim Bulitko GAMM: genetic algorithms with meta-models for vision. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF adaptive image interpretation, genetic algorithms, machine learning, heuristic search, Markov decision process
23Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi Distinctness and Sharing Domains for Static Analysis of Java Programs. Search on Bibsonomy ECOOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis
23Patrick Shen-Pei Wang 3D Object Recognition and Visualization on the Web. Search on Bibsonomy Web Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF visualization and interpretation, 3D articulated objects, diffusion tomography, finite representation, on-line virtual environment, pattern recognition, learning, interactive learning, linear combination
23Joe Heike Steinhauer, Tom Wiese, Christian Freksa, Thomas Barkowsky Recognition of Abstract Regions in Cartographic Maps. Search on Bibsonomy COSIT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF map interpretation, region abstraction, spatial concepts, formal methods, cognitive modeling, map generalization
23Florian Martin 0001 PAG - An Efficient Program Analyzer Generator. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction
Displaying result #101 - #200 of 14927 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license