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.

5692 Publications


2012 | Bachelorsthesis | LibreCat-ID: 607
Haarhoff T. Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2. Universität Paderborn; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 608
Timm N, Wehrheim H, Czech M. Heuristic-Guided Abstraction Refinement for Concurrent Systems. In: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). LNCS. ; 2012:348-363. doi:10.1007/978-3-642-34281-3_25
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 619
Brandes P, Meyer auf der Heide F. Distributed Computing in Fault-Prone Dynamic Networks. In: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS). ICPS. ; 2012:9-14. doi:10.1145/2414815.2414818
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 622
Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications. In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST. ; 2012. doi:10.14279/tuj.eceasst.47.718
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 623
Richa AW, Scheideler C, Schmid S, Zhang J. Competitive and fair throughput for co-existing networks under adversarial interference. In: Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC). ; 2012:291-300. doi:10.1145/2332432.2332488
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 625
Schmid S, Avin C, Scheideler C, Häupler B, Lotker Z. Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:439-440. doi:10.1007/978-3-642-33651-5_47
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 6250
Paelke V, Nebe K, Geiger C, Klompmaker F, Fischer HG. Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications. ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences. 2012;XXXIX-B8:55-60. doi:10.5194/isprsarchives-xxxix-b8-55-2012
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 626
Kniesburges S, Scheideler C. Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:435-436. doi:10.1007/978-3-642-33651-5_45
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 627
Wonisch D. Block Abstraction Memoization for CPAchecker. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. ; 2012:531-533. doi:10.1007/978-3-642-28756-5_41
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr A, Huellmann (married name: Eikel) M, Kling P, Setzer A. Basic Network Creation Games with Communication Interests. In: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2012:72--83. doi:10.1007/978-3-642-33996-7_7
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 6285
Paelke V, Nebe K, Geiger C, Klompmaker F, Fischer HG. Designing Multi-Modal Map-Based Interfaces for Disaster Management. In: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI). IARIA; 2012:95-100.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 6286
Klompmaker F, Fischer HG, Jung H. Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops. In: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI). IARIA; 2012:141-144.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 6288
Fischer HG. Integrating usability engineering in the software development lifecycle based on international standards. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS ’12. ACM Press; 2012. doi:10.1145/2305484.2305541
LibreCat | DOI
 

2012 | Bachelorsthesis | LibreCat-ID: 629
Schleiter P. Attribute-basierte Verschlüsselung. Universität Paderborn; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 6290
Fischer HG, Klompmaker F. Enriching Disaster Control Management based on Human-Computer Design. In: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM). ISCRAM Digital Library; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 6291
Fischer HG, Geis T, Kluge O, Bogner C, Polkehn K. Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten. In: Jahresband Usability Professionals. German UPA; 2012:160-165.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 630
Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR). ; 2012:255-264. doi:10.1109/CSMR.2012.33
LibreCat | Files available | DOI
 

2012 | Report | LibreCat-ID: 6312
Behrenbruch K, Bogner C, Fischer HG, et al. German UPA Qualitätsstandard für Usability Engineering.; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 632
Kolman P, Scheideler C. Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case. In: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA). ; 2012:800-810. doi:10.1137/1.9781611973099.64
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide F, Pietrzyk P, Kling P. An Algorithm for Facility Leasing. In: Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO). LNCS. ; 2012:61-72. doi:10.1007/978-3-642-31104-8_6
LibreCat | Files available | DOI
 

