Publikationen

2012

• A Generic Querying Algorithm for Greedy Sets of Existential RulesThomazo, M., Baget, J., Mugnier, M. & Rudolph, S., 2012, Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12). AAAI PressPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted OntologiesBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12). S. 493-504, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxesBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 25th International Workshop on Description Logics (DL'12). S. 37-47, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A high-throughput in-memory index, durable on flash-based SSD: insights into the winning solution of the SIGMOD programming contest 2011Kissinger, T., Schlegel, B., Böhm, M., Habich, D. & Lehner, W., 2012, in: SIGMOD Rec.. 41, 3, S. 44-50Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Aktueller Stand des ESF-Projektes der Nachwuchsforschergruppe Cognitive Interface Technologies (CogITo)Franke, I. S., Gründer, T., Knöfel, A., Müller, M. & Walther, S., 2012Publikation: Beitrag zu Konferenzen > Paper
• An adaptive PI controller for room temperature control with level-crossing samplingHensel, B., Vasyutynskyy, V., Ploennigs, J. & Kabitzsch, K., 2012, Proceedings of the 2012 UKACC International Conference on Control, CONTROL 2012Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Approximating Quality Contracts for Energy Auto-Tuning SoftwareGötz, S., Wilke, C., Richly, S. & Aßmann, U., 2012Publikation: Beitrag zu Konferenzen > Paper
• A quantitative evaluation approach for cognitive maps of blind peopleMiao, M. & Weber, G., 2012, SKALID 2012 Spatial Knowledge Acquisition with Limited Information Displays 2012: Proceedings of the Workshop on Spatial Knowledge Acquisition with Limited Information Displays 2012. S. 37-42Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A simple PI controller tuning rule for sensor energy efficiency with level-crossing samplingHensel, B., Ploennigs, J., Vasyutynskyy, V. & Kabitzsch, K., 2012, International Multi-Conference on Systems, Signals and Devices, SSD 2012 - Summary ProceedingsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Sound and Complete Backward Chaining Algorithm for Existential RulesKönig, M., Leclère, M., Mugnier, M. & Thomazo, M., 2012, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012). Springer Open, S. 122-138, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Assessing the impact of the social network on marking photos as favorites in flickr.Alves, L. O., Maciel, M., Ponciano, L. & Brito, A., 2012, WebMedia '12: Proceedings of the 18th Brazilian symposium on Multimedia and the web. S. 79-82, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Survey of Variation Techniques for Repetitive Games MusicBerndt, A., Dachselt, R. & Groh, R., 2012Publikation: Beitrag zu Konferenzen > Paper
• A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan LatticesBorgwardt, S. & Peñaloza, R., 2012, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012). S. 9-24, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Audio-haptic you-are-here maps on a mobile touch-enabled pin-matrix displayZeng, L., Weber, G. & Baumann, U., 2012, Proceedings - 2012 IEEE Symposium on Haptic Audio-Visual Environments and Games, HAVE 2012Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Barrierefreiheit durch Personalisierung und KollaborationLoitsch, C. & Weber, G., 2012, S. 135-143Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• BASont - A modular, adaptive building automation system ontologyPloennigs, J., Hensel, B., Dibowski, H. & Kabitzsch, K., 2012, IECON Proceedings (Industrial Electronics Conference)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Beyond Forms and Tables - A Visual and Task-oriented Approach to ERP SystemsLambeck, C., Kirchner, B. & Leyh, C., 2012Publikation: Beitrag zu Konferenzen > Paper
• BILD – RAUM – LEIB. Definitionsversuche eines subjektbezogenen InteraktionsraumsGroh, R., Lapczyna, E. & Hannß, F., 2012, S. 2-6, 5 S.Publikation: Beitrag zu Konferenzen > Paper
• Bridging the gap: advances in interaction design for enterprise applications in production scenariosLambeck, C., Kammer, D., Weyprecht, P. & Groh, R., 2012Publikation: Beitrag zu Konferenzen > Paper
• Brief Announcement: Fast Travellers: Infrastructure-Independent Deadlock Resolution in Resource-restricted Distributed SystemsErtel, S., Fetzer, C. & Beckerle, M., 2012, Distributed Computing. Band 7611. S. 433-434, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Building information modeling supporting facilities managementForns-Samso, F., Laine, T. & Hensel, B., 2012, eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2012, ECPPM 2012Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Business Oriented Design of Collaborative ApplicationsMüller, M., Franke, I. S., Kammer, D. & Groh, R., 2012Publikation: Beitrag zu Konferenzen > Paper
• Changing Concepts In Human-Computer Interaction In Real-Time Enterprise SystemsLambeck, C., Schmalzried, D., Alt, R. & Groh, R., 2012Publikation: Beitrag zu Konferenzen > Paper
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System CodeBaier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 weitere, 2012, Proceedings Seventh Conference on Systems Software Verification. Cassez, F., Huuck, R., Klein, G. & Schlich, B. (Hrsg.).S. 156-166, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Combining three ways of conveying knowledge: Modularization of domain, terminological, and linguistic knowledge in ontologiesDeclerck, T. & Gromann, D., 2012, Proceedings of the 6th International Workshop on Modular Ontologies, Graz, Austria. Schneider, T. & Walther, D. (Hrsg.). CEUR Workshop Proceedings, Band 875. S. 28-40, 13 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband