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. An evolutionary approach to constraints-regularized learning. Mathware and Soft Computing. 2004;11(2-3):109-124.
LibreCat
2004 | Journal Article | LibreCat-ID: 16186
Weskamp N, Kuhn D, Hüllermeier E, Klebe G. Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing. Bioinformatics. 2004;20(10):1522-1526.
LibreCat
2004 | Journal Article | LibreCat-ID: 16187
Hüllermeier E. Flexible constraints for regularization in learning from data. International Journal of Intelligent Systems. 2004;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. The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments. Presence: Teleoperators and Virtual Environments. 2004:617-637. doi:10.1162/1054746043280619
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13071
Liu Jing M, Ruehrup S, Schindelhauer C, et al. Sensor Networks with More Features Using Less Hardware. In: {GOR/NGB Conference Tilburg 2004}. Tilburg, Netherlands; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 1002
Carlson E, Bettstetter C, Karl H, Prehofer C, Wolisz A. Distributed maintenance of resource reservation paths in multihop 802.11 networks. In: Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th. ; 2004:2994--2998.
LibreCat
2004 | Conference Paper | LibreCat-ID: 1006
Gross J, Karl H, Wolisz A. On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems. In: European Wireless 2004. ; 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 1017
Kubisch M, Karl H, Wolisz A. A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas. Frequenz. 2004;(3-4):92--96. doi:/10.1.1.3.3185
LibreCat
| Files available
| DOI
2004 | Conference Paper | LibreCat-ID: 1019
Gross J, Karl H, Wolisz A. 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). ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 13618
Walder H, Platzner M. A Runtime Environment for Reconfigurable Hardware Operating Systems. In: Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL). Berlin, Heidelberg: Springer; 2004:831-835. doi:10.1007/978-3-540-30117-2_84
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13619
Walder H, Nobs S, Platzner M. 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; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 13620
Dyer M, Platzner M, Thiele L. 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; 2004. doi:10.1109/fccm.2004.31
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook 2004. Workflow Management Coalition (WfMC); 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:155-168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm Ch, ed. Best of FDL’03. Kluwer; 2004:301-314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:227-240.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile Devices. In: Proceedings of HICCS-37. ; 2004. doi:10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: Proceedings of FDL’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: Proceedings of DATE’04. ; 2004.
LibreCat