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.
5786 Publications
2004 | Journal Article | LibreCat-ID: 16185
Hüllermeier, E., Renners, I., & Grauel, A. (2004). An evolutionary approach to constraints-regularized learning. Mathware and Soft Computing, 11(2–3), 109–124.
LibreCat
2004 | Journal Article | LibreCat-ID: 16186
Weskamp, N., Kuhn, D., Hüllermeier, E., & Klebe, G. (2004). Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing. Bioinformatics, 20(10), 1522–1526.
LibreCat
2004 | Journal Article | LibreCat-ID: 16187
Hüllermeier, E. (2004). Flexible constraints for regularization in learning from data. International Journal of Intelligent Systems, 19(6), 525–541.
LibreCat
2004 | Journal Article | LibreCat-ID: 16399
Klein, J., Krokowski, J., Fischer, M., Wand, M., Wanka, R., & Meyer auf der Heide, F. (2004). The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments. Presence: Teleoperators and Virtual Environments, 617–637. https://doi.org/10.1162/1054746043280619
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13071
Liu Jing, M., Ruehrup, S., Schindelhauer, C., Volbert, K., Dierkes, M., Bellgardt, A., … Hilleringmann, U. (2004). Sensor Networks with More Features Using Less Hardware. In {GOR/NGB Conference Tilburg 2004}. Tilburg, Netherlands.
LibreCat
2004 | Conference Paper | LibreCat-ID: 1002
Carlson, E., Bettstetter, C., Karl, H., Prehofer, C., & Wolisz, A. (2004). Distributed maintenance of resource reservation paths in multihop 802.11 networks. In Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th (pp. 2994--2998).
LibreCat
2004 | Conference Paper | LibreCat-ID: 1006
Gross, J., Karl, H., & Wolisz, A. (2004). On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems. In European Wireless 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 1017
Kubisch, M., Karl, H., & Wolisz, A. (2004). A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas. Frequenz, (3–4), 92--96. https://doi.org//10.1.1.3.3185
LibreCat
| Files available
| DOI
2004 | Conference Paper | LibreCat-ID: 1019
Gross, J., Karl, H., & Wolisz, A. (2004). Throughput optimization of dynamic OFDM-FDMA systems with inband signaling. In 2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004).
LibreCat
2004 | Conference Paper | LibreCat-ID: 13618
Walder, H., & Platzner, M. (2004). A Runtime Environment for Reconfigurable Hardware Operating Systems. In Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL) (pp. 831–835). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-540-30117-2_84
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13619
Walder, H., Nobs, S., & Platzner, M. (2004). XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems. In Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press.
LibreCat
2004 | Conference Paper | LibreCat-ID: 13620
Dyer, M., Platzner, M., & Thiele, L. (2004). Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine. In Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE CS Press. https://doi.org/10.1109/fccm.2004.31
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best of FDL’03 (pp. 301–314). Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 227–240). Kluwer.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, W., Schäfer, R., & Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. https://doi.org/10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, M., Ecker, W., Kruse, T., & Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. Proceedings of FDL’04. Forum on specification and Design Languages, Lille, France.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, T., & Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. Proceedings of DATE’04.
LibreCat