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