2012 | Bachelorsthesis | LibreCat-ID: 638
Eidens F. Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 639
Huma Z, Gerth C, Engels G, Juwig O. A UML-based Rich Service Description for Automatic Service Discovery. In: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering. CEUR Workshop Proceedings. ; 2012:90--97.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 640
Kniesburges S, Koutsopoulos A, Scheideler C. A Self-Stabilization Process for Small-World Networks. In: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2012:1261--1271. doi:10.1109/IPDPS.2012.115
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 7339
Dumslaff U, Engels G, Kremer M. IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung. OBJEKTspektrum. 2012;(Nr. 5):52-57.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 7340
Luckey M, Erwig M, Engels G. Systematic evolution of model-based spreadsheet applications. Journal of Visual Languages & Computing. 2012;23(5):267-286. doi:10.1016/j.jvlc.2011.11.009
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 7342
Chernilovskaya A, Gehrke M, van Rooijen L. Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL. 2012;20(6):1110-1132. doi:10.1093/jigpal/jzr051
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 7344
Grieger M, Güldali B, Sauer S. Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung. Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR). 2012;32(2):37-38.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 7345
Engels G, Whittle J. Ten years of software and systems modeling. Software & Systems Modeling. 2012;11(4):463-465. doi:10.1007/s10270-012-0287-3
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 7351
Christ F, Nagel B, Bachman-Gmür R, Westenthaler R. Semantisches Content Management. JavaMagazin. 2012;8:96-100.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 7352
Geisen S, Güldali B. Agiles Testen in Scrum – Testtypen und Abläufe. OBJEKTspektrum (Online Themenspecials). 2012;(Agility/2012):1-4.
LibreCat
 

2012 | Book | LibreCat-ID: 7507
Kremer M, Engels G, Hofmann A, et al. Quasar 3.0 - A Situational Approach to Software Engineering. Capgemini CSD Research, Offenbach 2012; 2012.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 7557
Mlynarski M, Güldali B, Weißleder S, Engels G. Model-Based Testing: Achievements and Future Challenges. In: Hurson A, Memon A, eds. Advances in Computers. Vol 86. Advances in Computers. Elsevier; 2012:1-39. doi:http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6
LibreCat | DOI
 

2012 | Dissertation | LibreCat-ID: 7572
Christ F. Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen. Universität Paderborn; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8473
Gerth C, Luckey M. Towards Rich Change Management for Business Process Models. In: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12). Vol 32. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI); 2012:32-34.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8475
Huma Z, Gerth C, Engels G, Juwig O. A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners. In: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering. Vol 855. CEUR Workshop Proceedings. CEUR-WS.org; 2012:90--97. doi:http://ceur-ws.org/Vol-855/paper11.pdf
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 8476
Luckey M, Mutz F. Modeling with Adapt Cases. In: University of Paderborn, ed. Repository for Model-Driven Development (ReMoDD). ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8477
Geisen S, Luckey M, Engels G. Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden. In: Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle. Shaker Verlag; 2012:111-120.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8478
Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). Vol 935. CEUR Workshop Proceedings. CEUR-WS.org; 2012:23-26.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8479
Güldali B, Sauer S, Löhr P. Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme. In: Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012). Vol 32. Softwaretechnik-Trends; 2012:5-6.
LibreCat | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 8480
Mussbacher G, Alam O, Alhaj M, et al. Assessing composition in modeling approaches. In: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012). CMA’12. New York, NY, USA: ACM; 2012. doi:https://dl.acm.org/citation.cfm?id=2459032
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 8483
Luckey M, Thanos C, Gerth C, Engels G. Multi-Staged Quality Assurance for Self-Adaptive Systems. In: Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8484
Geisen S. Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt. In: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium. Vol Report 01/12. Petra Hofstedt, Claus Lewerentz (BTU Cottbus); 2012:7-12.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 5183
Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366
LibreCat | Files available | DOI | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 565
Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). LNCS. ; 2012:776-792. doi:10.1007/978-3-642-33666-9_49
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 6720
Böttcher S, Hartel R, Heindorf S. Optimized XPath evaluation for Schema-compressed XML data. In: ADC. Vol 124. {CRPIT}. Australian Computer Society; 2012:137-144.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 6742
Böttcher S, Bokermann D, Hartel R. Generalizing and Improving SQL/XML Query Evaluation. In: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12). IEEE; 2012. doi:10.1109/sitis.2012.72
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 16445
Kempkes B, Meyer auf der Heide F. Continuous Local Strategies for Robotic Formation Problems. In: Experimental Algorithms. Berlin, Heidelberg; 2012. doi:10.1007/978-3-642-30850-5_2
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 16446
Kempkes B, Kling P, Meyer auf der Heide F. Optimal and competitive runtime bounds for continuous, local gathering of mobile robots. In: Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12. ; 2012. doi:10.1145/2312005.2312009
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 16448
Kempkes B, Meyer auf der Heide F. Local, Self-organizing Strategies for Robotic Formation Problems. In: Algorithms for Sensor Systems. Berlin, Heidelberg; 2012. doi:10.1007/978-3-642-28209-6_2
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 16929
Domik G. Faculty Submitted Student Work at Siggraph 2012. In: Curated Exhibit at Siggraph. Curated exhibit at Siggraph 2012. Los Angeles; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 10636
Boschmann A, Platzner M. Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array. In: Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC). ; 2012.
LibreCat
 

