Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

18349 Publications


2014 | Conference Paper | LibreCat-ID: 25148
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25150
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25155
Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems
M. Becker, C. Kuznik, W. Müller, in: ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
Evaluation of Color Spaces for Robust Image Segmentation
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25162
Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure
C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25179
Online Model Checking
F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 147–152.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25489
Hybrid Acquisition of Temporal Scopes for RDF Data
A. Rula, M. Palmonari, A.-C. Ngonga Ngomo, D. Gerber, J. Lehmann, L. Bühmann, in: V. Presutti, C. d’Amato, F. Gandon, M. d’Aquin, S. Staab, A. Tordai (Eds.), The Semantic Web: Trends and Challenges - 11th International Conference, {ESWC} 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings, Springer, 2014, pp. 488–503.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25491
conTEXT - Lightweight Text Analytics Using Linked Data
A. Khalili, S. Auer, A.-C. Ngonga Ngomo, in: V. Presutti, C. d’Amato, F. Gandon, M. d’Aquin, S. Staab, A. Tordai (Eds.), The Semantic Web: Trends and Challenges - 11th International Conference, {ESWC} 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings, Springer, 2014, pp. 628–643.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25477
Question Answering over Linked Data (QALD-4)
C. Unger, C. Forascu, V. López, A.-C. Ngonga Ngomo, E. Cabrio, P. Cimiano, S. Walter, in: L. Cappellato, N. Ferro, M. Halvey, W. Kraaij (Eds.), Working Notes for {CLEF} 2014 Conference, Sheffield, UK, September 15-18, 2014, CEUR-WS.org, 2014, pp. 1172–1180.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25509
Ensemble Learning for Named Entity Recognition
R. Speck, A.-C. Ngonga Ngomo, in: P. Mika, T. Tudorache, A. Bernstein, C. Welty, C. A. Knoblock, D. Vrandecic, P. Groth, N. F. Noy, K. Janowicz, C. A. Goble (Eds.), The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference, Riva Del Garda, Italy, October 19-23, 2014. Proceedings, Part {I}, Springer, 2014, pp. 519–534.
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Export / Embed