Publikationen

2010

• Adding Causal Relationships to DL-based Action FormalismsBaader, F., Lippmann, M. & Liu, H., 2010, LTCS-Report 10-01Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• A Feature Model for an IDE4OCLChimiak-Opoka, J. & Demuth, B., 2010Publikation: Beitrag zu Konferenzen > Paper
• Analysis of Internal Logistic Systems based on Event LogsVasyutynskyy, V., Gellrich, A., Kabitzsch, K. & Wustmann, D., 2010, S. 13-16, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• Analysis of Internal Logistic Systems based on Event Logs - Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory AutomationWustmann, D., Gellrich, A., Kabitzsch, K. & VASYUTYNSKYY, V., 2010, S. 13-16, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• ANB- and ANBDmem-Encoding: Detecting Hardware Errors in SoftwareSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, S. 169-182, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• An Interface for Integrated MPI Correctness CheckingHilbrich, T., Jurenz, M., Mix, H., Brunst, H., Knupfer, A., Mueller, M. S. & Nagel, W. E., 2010, PARALLEL COMPUTING: FROM MULTICORES AND GPU'S TO PETASCALE. Chapman, B., Desprez, F., Joubert, G., Lichnewsky, A., Peters, F. & Priol, T. (Hrsg.). IOS Press, Amsterdam [u. a.], S. 693-700, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• An Ontology-Based, Cross-Application Context Modeling and Management Service.Mitschick, A., Pietschmann, S. & Meißner, K., 2010, in:  International journal on semantic web and information systems : an official publication of the Information Resources Management Association. 6, 1, S. 39-54Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Audio-haptic browser for a geographical information systemZeng, L. & Weber, G., 2010, Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. Springer, Berlin [u. a.], S. 466–473Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A unified approach to active contour snakesGosda, U., Schiekel, T. & Petersohn, U., 2010, Proceedings - 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing, ICCP10. S. 171-178, 8 S., 5606442Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Automata-Based Axiom PinpointingBaader, F. & Peñaloza, R., 2010, in: Journal of Automated Reasoning. 45, 2, S. 91-129, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Automatic feature matching between digital images and 2D representations of a laser scanner point cloudMeierhold, N., Gumhold, S., Schilling, A., Spehr, M. & Maas, H., 2010, in: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS Archives). 2010, XXXVIII/5, S. 446, 451 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Axiom Pinpointing in General TableauxBaader, F. & Peñaloza, R., 2010, in: Journal of Logic and Computation. 20, 1, S. 5-34, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Brief Announcement: Hybrid Time-Based Transactional MemoryFelber, P., Fetzer, C., Marlier, P., Nowack, M. & Riegel, T., 2010, Distributed Computing. Band 6343. S. 124-126, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Computing intensional answers to questions - An inductive logic programming approach.Cimiano, P., Rudolph, S. & Hartfiel, H., 2010, in: Data & knowledge engineering. 69, 3, S. 261-278, 18 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Control of a Vacuum Coating Process with Long Dead-Time and an Integrator: A Case StudyDementjev, A., Hensel, B., Kubin, H. & Kabitzsch, {. R. A. K., 2010Publikation: Beitrag zu Konferenzen > Paper
• Deduktion: von der Theorie zur Anwendung - Informatik-SpektrumBaader, F., Beckert, B. & Nipkow, T., 2010, in:  Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 33, 5, S. 444 - 451, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• DelViz: Untersuchen von Visualisierungsformen durch eine Klassifizierung beruhend auf Social TaggingKeck, M., Kammer, D., Wojdziak, J., Taranko, S. & Groh, R., 2010, S. 69-79, 11 S.Publikation: Beitrag zu Konferenzen > Paper
• Design and verification of systems with exogenous coordination using vereofyBaier, C., Blechmann, T., Klein, J., Klüppelholz, S. & Leister, W., 2010, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 2 Aufl., S. 97-111, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Developing Multi-touch Software through Creative DeconstructionFranke, I. S., Kammer, D., Groh, R., Happ, S., Steinhauf, J. & Schönefeld, F., 2010Publikation: Beitrag zu Konferenzen > Paper
• Ein Metamodell von Produktionssystemen als Grundlage für die automatische SimulationsmodellgenerierungRehm, M., Schönherr, O. & Schmidt, T., 2010, 6. Fachkolloquium der Wissenschaftlichen Gesellschaft für Technische Logistik (WGTL): Tagungsband. Overmeyer, L. (Hrsg.).S. 141-152, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energieeffizienz durch neue RaumautomationskonzepteHensel, B., Ploennigs, J., Kabitzsch, K. & Spelsberg, J., 2010, Konferenzband der 14. Internationalen Passivhaustagung. S. 537-538, 2 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Enhancing Single Touch Gesture Classifiers to Multitouch Support.Schmidt, M. & Weber, G., 2010, Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. S. 490-497, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Enhancing the expressiveness of fingers: multi-touch ring menus for everyday applicationsKammer, D., Lamack, F. & Groh, R., 2010, S. 259-264, 6 S.Publikation: Beitrag zu Konferenzen > Paper
• Erweiterung von Menschmodellen zur wahrnehmungskonformen SichtvisualisierungZavesky, M., Kamusella, C. & Groh, R., 2010Publikation: Beitrag zu Konferenzen > Paper
• Evaluation of AMD's advanced synchronization facility within a complete transactional memory stackChristie, D., Chung, J., Diestelhorst, S., Hohmuth, M., Pohlack, M., Fetzer, C., Nowack, M. & 4 weitere, 2010, S. 27-40, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper