|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, PPPJ 2004, Las Vegas, Nevada, USA, June 16-18, 2004, pp. 107-113, 2004, ACM, 1-59593-171-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 186-197, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 39-41, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings, pp. 523-533, 2003, Springer, 3-540-00921-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 992-993, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 229-236, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIAI ![In: 5th IEEE Southwest Symposium on Image Analysis and Interpretation, SSIAI 2002, Santa Fe, New Mexico, USA, April 7-9, 2002, pp. 14-, 2002, IEEE Computer Society, 0-7695-1537-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 485-494, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 261-275, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 3(2), pp. 88-103, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 362-380, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 2(2-3), pp. 120-131, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(2), pp. 189-239, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 261-272, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(1), pp. 7-47, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(1), pp. 74-77, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(1), pp. 35-101, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(1), pp. 133-181, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
logic programming, program analysis, abstract interpretation |
27 | Muralidhara Subbarao |
Interpretation of Image Flow: A Spatio-Temporal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(3), pp. 266-278, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCE ![In: Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, ECCE 2007, London, UK, August 28-31, 2007, pp. 301-302, 2007, ACM, 978-1-84799-849-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intuitive decision making, limited exposure duration, identification, image interpretation |
27 | Michel Ferreira, Luís Damas |
WAM Local Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 286-303, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(4), pp. 412-423, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 79-88, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 597-604, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, pp. 332-347, 2006, Springer, 3-540-31139-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Kevin B. Korb, Ann E. Nicholson |
The Causal Interpretation of Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Bayesian Networks ![In: Innovations in Bayesian Networks: Theory and Applications, pp. 83-116, 2008, Springer, 978-3-540-85065-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1578-1582, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings, pp. 65-79, 2008, Springer, 978-3-540-68233-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chiung-Hon Leon Lee, Alan Liu, Yen-Ru Cheng |
Service Request Interpretation Using Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan, pp. 56-61, 2008, IEEE Computer Society, 978-0-7695-3499-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ashish Tiwari 0001, Sumit Gulwani |
Logical Interpretation: Static Program Analysis Using Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 147-166, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Minna Koskinen |
On the Role of Interpretation Schemes in Organizational IS Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Mircea Nicolescu, Gérard G. Medioni |
A Voting-Based Computational Framework for Visual Motion Analysis and Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 27(5), pp. 739-752, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Ranzato, Francesco Tapparo |
An Abstract Interpretation Perspective on Linear vs. Branching Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, pp. 69-85, 2005, Springer, 3-540-29735-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Erik Frøkjær, Kasper Hornbæk |
Cooperative usability testing: complementing usability tests with user-supported interpretation sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1383-1386, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 58, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Etienne Gagnon, Laurie J. Hendren |
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 170-184, 2003, Springer, 3-540-00904-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings, pp. 91-100, 2003, Springer, 3-540-20129-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 243-261, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Petra Perner |
CBR-Based Ultra Sonic Image Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWCBR ![In: Advances in Case-Based Reasoning, 5th European Workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000, Proceedings, pp. 479-490, 2000, Springer, 3-540-67933-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 19(7), pp. 677-695, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 563-578, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Minami Miyauchi, Masatoshi Seki, Akira Watanabe, Arata Miyauchi |
Interpretation of Optical Flow Through Complex Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings, pp. 645-650, 1993, Springer, 3-540-56798-4. The full citation details ...](Pics/full.jpeg) |
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)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 107-118, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Katsushi Ikeuchi |
Generating an interpretation tree from a CAD model for 3D-object recognition in bin-picking tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 1(2), pp. 145-165, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin B. Chase, Robert T. Hood |
Selective interpretation as a technique for debugging computationally intensive programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 113-124, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | F. Caneschi |
Hints for the interpretation of the ISO session layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 16(4), pp. 34-72, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
ECS |
24 | Jacob Feldman |
Perceptual Grouping by Selection of a Logically Minimal Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 55(1), pp. 5-25, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kognitionswissenschaft ![In: Kognitionswissenschaft 7(1), pp. 39-44, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Novel Interaction Methods and Techniques, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, pp. 674-683, 2009, Springer, 978-3-642-02576-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 207-218, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(1), pp. 3:1-3:63, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 63(1-2), pp. 11-15, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 623-626, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 271-274, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 116-133, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 6(2-3), pp. 85-106, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GbRPR ![In: Graph-Based Representations in Pattern Recognition, 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007, Proceedings, pp. 240-250, 2007, Springer, 978-3-540-72902-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (5) ![In: Universal Access in Human Computer Interaction. Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 716-721, 2007, Springer, 978-3-540-73278-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 537-546, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III, pp. 316-324, 2007, Springer, 978-3-540-74828-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, pp. 59-73, 2007, Springer, 978-3-540-69735-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(4), pp. 415-463, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Garbage collection, Abstract interpretation, Denotational semantics |
23 | Sumit Gulwani, George C. Necula |
Precise interprocedural analysis using random interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 324-337, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 42-58, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
numerical domains, static analysis, Abstract Interpretation |
23 | Robert van Rooij, Katrin Schulz |
Exhaustive Interpretation of Complex Sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(4), pp. 491-519, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 173-185, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 342-352, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 956-957, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 146-160, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 24(4), pp. 456-466, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 168-183, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 237-246, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 391-400, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 175-189, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 892-896, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 362-373, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Eighth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'95), June 9-10, 1995, Lubbock, Texas, USA, pp. 262-, 1995, IEEE Computer Society, 0-8186-7117-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 795-798, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 607-648, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 165-180, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings, pp. 203-216, 1992, Springer, 3-540-56287-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(3), pp. 399-407, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 278-293, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Seminar on Concurrency ![In: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984, pp. 497-511, 1984, Springer, 3-540-15670-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 49-58, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 26(2), pp. 171-204, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced Visual Interfaces, AVI 2008, Napoli, Italy, May 28-30, 2008, pp. 331-334, 2008, ACM Press, 978-1-60558-141-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Proceedings of the Conference on Designing Interactive Systems, Cape Town, South Africa, February 25-27, 2008, pp. 193-202, 2008, ACM, 978-1-60558-002-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers, pp. 458-463, 2007, Springer, 978-3-642-01638-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIC ![In: Intercultural Collaboration, First International Workshop, IWIC 2007, Kyoto, Japan, January 25-26, 2007, Invited and Selected Papers, pp. 221-235, 2007, Springer, 978-3-540-73999-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
analysis, interpretation, cultural difference, pictogram |
23 | Frank Hampel |
The Proper Fiducial Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTIT-C ![In: General Theory of Information Transfer and Combinatorics, pp. 512-526, 2006, Springer, 3-540-46244-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1697-1704, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADUI ![In: Computer-Aided Design Of User Interfaces V, Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces, CADUI 2006 6-8 June 2006, Bucharest, Romania, pp. 57-70, 2006, Springer, 978-1-4020-5819-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 10th International Conference on Intelligent User Interfaces, IUI 2005, San Diego, California, USA, January 10-13, 2005, pp. 43-50, 2005, ACM, 1-58113-894-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multimodal input interpretation, reference resolution |
23 | Witold Pedrycz |
Granular Computing with Shadowed Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 23-32, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 2029-2036, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, pp. 77-98, 2001, Springer, 3-540-42206-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: Web Intelligence: Research and Development, First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001, Proceedings, pp. 61-74, 2001, Springer, 3-540-42730-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Foundations of Geographic Information Science, International Conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001, Proceedings, pp. 306-321, 2001, Springer, 3-540-42613-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(1), pp. 46-67, 1998. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|