|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2246 occurrences of 1341 keywords
|
|
|
Results
Found 8340 publication records. Showing 8339 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Jwu-Sheng Hu, Jyun-Ji Wang, Guan-Qun Sun |
The glove puppet robot: X-puppet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 4145-4146, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Noriko Hanakawa |
A Source-Code Based Extraction Way for Micro Processes Influencing Software Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 239-246, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ramón Zataraín-Cabada, María Lucía Barrón-Estrada, Guillermo Sandoval, J. Moisés Osorio-Velásquez, Eduardo Urías Barrientos, Carlos A. Reyes García |
Authoring Neuro-fuzzy Tutoring Systems for M and E-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 789-796, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distance Learning, Intelligent Tutoring System, Author Tool, M-Learning |
14 | Christof Lutteroth, Gerald Weber |
End-user GUI customization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHINZ ![In: Proceedings of the 9th ACM SIGCHI New Zealand Chapter's International Conference on Computer-Human Interaction: Design Centered HCI, 2008, Wellington, New Zealand, July 2, 2008, pp. 1-8, 2008, ACM, 978-1-60558-467-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
document orientation, layout manager, GUI, constraint programming, end-user development, WYSIWYG |
14 | Jens von Pilgrim, Kristian Duske |
Gef3D: a framework for two-, two-and-a-half-, and three-dimensional graphical editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2008 Symposium on Software Visualization, Ammersee, Germany, September 16-17, 2008, pp. 95-104, 2008, ACM, 978-1-60558-112-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
3D visualization, graphical editing |
14 | Hannu Mäyrä, Mauno Rönkkö |
Reverse Engineering Functional Classes: A Middleware Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 432-437, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Functional Classes, Middleware, Reverse Engineering, Decompilation, Java Bytecode |
14 | Maria De Marsico |
A User-Oriented Visual Tool for Advanced Editing of Learning Material. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 146-148, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Vatcharaphun Rajsiri, Jean-Pierre Lorré, Frédérick Bénaben, Hervé Pingaud |
Collaborative Process Definition Using An Ontology-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Enterprises and Collaborative Networks ![In: Pervasive Collaborative Networks, IFIP TC 5 WG 5.5 Ninth Working Conference on Virtual Enterprises, September 8-10, 2008, Poznan, Poland, pp. 205-212, 2008, Springer, 978-0-387-84836-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Dominik Dietrich, Ewaryst Schulz, Marc Wagner 0001 |
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 398-414, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Iván García-Magariño, Alma Gómez-Rodríguez, Juan Carlos González Moreno |
Definition of Process Models for Agent-Based Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering IX, 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers, pp. 60-73, 2008, Springer, 978-3-642-01337-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent Systems, Tool, Process, Metamodel, Development, SPEM |
14 | John William Lumley, Roger Gimson, Owen Rees |
A demonstration of a configurable editing framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2008 ACM Symposium on Document Engineering, Sao Paulo, Brazil, September 16-19, 2008, pp. 217-218, 2008, ACM, 978-1-60558-081-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
document editing, functional programming, XSLT, SVG, document construction |
14 | David H. Albonesi |
Standing on Solid Ground. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 27(1), pp. 5-6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interconnects for multicore chips, special-purpose chips, debugging, human-computer interface, microarchitecture, programmability |
14 | Hakan Erdogmus |
IEEE Software - 2007 and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(1), pp. 5-7, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software engineering, volunteer |
14 | Tom Stafford 0001, Patrick Y. K. Chau, Andrew Schwarz, Clinton R. Lanier |
From the editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 38(4), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Vit Kovalcík, Jan Flasar, Jiri Sochor |
Extensible approach to the virtual worlds editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Afrigraph ![In: Proceedings of the 5th International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2007, Grahamstown, South Africa, October 29-31, 2007, pp. 31-37, 2007, ACM, 978-1-59593-906-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
VR system, editing virtual worlds |
14 | Y. Jiang, Lide Cao, R. Sankreacha, J. Pignol |
Software tool for Breast Cancer Brachytherapy Planning using VTK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA, pp. 381-384, 2007, IEEE Computer Society, 1-4244-1327-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Frithjof Dau, Mark Sifer |
A Formalism for Navigating and Editing XML Document Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNIS ![In: Databases in Networked Information Systems, 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007, Proceedings, pp. 96-114, 2007, Springer, 978-3-540-75511-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Martyn Dade-Robertson |
Visual Scenario Representation in the Context of a Tool for Interactive Storytelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Virtual Storytelling ![In: Virtual Storytelling. Using Virtual Reality Technologies for Storytelling, 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings, pp. 3-12, 2007, Springer, 978-3-540-77037-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
INSCAPE, Interactive Story Telling, Topographical Space, GUI, Information Visualisation, Topological Space |
14 | Hans-Martin Pohl, Patrycja Tulinska, Jan-Torsten Milde |
Efficient Creation of Multi Media eLearning Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 457-465, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SCORM 2004, creation of content, transformation, modules, XSLT, eLearning, user friendly, LOM, style sheet, lesson |
14 | Sagar Sen, Benoit Baudry, Hans Vangheluwe |
Domain-Specific Model Editors with Model Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, pp. 259-270, 2007, Springer, 978-3-540-69069-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Serge Autexier, Armin Fiedler, Thomas Neumann 0006, Marc Wagner 0001 |
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 176-190, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Pradip Bose |
Looking briefly back, and then forward... ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 26(6), pp. 8-9, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer architecture, hardware |
14 | Jeanna N. Matthews |
Operating systems review: looking back and looking forward. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(1), pp. 1-2, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Michel Buffa, Fabien Gandon |
SweetWiki: semantic web enabled technologies in Wiki. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2006 International Symposium on Wikis, 2006, Odense, Denmark, August 21-23, 2006, pp. 135-136, 2006, ACM, 1-59593-413-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ontology, semantic web, Web 2.0, Wiki, social tagging |
14 | Michel Buffa, Fabien Gandon |
SweetWiki: semantic web enabled technologies in Wiki. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2006 International Symposium on Wikis, 2006, Odense, Denmark, August 21-23, 2006, pp. 69-78, 2006, ACM, 1-59593-413-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ontology, semantic web, Web 2.0, Wiki, social tagging |
14 | Cristóbal Romero 0001, Sebastián Ventura, César Hervás-Martínez, Paul De Bra |
An Authoring Tool for Building Both Mobile Adaptable Tests and Web-Based Adaptive or Classic Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings, pp. 203-212, 2006, Springer, 3-540-34696-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | William R. Cook |
Peak Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings, pp. 180-185, 2006, Springer, 3-540-35726-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Vincenzo Bonifaci, Camil Demetrescu, Irene Finocchi, Luigi Laura |
Visual editing of animated algorithms: the Leonardo Web builder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2006, Venezia, Italy, May 23-26, 2006, pp. 476-479, 2006, ACM Press, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
visual interfaces, algorithms animation |
14 | Jie Bao 0001, Zhiliang Hu, Doina Caragea, James M. Reecy, Vasant G. Honavar |
A Tool for Collaborative Construction of Large Biological Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 4-8 September 2006, Krakow, Poland, pp. 191-195, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Filipe Barrenho, Teresa Romão, Tiago Martins, Nuno Correia 0001 |
InAuthoring environment: interfaces for creating spatial stories and gaming activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2006, Hollywood, California, USA, June 14-16, 2006, pp. 9, 2006, ACM, 1-59593-380-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
spatial stories and games, storyboard authoring, hypermedia, interactive storytelling, visual interfaces, mobile multimedia, location based systems |
14 | Yuzuru Tanaka |
Knowledge media and meme media architectures from the viewpoint of the phenotype-genotype mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 24th Annual International Conference on Design of Communication, SIGDOC 2006, Myrtle Beach, SC, USA, October 18-20, 2006, pp. 3-10, 2006, ACM, 1-59593-523-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
knowledge media architecture, meme media architecture, reediting, genotype, phenotype, redistribution, DOM tree, compound document |
14 | Jason Kealey, Daniel Amyot |
Towards the Automated Conversion of Natural-Language use Cases to Graphical use Case Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 2377-2380, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Stahl, Jens Haupert |
Taking Location Modelling to New Levels: A Map Modelling Toolkit for Intelligent Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCA ![In: Location- and Context-Awareness, Second International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006, Proceedings, pp. 74-85, 2006, Springer, 3-540-34150-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
geometric location modelling, intelligent environment, pedestrian navigation |
14 | Youwei Xu, Shengqun Tang, Yan Yang, Yang Xu 0016 |
Towards a Selective Inference Platform Based on OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 544-547, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Gerald Stieglbauer, Andreas Werner |
Modellierung von deterministischer Software in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 19(4), pp. 189-193, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Embedded realtime systems, Model-based software development, Software architecture, Code generation, Model generation, Digital controllers |
14 | Peter B. Henderson |
Software Engineering Education (SEEd). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 6, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik |
SVG Web Environment for Z Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 480-494, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Z formal specification language, Web based tool support, Scalable Vector Graphics |
14 | Ella Tallyn, Boriana Koleva, Brian Logan 0001, Dan Fielding, Steve Benford, Giulia Gelmini-Hornsby, Neil Madden |
Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Virtual Storytelling ![In: Virtual Storytelling, Using Virtual Reality Technologies for Storytelling, Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005, Proceedings, pp. 179-188, 2005, Springer, 3-540-30511-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Krzysztof Czarnecki 0001, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek |
fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 200-201, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model-driven development, software-product lines, feature modeling, variability management, product configuration |
14 | Dirk Burmeister |
The Exchangeability of Speech by Cognitive Metaphors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 9th International Conference on Information Visualisation, IV 2005, 6-8 July 2005, London, UK, pp. 89-96, 2005, IEEE Computer Society, 0-7695-2397-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Minoru Uehara |
Web CC: A WBT System of Programming for Beginners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 89-93, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | João Porto de Albuquerque, Holger Isenberg, Heiko Krumm, Paulo Lício de Geus |
Improving the Configuration Management of Large Network Security Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSOM ![In: Ambient Networks, 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings, pp. 36-47, 2005, Springer, 3-540-29388-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Tal Sobol Shikler, Peter Robinson 0001 |
Affect Editing in Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACII ![In: Affective Computing and Intelligent Interaction, First International Conference, ACII 2005, Beijing, China, October 22-24, 2005, Proceedings, pp. 411-418, 2005, Springer, 3-540-29621-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert |
Visual Specifications of Correct Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 189-196, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Draxler |
WebTranscribe - An Extensible Web-Based Speech Annotation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005, Proceedings, pp. 61-68, 2005, Springer, 3-540-28789-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Don Stewart, Manuel M. T. Chakravarty |
Dynamic applications from the ground up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 27-38, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
functional programming, dynamic update, extension languages, hot swapping, dynamic applications |
14 | Jonathan Edwards |
Example centric programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 39(12), pp. 84-91, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
integrated development, debugging, eclipse, unit testing, environment, examples |
14 | Dorothy E. Leidner, Wynne W. Chin |
From the editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 35(3), pp. 4, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Edwards |
Example centric programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 124, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
debugging, eclipse, unit testing, integrated development environment, examples |
14 | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
An Algebraic Approach to Bi-directional Updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 2-20, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jesús Favela, Hiroshi Natsu, Cynthia B. Pérez, Omar Robles, Alberto L. Morán, Raul Romero, Ana María Martínez Enríquez, Dominique Decouchant |
Empirical Evaluation of Collaborative Support for Distributed Pair Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation and Use: 10th International Workshop, CRIWG 2004, San Carlos, Costa Rica, September 5-9, 2004. Proceedings, pp. 215-222, 2004, Springer, 3-540-23016-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kimiaki Shirahama, Yuya Matsuo, Kuniaki Uehara |
Mining Semantic Structures in Movies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 116-133, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Steve Whittaker 0001, Brian Amento |
Semantic speech editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 527-534, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
acoustic representations, speech browsing, speech editing, speech recognition, transcripts, speech retrieval |
14 | Sang-Gyu Jeon, Gihun Son |
Development of a Power Plant Simulation Tool with Component Expansibility Based on Object Oriented Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 222-229, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Rolf Schwitter |
Representing Knowledge in Controlled Natural Language: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part I, pp. 711-717, 2004, Springer, 3-540-23318-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Andrew Begel |
Spoken Language Support for Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy, pp. 271-272, 2004, IEEE Computer Society, 0-7803-8696-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Michael Toomim, Andrew Begel, Susan L. Graham |
Managing Duplicated Code with Linked Editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy, pp. 173-180, 2004, IEEE Computer Society, 0-7803-8696-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Chien-Chang Hsu, Chang-Wen Deng |
An Intelligent Interface for Customer Behaviour Analysis from Interaction Activities in Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 315-324, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Sitt Sen Chok, Kim Marriott |
Automatic generation of intelligent diagram editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 10(3), pp. 244-276, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Constraint multi-set grammars, diagram interaction, diagram parsing, intelligent diagram, constraint solving, pen-based computing |
14 | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
Generic Graphical User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 152-167, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson |
The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, pp. 164-, 2003, IEEE Computer Society, 0-7695-2011-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Huan Jin, Carsten Maple |
A Generic Visualisation and Editing Tool for Hierarchical and Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: Seventh International Conference on Information Visualization, IV 2003, 16-18 July 2003, London, UK, pp. 281-286, 2003, IEEE Computer Society, 0-7695-1988-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Moldt, Heiko Rölke |
Pattern Based Workflow Design Using Reference Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings, pp. 246-260, 2003, Springer, 3-540-40318-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
workflow, patterns, IDE, high-level Petri nets, workflow patterns, Renew, Reference nets, nets within nets |
14 | Mikhail Kazakov, Habib Abdulrab |
A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Metainformatics ![In: Metainformatics, International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers, pp. 17-33, 2003, Springer, 3-540-22010-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Mee Young Sung, Do Hyung Lee |
A Collaborative Multimedia Authoring System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 311-318, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Ki-Hwa Lee, Eui-Hyun Jung, Hang-Bong Kang, Yong-Jin Park |
A New Agent Framework with Behavior Delegation Using SOAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings, pp. 313-323, 2003, Springer, 3-540-02354-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jinyoung Moon, Daeha Lee, Chankyu Park, Hyunkyu Cho |
ebXML BP Modeling Toolkit . ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 16-19 September 2003, Brisbane, Australia, Proceedings, pp. 296-301, 2003, IEEE Computer Society, 0-7695-1994-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jessica K. Hodgins |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 21(2), pp. 87, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer |
LISA: An Interactive Environment for Programming Language Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 1-4, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Yannis Papakonstantinou, Michalis Petropoulos, Vasilis Vassalos |
QURSED: querying and reporting semistructured data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, Madison, Wisconsin, USA, June 3-6, 2002, pp. 192-203, 2002, ACM, 1-58113-497-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XML |
14 | Hong Chen, Nanning Zheng 0001, Lin Liang, Yan Li, Ying-Qing Xu, Heung-Yeung Shum |
PicToon: a personalized image-based cartoon system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 10th ACM International Conference on Multimedia 2002, Juan les Pins, France, December 1-6, 2002., pp. 171-178, 2002, ACM, 1-58113-620-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multi-modal interaction and integration, non-parametric sampling, user interfaces, applications, lip-syncing, example-based learning |
14 | Yuya Matsuo, Miki Amano, Kuniaki Uehara |
Mining video editing rules in video streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 10th ACM International Conference on Multimedia 2002, Juan les Pins, France, December 1-6, 2002., pp. 255-258, 2002, ACM, 1-58113-620-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
shot size, video grammar, video material, data mining, video editing |
14 | Mario Batusic, Franz Urban |
Preparing Tactile Graphics for Traditional Braille Printers with BrlGraphEditor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings, pp. 535-536, 2002, Springer, 3-540-43904-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Mats Blomquist |
Braille Contractions in WinBraille. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings, pp. 602-609, 2002, Springer, 3-540-43904-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Bruce H. Thomas, Paul R. Calder |
Applying cartoon animation techniques to graphical user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 8(3), pp. 198-222, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Animation, graphical user interfaces, direct manipulation, graphics, toolkits |
14 | Kang Zhang 0001, Da-Qian Zhang, Jiannong Cao 0001 |
Design, Construction, and Application of a Generic Visual Language Generation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(4), pp. 289-307, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Visual programming, visual languages, graph grammar, language construction |
14 | Michael Priestley |
Writing, designing, and processing information in the Darwin information typing architecture (DITA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: The Nineteenth Annual International Conference of Computer Documentation: Communicating in the New Millennium, SIGDOC 2001, Santa Fe, New Mexico, USA, October 21-24, 2001, pp. 226, 2001, ACM, 1-58113-295-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML |
14 | Eugene Fiume |
Alain Fournier, 1943-2000: an appreciation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 19(4), pp. 243-245, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Gregory R. Crane, Jeffrey A. Rydberg-Cox |
New technology and new roles: the need for "corpus editors". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM DL ![In: Proceedings of the Fifth ACM Conference on Digital Libraries, June 2-7, 2000, San Antonio, TX, USA, pp. 252-253, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
hypertext, editing, corpus linguistics |
14 | Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer |
Compiler/Interpreter Generator System LISA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Robert S. Brewer |
Improving problem-oriented mailing list archives with MCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 95-104, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
knowledge condensation, archives, mailing lists, collective memory |
14 | Robert H. Meyer, Louis A. Oddo, Shannon P. McDonald |
A Software Tool to Predict SAR Signatures for Building Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: 29th Applied Image Pattern Recognition Workshop (AIPR 2000), 16-18 October 2000, Washington, DC, USA, Proceedings, pp. 245-251, 2000, IEEE Computer Society, 0-7695-0978-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Valérie Issarny, Michel Banâtre, Boris Charpiot, Jean-Marc Menaud |
Quality of Service and Electronic Newspaper: The Etel Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Distributed Systems ![In: Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems, pp. 472-496, 1999, Springer, 3-540-67196-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Haruo Takeda, Masami Yamasaki, Toshio Moriya, Tsuyoshi Minakawa, Fumiko Beniyama, Takafumi Koike |
A video-based virtual reality system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 1999, London, UK, December 20-22, 1999., pp. 19-25, 1999, ACM, 1-58113-141-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ivan A. Lisitsyn, Victor N. Kasyanov |
Higres - Visualization System for Clustered Graphs and Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 7th International Symposium, GD'99, Stirín Castle, Czech Republic, September 1999, Proceedings, pp. 82-89, 1999, Springer, 3-540-66904-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ignacio Gil, Peter M. D. Gray, Graham J. L. Kemp |
A Visual Interface and Navigator for the P/FDM Object Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIDIS ![In: 1999 User Interfaces to Data Intensive Systems, UIDIS 1999, Edinburgh, Scotland, September 5-6, 1999, pp. 54-63, 1999, IEEE Computer Society, 0-7695-0262-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Hugo De Man |
Design Technology Research and Education for Deep-Submicron Systems of the Next Century. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 17th IEEE VLSI Test Symposium (VTS '99), 25-30 April 1999, San Diego, CA, USA, pp. 8-15, 1999, IEEE Computer Society, 0-7695-0146-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Are Uppman, Jean-Marc Champarnaud |
Autographe: A Graphical Version of Automate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Implementing Automata ![In: Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, pp. 226-229, 1998, Springer, 3-540-66652-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | M. Lusini, Enrico Vicario |
Engineering the usability of visual formalisms: a case study in real time logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24 - 27, 1998, pp. 114-123, 1998, ACM Press. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
usability engineering, visual formalisms, computer aided verification, real time logics |
14 | Joanne E. Zucco, Bruce H. Thomas, Elena Trichina |
Interactive animation for visualisation of mapping of parallel programs into parallel processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part III, pp. 386-395, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | M. Lusini, Enrico Vicario |
Design and Evaluation of a Visual Formalism for Real Time Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Services and Visualization: Towards User-Friendly Design ![In: Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers, pp. 158-173, 1998, Springer, 3-540-64367-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | |
Hardware-Software Codesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 14(1), pp. 75-83, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Andrew Hussey, David A. Carrington |
Specifying the UQ* user-interface with Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 374-, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
formal methods, specification, Human-computer interface, Object-Z |
14 | Jens-Uwe Möller, Detlev Wiese |
Editing Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996, Proceedings, pp. 175-187, 1996, Springer, 3-540-61534-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Gerhard Viehstaedt, Mark Minas |
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 7th International Conference, CAiSE'95, Jyväskylä, Finland, June 12-16, 1995, Proceedings, pp. 243-254, 1995, Springer, 3-540-59498-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | J. Artur Serrano |
The Use of Semantic Constraints on Diagram Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 211-216, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
diagram editors, state transition networks, entity-relationship data model, unfriendly system, automatic diagram validation, Petri nets, graphical user interfaces, software tools, software tools, visual programming, visual programming, diagrams, graphical interface, semantic constraints, user guidance |
14 | Wei Li 0022 |
A Logical Framework for Evolution of Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 394-408, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Michael Löwe, Martin Beyer |
AGG - An Implementation of Algebraic Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 451-456, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Michel Wermelinger, José Gabriel Lopes |
An X-Windows Toolkit for Knowledge Acquisition and Representation Based on Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Conceptual Graphs ![In: Conceptual Structures: Theory and Implementation, 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992, Proceedings, pp. 262-271, 1992, Springer, 3-540-57454-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
knowledge representation, natural language processing, graphical interfaces, conceptual structures |
14 | Jun Li, Allen A. Rovick, Joel A. Michael |
ABASE: A Hypermedia-based Tutoring and Authoring System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings, pp. 380-390, 1992, Springer, 3-540-55578-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 8339 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|