Publications

2010

• Towards a General Argumentation System based on Answer-Set ProgrammingGaggl, S. A., 1 Jul 2010, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). Hermenegildo, M. V. & Schaub, T. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 7. p. 265-269, 5 p., (LIPIcs)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Status QIO: Conjunctive Query Entailment is DecidableGlimm, B. & Rudolph, S., 1 May 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (eds.). AAAI Press, p. 225-235, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Ortiz, M., Rudolph, S. & Simkus, M., 1 May 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (eds.). AAAI Press, p. 269-279, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Decentralized Traffic Information Systems and Adaptive Rerouting in Urban ScenariosSommer, C., German, R. & Dressler, F., 1 Mar 2010, 29th IEEE Conference on Computer Communications (INFOCOM 2010), Demo Session. San Diego, CA: IEEEResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving the Accuracy of IVC Simulation Using Crowd-sourced GeodataSommer, C., Eckhoff, D. & Dressler, F., Jan 2010, In: Praxis der Informationsverarbeitung und Kommunikation : PIK : Fachzeitschrift für den Einsatz von InformationssystemenElectronic (full-text) versionResearch output: Contribution to journal > Research article
• A comparison of hardware acceleration interfaces in a customizable soft core processorHempel, G., Hochberger, C. & Koch, A., 2010, Proceedings - 2010 International Conference on Field Programmable Logic and Applications, FPL 2010. p. 469-474, 6 p., 5694296Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Compiler Framework for Speculative ParallelizationSüßkraut, M., Knauth, T., Weigert, S., Schiffel, U., Meinhold, M. & Fetzer, C., 2010, p. 131-140, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Adding Causal Relationships to DL-based Action FormalismsBaader, F., Lippmann, M. & Liu, H., 2010, LTCS-Report 10-01Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• A Feature Model for an IDE4OCLChimiak-Opoka, J. & Demuth, B., 2010Research output: Contribution to conferences > Paper
• A Graphical Tactile Screen-Explorer.Spindler, M., Kraus, M. & Weber, G., 2010, Computers Helping People with Special Needs : 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. p. 474-481, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Analysis of Internal Logistic Systems based on Event LogsVasyutynskyy, V., Gellrich, A., Kabitzsch, K. & Wustmann, D., 2010, p. 13-16, 4 p.Research output: Contribution to conferences > 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, p. 13-16, 4 p.Research output: Contribution to conferences > Paper
• ANB- and ANBDmem-Encoding: Detecting Hardware Errors in SoftwareSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, p. 169-182, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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. (eds.). IOS Press, Amsterdam [u. a.], p. 693-700, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 39-54Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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.], p. 466–473Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 171-178, 8 p., 5606442Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Automata-Based Axiom PinpointingBaader, F. & Peñaloza, R., 2010, In: Journal of Automated Reasoning. 45, 2, p. 91-129, 39 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 446, 451 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Axiom Pinpointing in General TableauxBaader, F. & Peñaloza, R., 2010, In: Journal of Logic and Computation. 20, 1, p. 5-34, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Brief Announcement: Hybrid Time-Based Transactional MemoryFelber, P., Fetzer, C., Marlier, P., Nowack, M. & Riegel, T., 2010, Distributed Computing. Vol. 6343. p. 124-126, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Computing intensional answers to questions - An inductive logic programming approach.Cimiano, P., Rudolph, S. & Hartfiel, H., 2010, In: Data & knowledge engineering. 69, 3, p. 261-278, 18 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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., 2010Research output: Contribution to conferences > 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, p. 444 - 451, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• DelViz: Untersuchen von Visualisierungsformen durch eine Klassifizierung beruhend auf Social TaggingKeck, M., Kammer, D., Wojdziak, J., Taranko, S. & Groh, R., 2010, p. 69-79, 11 p.Research output: Contribution to conferences > Paper