Publikationen

2010

• ARM TrustZone as a Virtualization Technique in Embedded SystemsLackorzynski, A., Frenzel, T., Härtig, H. & Warg, A., Okt. 2010, Proceedings of Twelfth Real-Time Linux Workshop. Nairobe, KenyaPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Generic Virtualization with Virtual ProcessorsLackorzynski, A., Warg, A. & Peter, M., Okt. 2010, Proceedings of Twelfth Real-Time Linux Workshop. Nairobi, KenyaPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Rule-Based Language for Complex Event Processing and ReasoningAnicic, D., Fodor, P., Rudolph, S., Stühmer, R., Stojanovic, N. & Studer, R., 1 Sept. 2010, Web Reasoning and Rule Systems - Fourth International Conference. Hitzler, P. & Lukasiewicz, T. (Hrsg.). Springer, Berlin [u. a.], S. 42-57, 16 S., (LNCS)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• cf2 Semantics RevisitedGaggl, S. A. & Woltran, S., 1 Sept. 2010, Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010). Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 216. S. 243-254, 12 S., (Frontiers in Artificial Intelligence and Applications)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Non-intrusive Performance Analysis of Parallel Hardware Accelerated Applications on Hybrid ArchitecturesDietrich, R., Ilsche, T. & Juckeland, G., 1 Sept. 2010, 2010 39th International Conference on Parallel Processing Workshops. Wiley-IEEE Press, S. 135-143, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic NetworksWojtinnek, P., Harrington, B., Rudolph, S. & Pulman, S., 1 Juli 2010, Conceptual Structures: From Information to Intelligence . Croitoru, M., Ferré, S. & Lukose, D. (Hrsg.). Springer, Berlin [u. a.], Band 6208. S. 203-206, 4 S., (LNCS)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards a General Argumentation System based on Answer-Set ProgrammingGaggl, S. A., 1 Juli 2010, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). Hermenegildo, M. V. & Schaub, T. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Band 7. S. 265-269, 5 S., (LIPIcs)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Status QIO: Conjunctive Query Entailment is DecidableGlimm, B. & Rudolph, S., 1 Mai 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (Hrsg.). AAAI Press, S. 225-235, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Ortiz, M., Rudolph, S. & Simkus, M., 1 Mai 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10). Lin, F., Sattler, U. & Truszczynski, M. (Hrsg.). AAAI Press, S. 269-279, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Decentralized Traffic Information Systems and Adaptive Rerouting in Urban ScenariosSommer, C., German, R. & Dressler, F., 1 März 2010, 29th IEEE Conference on Computer Communications (INFOCOM 2010), Demo Session. San Diego, CA: IEEEPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 InformationssystemenElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. S. 469-474, 6 S., 5694296Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Compiler Framework for Speculative ParallelizationSüßkraut, M., Knauth, T., Weigert, S., Schiffel, U., Meinhold, M. & Fetzer, C., 2010, S. 131-140, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• 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
• 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. S. 474-481, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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