FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint solving for interpolationJournal of Symbolic Computation. Bd. 45. H. 11. Amsterdam: Elsevier 2010 S. 1212 - 1233
Graf, Felix; Grzegorzek, Marcin; Paulus, Dietrich
Counting Lymphocytes in Histopathology Images Using Connected ComponentsDevrim Ünay; Zehra Çataltepe; Selim Aksoy (Hrsg). Recognizing Patterns in Signals, Speech, Images and Videos: ICPR 2010 Contests, Istanbul, Turkey, August 23-26, 2010, Contest Reports. Berlin: Springer 2010 S. 263 - 269
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Cryptographic Security Verification for C by Symbolic Execution: A 5-minute presentationComputer Security Foundations Symposium (CSF). 2010
Lampathaki, Fenareti; Charalabidis, Yannis; Passas, Spyros et al.
Defining a Taxonomy for Research Areas on ICT for Governance and Policy ModellingMaria A. Wimmer;Jean-Loub Chappelet;Marijn Janssen;H. Jochen Scholl (Hrsg). Electronic Government: 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010 Proceedings. Berlin: Springer 2010 S. 60 - 71
Decker, Peter; Thierfelder, Susanne; Paulus, Dietrich et al.
Dense Statistic Versus Sparse Feature-Based Approach for 3D Object RecognitionYuri Zhuravlev; Igor Gurevich; Vladimir Kutuzov; Heinrich Niemann (Hrsg). 10-ja Meždunarodnaja Konferencija "Identifikacija Častic i Analiz Izobraženij: Novye Informacionnye Technologii": PRIA-10-2010, 5 - 12 dekabrja 2010, Sankt-Peterburg ; materialy konferencii - 10th International Conference "Pattern Recognition and Image Analysis: New Information Technologies": PRIA-10-2010, 5 - 12 Dezember 2010, Sankt-Peterburg. Sankt-Peterburg: Politechnika 2010 S. 181 - 184
Lindermann, Nadine; Valcárcel, Sylvia; von Kortzfleisch, Harald F. O.
Der Einzug von Web 2.0 in ein regionales KMU-Netzwerk - Ein Forschungsprojekt zieht ZwischenbilanzUlrike Schroeder (Hrsg). Interaktive Kulturen: Workshop-Band; Proceedings der Workshops der Mensch & Computer 2010 - 10. Fachübergreifende Konferenz für Interaktive und Kooperative Medien, DeLFI 2010 - Die 8. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. und der Entertainment Interfaces 2010; Duisburg, 12.-15. September 2010. Berlin: Logos 2010 S. 37 - 41
Ameling, Stefan; Wirth, Stephan; Shevchenko, Nikita et al.
Detection of Lesions in Colonoscopic Images: A ReviewOlaf Dössel; Wolfgang C. Schlegel (Hrsg). World Congress on Medical Physics and Biomedical Engineering, September 7 - 12, 2009, Munich, Germany: Vol. 25/4 Image Processing, Biosignal Processing, Modelling and Simulation, Biomechanics. Berlin: Springer 2010 S. 995 - 998 (978-3-642-03897-6)
Hardy, Catherine A.; Williams, Susan P.
Developing an Information Capability - Developing Practioner Survey Focus Group FindingsSydney: University of Sydney 2010 S. 1 - 30
Ringelstein, Christoph; Staab, Steffen
DiALog: A Distributed Model for Capturing Provenance and Auditing InformationInternational Journal of Web Services Research. Bd. 7. H. 2. Hershey, PA: IGI Global 2010 S. 1 - 20
d’Amato, Claudia; Staab, Steffen; Fanizzi, Nicola et al.
Dl-Link: a Conceptual Clustering Algorithm for Indexing Description Logics Knowledge BasesInternational Journal of Semantic Computing. Bd. 4. H. 4. Singapore: World Scientific Publishing 2010 S. 453 - 486