2012 | Mastersthesis | LibreCat-ID: 10650
Dridger D. Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer. Paderborn University; 2012.
LibreCat
 

2012 | Dissertation | LibreCat-ID: 10652
Giefers H. Design and Programming of Reconfigurable Mesh Based Many-Cores. Berlin: Logos Verlag Berlin GmbH; 2012.
LibreCat
 

2012 | Mastersthesis | LibreCat-ID: 10658
Graf T. Adaptive Playouts in Der Monte-Carlo Spielbaumsuche Am Anwendungsfall Go. Paderborn University; 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 10667
Hangmann H. Generating Adjustable Temperature Gradients on Modern FPGAs. Paderborn University; 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 10685
Kaufmann P, Glette K, Platzner M, Torresen J. Compensating Resource Fluctuations by Means of Evolvable Hardware: The Run-Time Reconfigurable Functional Unit Row Classifier Architecture. International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS). 2012;3(4):17-31. doi:10.4018/jaras.2012100102
LibreCat | DOI
 

2012 | Misc | LibreCat-ID: 10723
Platzner M, Boschmann A, Kaufmann P. Wieder Natürlich Gehen Und Greifen.; 2012:6-11.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 10734
Schmitz H. Stereo Matching on a HC-1 Hybrid Core Computer. Paderborn University; 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 10747
Topmöller C. Entwicklung Eines Picoblaze Compilers Mit Dem Gentle Compiler Construction System. Paderborn University; 2012.
LibreCat
 

