Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi |
ELPI: Fast, Embeddable, λProlog Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pp. 460-468, 2015, Springer, 978-3-662-48898-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | David G. Novick, Mario Gutiérrez, Iván Gris, Diego A. Rivera |
A Mark-Up Language and Interpreter for Interactive Scenes for Embodied Conversational Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Virtual, Augmented and Mixed Reality - 7th International Conference, VAMR 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, pp. 206-215, 2015, Springer, 978-3-319-21066-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Huaxiong Cao, Naijie Gu, Kaixin Ren, Yi Li |
Performance research and optimization on CPython's interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: 2015 Federated Conference on Computer Science and Information Systems, FedCSIS 2015, Lódz, Poland, September 13-16, 2015, pp. 435-441, 2015, IEEE, 978-8-3608-1065-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Kyle Dewey, Vineeth Kashyap, Ben Hardekopf |
A parallel abstract interpreter for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2015, San Francisco, CA, USA, February 07 - 11, 2015, pp. 34-45, 2015, IEEE Computer Society, 978-1-4799-8161-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Yu-Hui Huang, Xuanli Chen, Serafina Beck, David Burn, Luc Van Gool |
Automatic Handwritten Mensural Notation Interpreter: From Manuscript to MIDI Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIR ![In: Proceedings of the 16th International Society for Music Information Retrieval Conference, ISMIR 2015, Málaga, Spain, October 26-30, 2015, pp. 79-85, 2015, 978-84-606-8853-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
16 | Priscilla F. Jimenez Pazmino, Brian Slattery, Leilah Lyons, Benjamin Hunt |
Designing for youth interpreter professional development: a sociotechnologically-framed participatory design approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Proceedings of the 14th International Conference on Interaction Design and Children, IDC '15, Medford, MA, USA, June 21-25, 2015, pp. 1-10, 2015, ACM, 978-1-4503-3590-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | John H. E. Lasseter |
The Interpreter In An Undergraduate Compilers Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 46th ACM Technical Symposium on Computer Science Education, SIGCSE 2015, Kansas City, MO, USA, March 4-7, 2015, pp. 168-173, 2015, ACM, 978-1-4503-2966-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Maximilian Seitzer, Michael Gruhn, Tilo Müller |
A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (2) ![In: Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II, pp. 376-395, 2015, Springer, 978-3-319-24176-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Martina Eckert, Marcos Lopez, Carlos Lázaro, Juan M. Meneses, José-Fernán Martínez-Ortega |
MoKey - A motion based keyboard interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCE ![In: International Symposium on Consumer Electronics, ISCE 2015, Madrid, Spain, June 24-26, 2015, pp. 1-2, 2015, IEEE, 978-1-4673-7365-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Sylvain Hallé |
A Declarative Language Interpreter for CEP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC Workshops ![In: 19th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2015, Adelaide, Australia, September 21-25, 2015, pp. 156-159, 2015, IEEE Computer Society, 978-1-4673-9331-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi 0001 |
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, pp. 327-343, 2015, Springer, 978-3-319-22968-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Wei Zhang 0059 |
Efficient Hosted Interpreter for Dynamic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
16 | Edd Barrett, Carl Friedrich Bolz, Laurence Tratt |
Approaches to Interpreter Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.0757, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | John H. E. Lasseter |
The Interpreter In An Undergraduate Compilers Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.0426, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Binod Kumar Pattanayak, Sambit Kumar Patra, Bhagabat Puthal |
An Algorithm for Interpreting Closure Property of JavaScript through Runtime Stack (A Lightweight Interpreter for Embedded Device). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Their Appl. ![In: Int. J. Comput. Their Appl. 21(2), pp. 108-120, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Rodney A. Brooks |
Takashi Gomi: contributor, organizer, interpreter, friend. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adapt. Behav. ![In: Adapt. Behav. 22(6), pp. 376-377, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Péter Mátételki, Máté Pataki, Sándor Turbucz, László Kovács |
An assistive interpreter tool using glove-based hand gesture recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHTC ![In: 2014 IEEE Canada International Humanitarian Technology Conference, IHTC 2014, Montreal, QC, Canada, June 1-4, 2014, pp. 1-5, 2014, IEEE, 978-1-4799-3996-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Guilherme Melo e Maranhão, Iwens Gervásio Sene Júnior, Renato de Freitas Bulcão-Neto |
Anatomy of a Semantic Context Interpreter with Real-time Events Notification Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebMedia ![In: Proceedings of the 20th Brazilian Symposium on Multimedia and the Web, WebMedia 2014, João Pessoa, Brazil, November 18-21, 2014, pp. 159-162, 2014, ACM, 978-1-4503-3230-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Carlos E. A. Iatskiu, Laura Sánchez García, Diego Roberto Antunes, André Luiz Pires Guedes |
A CPML-Signwriting Interpreter: A New form to Generate the Graphical Symbols of Signwriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Universal Access in Human-Computer Interaction. Design and Development Methods for Universal Access - 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I, pp. 357-368, 2014, Springer, 978-3-319-07436-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Massimiliano Zilli, Wolfgang Raschke, Reinhold Weiss, Johannes Loinig, Christian Steger |
A High Performance Java Card Virtual Machine Interpreter Based on an Application Specific Instruction-Set Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014, pp. 270-278, 2014, IEEE Computer Society, 978-1-4799-5793-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Haichuan Wang, Peng Wu 0001, David A. Padua |
Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2014, Orlando, FL, USA, February 15-19, 2014, pp. 295, 2014, ACM, 978-1-4503-2670-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Petr Zatloukal, Martin Bernas, Lukás Dvorák |
Independent transmission of sign language interpreter in DVB: assessment of image compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMV ![In: Seventh International Conference on Machine Vision, ICMV 2014, Milan, Italy, 19-21 November 2014, pp. 94450T, 2014, SPIE, 9781628415605. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Satoshi Nishimura |
Takt: A read-eval-play-loop interpreter for a structural/procedural score language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014, 2014, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Gergö Barany |
Python Interpreter Performance Deconstructed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dyla@PLDI ![In: Proceedings of the Workshop on Dynamic Languages and Applications, Dyla 2014, Edinburgh, United Kingdom, June 9-11, 2014, pp. 5:1-5:9, 2014, ACM, 978-1-4503-2916-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Cano 0001, Sebastián Ventura |
GPU-parallel subtree interpreter for genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO '14, Vancouver, BC, Canada, July 12-16, 2014, pp. 887-894, 2014, ACM, 978-1-4503-2662-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Simone Cirillo, Stefan Lloyd |
A scalable symbolic expression tree interpreter for the heuristiclab optimization framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO '14, Vancouver, BC, Canada, July 12-16, 2014, Companion Material Proceedings, pp. 1141-1148, 2014, ACM, 978-1-4503-2881-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Karim Barkati, Haisheng Wang, Pierre Jouvelot |
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 69-85, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Yosra Bouzid, Mohamed Jemni |
tuniSigner: A Virtual Interpreter to Learn Sign Writing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: IEEE 14th International Conference on Advanced Learning Technologies, ICALT 2014, Athens, Greece, July 7-10, 2014, pp. 601-605, 2014, IEEE Computer Society, 978-1-4799-4038-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Xi Wang 0005, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock |
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014., pp. 33-47, 2014, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Fariha Nasir, Umer Farooq, Zunaira Jamil, Maham Sana, Kashif Zafar |
Automated Sign Language to Speech Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIT ![In: 12th International Conference on Frontiers of Information Technology, FIT 2014, Islamabad, Pakistan, December 17-19, 2014, pp. 307-312, 2014, IEEE Computer Society, 978-1-4799-7505-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Rei Odaira, José G. Castaños, Hisanobu Tomari |
Eliminating global interpreter locks in ruby through hardware transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '14, Orlando, FL, USA, February 15-19, 2014, pp. 131-142, 2014, ACM, 978-1-4503-2656-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Coline Claude-Lachenaud, Eric Charton, Benoît Ozell, Michel Gagnon |
A multimodal interpreter for 3D visualization and animation of verbal concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Ninth International Conference on Language Resources and Evaluation, LREC 2014, Reykjavik, Iceland, May 26-31, 2014., pp. 3620-3627, 2014, European Language Resources Association (ELRA). The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Tomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek |
A fast abstract syntax tree interpreter for R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE '14, Salt Lake City, UT, USA, March 01 - 02, 2014, pp. 89-102, 2014, ACM, 978-1-4503-2764-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Erven Rohou, Kevin Williams 0001, David Yuste |
Vectorization technology to improve interpreter performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 9(4), pp. 26:1-26:22, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Majid A. Al-Taee, Ayman Z. Zayed, Suhail N. Abood, Mohammad A. Al-Ani, Ahmad M. Al-Taee, Hussein A. Hassani |
Mobile-based interpreter of arterial blood gases using knowledge-based expert system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pervasive Comput. Commun. ![In: Int. J. Pervasive Comput. Commun. 9(3), pp. 270-288, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Brunthaler 0001 |
Speculative Staging for Interpreter Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.2300, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Lucas Helms, Ruben Gamboa |
An Interpreter for Quantum Circuits ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 85-94, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Paulik, Alex Waibel |
Training speech translation from audio recordings of interpreter-mediated communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Speech Lang. ![In: Comput. Speech Lang. 27(2), pp. 455-474, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Frank Hoisl, Kristina Shea |
Three-dimensional labels: A unified approach to labels for a general spatial grammar interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Eng. Des. Anal. Manuf. ![In: Artif. Intell. Eng. Des. Anal. Manuf. 27(4), pp. 359-375, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Binod Kumar Pattanayak, Sambit Kumar Patra, Bhagabat Puthal |
Optimizing AST Node for Java Script Compiler A lightweight Interpreter for Embedded Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 8(2), pp. 349-355, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Omid Banyasad, Philip T. Cox |
Design and Implementation of an Editor/Interpreter for a Visual Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 23(6), pp. 801-838, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Gülfem Savrun-Yeniçeri, Wei Zhang 0059, Huahan Zhang, Chen Li 0001, Stefan Brunthaler 0001, Per Larsen, Michael Franz |
Efficient interpreter optimizations for the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Stuttgart, Germany, September 11-13, 2013, pp. 113-123, 2013, ACM, 978-1-4503-2111-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Ian Gartley, Marius Pirvu, Vijay Sundaresan, Nikola Grcevski |
Experiences in designing a robust and scalable interpreter profiling framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen, China, February 23-27, 2013, pp. 14:1-14:10, 2013, IEEE Computer Society, 978-1-4673-5524-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Steffen Stadtmüller, Sebastian Speiser, Andreas Harth, Rudi Studer |
Data-Fu: a language and an interpreter for interaction with read/write linked data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: 22nd International World Wide Web Conference, WWW '13, Rio de Janeiro, Brazil, May 13-17, 2013, pp. 1225-1236, 2013, International World Wide Web Conferences Steering Committee / ACM, 978-1-4503-2035-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Lamassé, Julien Alerini |
Comprendre et interpréter les données : enjeux et implantations d'un système de codage dans des gisements de données historiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGC ![In: Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier - 01 février 2013, Toulouse, France, pp. 7-8, 2013, Hermann-Éditions, 978-2-70568-656-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
16 | Pakawat Pupatwibul, Ameen Banjar, Robin Braun |
Using DAIM as a reactive interpreter for openflow networks to enable autonomic functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: ACM SIGCOMM 2013 Conference, SIGCOMM 2013, Hong Kong, August 12-16, 2013, pp. 523-524, 2013, ACM, 978-1-4503-2056-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Paul Smith, Thomas P. Hartley, Quasim H. Mehdi |
C# interpreter and unity 3D for educational programming games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGAMES ![In: 18th International Conference on Computer Games: AI, Animation, Mobile, Interactive Multimedia, Educational and Serious Games, CGAMES 2013, Louisville, KY, USA, July 30 - Aug. 1, 2013, pp. 41-47, 2013, IEEE Computer Society, 978-1-4799-0818-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jan Kubovy, Josef Küng |
Notification Concept for BPMN Workflow Interpreter Using the ASM Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST (1) ![In: Computer Aided Systems Theory - EUROCAST 2013 - 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I, pp. 452-459, 2013, Springer, 978-3-642-53855-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Lorenzo Capra, Vincenzo Stile |
An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 185-192, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Attila Ors Kilyen, László Barabás |
Scade interpreter for measuring static and dynamic software metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SISY ![In: IEEE 11th International Symposium on Intelligent Systems and Informatics, SISY 2013, Subotica, Serbia, September 26-28, 2013, pp. 123-128, 2013, IEEE, 978-1-4799-0303-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Nadir Weibel, Colleen Emmenegger, Jennifer Lyons, Ram Dixit, Linda L. Hill, James D. Hollan |
Interpreter-mediated physician-patient communication: Opportunities for multimodal healthcare interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PervasiveHealth ![In: 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, PervasiveHealth 2013, Venice, Italy, May 5-8, 2013, pp. 113-120, 2013, IEEE, 978-1-4799-0296-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Jong Wook Kim, Ashwin Kashyap, Sandilya Bhamidipati |
Wikipedia-Based Semantic Interpreter Using Approximate Top-k Processing and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 18(5), pp. 650-675, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Joseph Fong, Herbert Shiu |
An Interpreter Approach for Exporting Relational Data into XML Documents with Structured Export Markup Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Database Manag. ![In: J. Database Manag. 23(1), pp. 49-77, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Tomas Trescak, Marc Esteva, Inmaculada Rodríguez |
A shape grammar interpreter for rectilinear forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 44(7), pp. 657-670, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Paul van den Hoven |
The Narrator and the Interpreter in Visual and Verbal Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Topical Themes in Argumentation Theory ![In: Topical Themes in Argumentation Theory, Twenty Exploratory Studies., pp. 257-271, 2012, Springer, 978-94-007-4040-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Christopher W. Fletcher, Marten van Dijk, Srinivas Devadas |
Towards an interpreter for efficient encrypted computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCSW ![In: Proceedings of the 2012 ACM Workshop on Cloud computing security, CCSW 2012, Raleigh, NC, USA, October 19, 2012., pp. 83-94, 2012, ACM, 978-1-4503-1665-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Verislav Djukic, Ivan Lukovic, Aleksandar Popovic, Vladimir Ivancevic |
Using Action Reports for Testing Meta-models, Models, Generators and Target Interpreter in Domain-Specific Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Federated Conference on Computer Science and Information Systems - FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings, pp. 1365-1372, 2012, 978-83-60810-51-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Gregor Nitsche, Georg Glaeser, Dirk Nuernbergk, Eckhard Hennig |
Hardware/Software Co-design of a Smart Sensor Interface Using a Fast but Accurate Close-to-RTL Instruction Set Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012, pp. 121-132, 2012, Verlag Dr. Kovac, 978-3-8300-6201-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Prashanth Suresh, Niraj Vasudevan, Nilesh Ananthanarayanan |
Computer-Aided Interpreter for Hearing and Speech Impaired. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICSyN ![In: Fourth International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2012, Phuket, Thailand, July 24-26, 2012, pp. 248-253, 2012, IEEE, 978-1-4673-2640-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu 0001 |
A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada., pp. 734-742, 2012, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Péter Gál, Ákos Kiss 0001 |
Implementation of an A+ Interpreter for .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012, pp. 297-302, 2012, SciTePress, 978-989-8565-19-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Daniel T. Grissom, Philip Brisk |
A high-performance online assay interpreter for digital microfluidic biochips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Great Lakes Symposium on VLSI 2012, GLSVLSI'12, Salt Lake City, UT, USA, May 3-4, 2012, pp. 103-106, 2012, ACM, 978-1-4503-1244-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Giacomo Aceto, Giuseppe Tarsitano, Frank-Walter Jaekel, Gorka Benguria |
Towards MDA Best Practice: An Innovative Interpreter for SMEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I-ESA ![In: Enterprise Interoperability V, Shaping Enterprise Interoperability in the Future Internet, Proceedings of I-ESA 2012, Valencia, Spain, March 22-23, 2012, pp. 237-246, 2012, Springer, 978-1-4471-2818-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Panagiotis D. Ritsos, Robert Gittins, Jonathan C. Roberts, Sabine Braun, Catherine Slater |
Using Virtual Reality for Interpreter-mediated Communication and Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 2012 International Conference on Cyberworlds, Darmstadt, Germany, September 25-27, 2012, pp. 191-198, 2012, IEEE Computer Society, 978-1-4673-2736-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Kunal Kadam, Rucha Ganu, Ankita Bhosekar, Sneha D. Joshi |
American Sign Language Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T4E ![In: 2012 IEEE Fourth International Conference on Technology for Education, T4E 2012, Hyderabad, India, July 18-20, 2012, pp. 157-159, 2012, IEEE Computer Society, 978-1-4673-2173-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Gergely Varró, Anthony Anjorin, Andy Schürr |
Unification of Compiled and Interpreter-Based Pattern Matching Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings, pp. 368-383, 2012, Springer, 978-3-642-31490-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Dragos Sburlan |
Observer/Interpreter P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Conf. on Membrane Computing ![In: Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, pp. 378-389, 2012, Springer, 978-3-642-36750-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Damien Nouvel |
Reconnaissance des entités nommées par exploration de règles d'annotation - Interpréter les marqueurs d'annotation comme instructions de structuration locale. (Named Entity Recognition by Mining Association Rules). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
16 | Been-Chian Chien, Shiang-Yi He |
A Generic Context Interpreter for Pervasive Context-Aware Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Handheld Comput. Res. ![In: Int. J. Handheld Comput. Res. 2(2), pp. 65-77, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Matjaz Debevc, Primoz Kosec, Andreas Holzinger |
Improving multimodal web accessibility for deaf people: sign language interpreter module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 54(1), pp. 181-199, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ryanne Dolan, Guilherme N. DeSouza |
CNN-based language and interpreter for image processing on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Emergent Distributed Syst. ![In: Int. J. Parallel Emergent Distributed Syst. 26(3), pp. 207-222, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel |
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Adam Koprowski, Henri Binsztok |
TRX: A Formally Verified Parser Interpreter ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 7(2), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, pp. 179-194, 2011, Springer, 978-3-642-24558-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Xiaohong Xiao, You Xu |
The Design and Implementation of C-like Language Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPTC ![In: 2nd International Symposium on Intelligence Information Processing and Trusted Computing, IPTC 2011, Wuhan, China, October 22-23, 2011, pp. 104-107, 2011, IEEE Computer Society, 978-1-4577-1130-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Bernard P. Serpette, Manuel Serrano |
An interpreter for server-side hop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 7th Symposium on Dynamic Languages, DLS 2011, October 24, 2011, Portland, OR, USA, pp. 1-12, 2011, ACM, 978-1-4503-0939-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Brunthaler 0001 |
Interpreter Instruction Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 164-178, 2011, Springer, 978-3-642-19860-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Vilmos Rajcsányi, Zsolt Németh |
The Chemical Machine: An Interpreter for the Higher Order Chemical Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops (1) ![In: Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011, Revised Selected Papers, Part I, pp. 181-190, 2011, Springer, 978-3-642-29736-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hussein Karaki, Haitham Akkary, Shahrokh Shahidzadeh |
X86-ARM binary hardware interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 18th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2011, Beirut, Lebanon, December 11-14, 2011, pp. 145-148, 2011, IEEE, 978-1-4577-1845-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Surender Singh Dahiya, Jitender Kumar Chhabra, Shakti Kumar |
PSO Based Pseudo Dynamic Method for Automated Test Case Generation Using Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSI (1) ![In: Advances in Swarm Intelligence - Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I, pp. 147-156, 2011, Springer, 978-3-642-21514-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ramón Zataraín-Cabada, María Lucía Barrón-Estrada, L. Edgar Parra, Carlos A. Reyes García |
Interpreter for the Deployment of Intelligent Tutoring Systems in Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: ICALT 2011, 11th IEEE International Conference on Advanced Learning Technologies, Athens, Georgia, USA, 6-8 July 2011, pp. 339-340, 2011, IEEE Computer Society, 978-0-7695-4346-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Gábor Alberti, Márton Károly |
The Implemented Human Interpreter as a Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: KEOD 2011 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Paris, France, 26-29 October, 2011, pp. 379-385, 2011, SciTePress, 978-989-8425-80-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Mark Hills 0001, Paul Klint, Tijs van der Storm, Jurgen J. Vinju |
A Case of Visitor versus Interpreter Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (49) ![In: Objects, Models, Components, Patterns - 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings, pp. 228-243, 2011, Springer, 978-3-642-21951-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Juan Ye, Graeme Stevenson, Simon Dobson, Michael J. O'Grady, Gregory M. P. O'Hare |
PI: Perceiver and interpreter of smart home datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PervasiveHealth ![In: 5th International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2011, Dublin, Ireland, May 23-26, 2011, pp. 131-138, 2011, IEEE, 978-1-61284-767-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ali Assaf 0001 |
A Common Aspect Languages Interpreter. (Un interpréteur extensible pour le prototypage des langages d'aspects). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
16 | Pierre Roux, Remi Delmas, Pierre-Loïc Garoche |
SMT-AI: an Abstract Interpreter as Oracle for k-induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPAS@SAS ![In: Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS 2010, Perpignan, France, September 17, 2010, pp. 55-68, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Richard Wiener |
Darwin's World Simulation in C#: An Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 9(1), pp. 57-63, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Charlotte Herzeel, Pascal Costanza, Theo D'Hondt |
An Extensible Interpreter Framework for Software Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 16(2), pp. 221-245, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jong Wook Kim, Ashwin Kashyap, Dekai Li, Sandilya Bhamidipati |
Efficient wikipedia-based semantic interpreter by exploiting top-k processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 19th ACM Conference on Information and Knowledge Management, CIKM 2010, Toronto, Ontario, Canada, October 26-30, 2010, pp. 1813-1816, 2010, ACM, 978-1-4503-0099-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Vincenzo Lombardo, Fabrizio Nunnari, Rossana Damiano |
A Virtual Interpreter for the Italian Sign Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings, pp. 201-207, 2010, Springer, 978-3-642-15891-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Adam Koprowski, Henri Binsztok |
TRX: A Formally Verified Parser Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 345-365, 2010, Springer, 978-3-642-11956-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Dionysus Blazakis |
Interpreter Exploitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOOT ![In: 4th USENIX Workshop on Offensive Technologies, WOOT '10, Washington, D.C., USA, August 9, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Been-Chian Chien, Shiang-Yi He |
A Genetic Context Interpreter for Context-Aware Systems in Pervasive Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings, pp. 91-100, 2010, Springer, 978-3-642-13066-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nida Aslam, Irfanullah 0002, Jonathan Loo, Martin J. Loomes, Roohullah |
A Semantic Query Interpreter framework by using knowledge bases for image search and retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSPIT ![In: Proceedings of the IEEE International Symposium on Signal Processing and Information Technology, ISSPIT 2010, December 15-18,2010, Luxor, Egypt, pp. 414-419, 2010, IEEE Computer Society, 978-1-4244-9990-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Been-Chian Chien, Shiang-Yi He |
An intelligent context interpreter based on XML schema mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA ![In: 10th International Conference on Intelligent Systems Design and Applications, ISDA 2010, November 29 - December 1, 2010, Cairo, Egypt, pp. 1308-1313, 2010, IEEE, 978-1-4244-8134-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | David Cachera, David Pichardie |
A Certified Denotational Abstract Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 9-24, 2010, Springer, 978-3-642-14051-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Primoz Kosec, Matjaz Debevc, Andreas Holzinger |
Sign Language Interpreter Module: Accessible Video Retrieval with Subtitles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP (2) ![In: Computers Helping People with Special Needs, 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010, Proceedings, Part II, pp. 221-228, 2010, Springer, 978-3-642-14099-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yerlan Akhmetov, Leo Laine, Didier Rémond, Lionel Maiffredy, Virginie Harth |
Predictive driver interpreter by using inverse model for heavy vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, pp. 174-179, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk |
Model Checking Agent Programs by Using the Program Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, pp. 219-237, 2010, Springer, 978-3-642-14976-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yu Zhang, Yongxian Liu, Xiaolan Bai |
The Research on the Intelligent Interpreter for ISO 14649 Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA (1) ![In: Advances in Computation and Intelligence - 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings, pp. 523-534, 2010, Springer, 978-3-642-16492-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|