2012 | Mastersthesis | LibreCat-ID: 10754
Wistuba M. Analysis of Pattern Based Model Design and Learning in Computer-Go. Paderborn University; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 11998
Eckhoff D, Sommer C, German R, Dressler F. Cooperative Awareness at Low Vehicle Densities: How Parked Cars Can Help See through Buildings. In: 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011. ; 2012. doi:10.1109/glocom.2011.6134402
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 12001
Eckhoff D, Sommer C, Dressler F. On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol Simulation. In: 2012 IEEE 75th Vehicular Technology Conference (VTC Spring). ; 2012. doi:10.1109/vetecs.2012.6240064
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 12021
Joerer S, Dressler F, Sommer C. Comparing apples and oranges? In: Proceedings of the Ninth ACM International Workshop on Vehicular Inter-Networking, Systems, and Applications - VANET ’12. ; 2012. doi:10.1145/2307888.2307895
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 12023
Joerer S, Sommer C, Dressler F. Toward reproducibility and comparability of IVC simulation studies: a literature survey. IEEE Communications Magazine. 2012:82-88. doi:10.1109/mcom.2012.6316780
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 12037
Malandrino F, Casetti C, Chiasserini CF, Sommer C, Dressler F. Content downloading in vehicular networks: Bringing parked cars into the picture. In: 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC). ; 2012. doi:10.1109/pimrc.2012.6362591
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 15299
Leinweber M, Baumgärtner L, Mernberger M, et al. GPU-based cloud computing for comparing the structure of protein binding sites. In: In Proceedings IEEE Conference on Digital Ecosystem Technologies-Complex Environment Engineering Campione D`Italia, Italy. ; 2012.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 15396
Hüllermeier E, Fallah Tehrani A. Efficient learning of classifiers based on the 2-additive Choquet integral. In: Moewes C, Nürnberger A, eds. Computational Intelligence in Intelligent Data Analysis. Studies in Computational Intelligence. Springer; 2012:17-30.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 15669
Schulte C, Suhonen J. Koli Calling 2009 and 2010. Computer Science Education. 2012;22(2):79-80.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15670
Schulte C, Hornung M, Sentance S, et al. Computer science at school/CS teacher education: Koli working-group report on CS at school. In: Koli Calling. ACM; 2012:29-38.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15671
Schulte C. Uncovering structure behind function: the experiment as teaching method in computer science education. In: WiPSCE. ACM; 2012:40-47.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15754
Bräuning M, Hüllermeier E. Learning conditional lexicographic preference trees. In: In Workshops on Preference Learning at ECAI, European Conference on Artiticial Intelligence, Montpellier, France. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 14871
Chen W-F, Kuo C-K, Wang Y-R, Chen S-H. A Syllable-based Prosody Modeling for L1 and L2 English Speeches. In: Proceedings of the 8th International Symposium on Chinese Spoken Language Processing. IEEE; 2012:281-285.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15095
Böttcher S, Hartel R, Weber S. Efficient String-Based XML Stream Prefiltering. In: Proceedings of the Twenty-Third Australasian Database Conference. Australian Computer Society, Inc.; 2012:145-152.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 15096
Böttcher S, Bültmann A, Hartel R, Schlüßler J. Fast Insertion and Deletion in Compressed Texts. In: 2012 Data Compression Conference. IEEE; 2012:393. doi:10.1109/dcc.2012.50
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 15114
Hüllermeier E, Fallah Tehrani A. On the VC dimension of the Choquet integral. In: In Proceedings IPMU-2012 14th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Part 1, Catania, Italy. ; 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16084
Fallah Tehrani A, Cheng W, Dembczynski K, Hüllermeier E. Learning  monotone nonlinear models using the Choquet integral. Machine Learning. 2012;89(1):183-211.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16085
Bustince H, Pagola M, Mesiar R, Hüllermeier E, Herrera F. Grouping, overlap and generalized bientropic functions for fuzzy modeling of pairwise comparisons. IEEE Transactions on Fuzzy Systems. 2012;20(3):405-415.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16087
Fürnkranz J, Hüllermeier E, Cheng W, Park SH. Preference-based reinforcement learning: A formal framework and a policy iteration algorithm. Machine Learning. 2012;89(1):123-156.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16088
Dembczynski K, Waegeman W, Cheng W, Hüllermeier E. On label dependence and loss  minimization in multi-label classification. Machine Learning. 2012;88(1-2):5-45.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16089
Shaker A, Hüllermeier E. IBL Streams: A system for instance-based classification and regression on data streams. Evolving Systems. 2012;3(4):235-249.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16090
Dolorez Ruiz M, Hüllermeier E. A formal and empirical analysis of the fuzzy gamma rank correlation coefficient. Information Sciences. 2012;206:1-17.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16091
Fallah Tehrani A, Cheng W, Hüllermeier E. Preference learning using the Choquet integral: The case of multipartite ranking. IEEE Transactions on Fuzzy Systems. 2012;20(6):1102-1113.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16092
Fober T, Mernberger M, Klebe G, Hüllermeier E. Fingerprint kernels for protein structure comparison. Molecular Informatics. 2012;31(6-7):443-452.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16093
Hüllermeier E, Rifqi M, Henzgen S, Senge R. Comparing fuzzy partitions: A generalization of the Rand index and related measures. IEEE Transactions on Fuzzy Systems. 2012;20(3):546-556.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 16094
Senge R, Fober T, Nasiri N, Hüllermeier E. Fuzzy Pattern Trees: Ein alternativer Ansatz zur Fuzzy-Modellierung. At-Atomatisierungstechnik. 2012;60(10):622-629.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 16408
Suess T, Koch C, Jähn C, Fischer M, Meyer auf der Heide F. Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes. In: Advances in Visual Computing. Vol 7431. Lecture Notes in Computer Science. ; 2012:502-512. doi:10.1007/978-3-642-33179-4_48
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 13120
Cheng W, Hüllermeier E, Waegeman W, Welker V. Label ranking with partial abstention based on thresholded probalistic models. In: In Proceedings NIPS-2012, 26th Annual Conference on Neural Information Processing Systems, Lake Tahoe, Nevada, USA. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 13191
Cheng W, Hüllermeier E. Probability estimation for mulit-class classification based on label ranking. In: Proceedings ECML/PKDD-2012, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Bristol, UK. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 13192
Dembczynski K, Kotlowski W, Hüllermeier E. Consistent multilabel ranking through univariate loss minimization. In: Langford J, Pineau J, eds. In Proceedings ICML-2012,  International Conference on Machine Learning, Edinburgh, Scotland. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 13193
Dembczynski K, Waegeman W, Hüllermeier E. An analysis of chaining in multi-label classification. In: In Proceedings ECAI-2012, 20th European Conference on Artificial Inteligence, Montpellier, France . IOS Press; 2012:294-299.
LibreCat
 

2012 | Misc | LibreCat-ID: 13462
Lewis P, Platzner M, Yao X. An Outlook for Self-Awareness in Computing Systems. Awareness Magazine; 2012.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 10153
Hüllermeier E. Fuzzy rules in data mining: From fuzzy associations to gradual dependencies. In: Trillas E, Bonissone PP, Magdalena L, Kacprzyk J, eds. Combining Experimentation and Theory. Vol 271. Studies in Fuzziness and Soft Computing. Springer; 2012:123-135.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren Y, Müller W, He D, Mischkalla F, Dahaene W. Extending UML for Electronic Systems Design: A Code Generation Perspective. In: Nicolescu G, O’Connor I, Piguet C, eds. Design Technology for Heterogeneous Embedded Systems. 1st Edition. Auflage. Springer Verlag; 2012:13-39.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:10.1109/ISORCW.2012.41
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 36921
Oliveira MF, Kuznik C, Müller W, Esen V, Ecker W. Towards an Enhanced UVM for SystemC. In: Proceedings of the Design & Verification Conference (DVCon). ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 36994
Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SOCC2012. IEEE; 2012. doi:10.1109/SOCC.2012.6398362
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 36997
Xie T, Müller W. An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. In: Proceedings of the MeCoES’12. ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8169 | OA
Gharibian S, Kempe J. Hardness of Approximation for Quantum Problems. In: Czumaj A, Mehlhorn K, Pitts A, Wattenhofer R, eds. International Colloquium on Automata, Languages, and Programming (ICALP 2012). Springer Berlin Heidelberg; 2012:387-398. doi:10.1007/978-3-642-31594-7_33
LibreCat | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | LibreCat-ID: 8175 | OA
Gharibian S, Kempe J. Approximation Algorithms for QMA-Complete Problems. SIAM Journal on Computing. 2012;41(4):1028-1050. doi:10.1137/110842272
LibreCat | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | LibreCat-ID: 8174 | OA
Gharibian S. Quantifying nonclassicality with local unitary operations. Physical Review A. 2012;86:042106. doi:10.1103/PhysRevA.86.042106
LibreCat | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed