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, Eyke, et al. “An Evolutionary Approach to Constraints-Regularized Learning.” Mathware and Soft Computing, vol. 11, no. 2–3, 2004, pp. 109–24.
LibreCat
2004 | Journal Article | LibreCat-ID: 16186
Weskamp, N., et al. “Efficient Similarity Search in Protein Structure Databases: Improving Clique-Detection through Clique-Hashing.” Bioinformatics, vol. 20, no. 10, 2004, pp. 1522–26.
LibreCat
2004 | Journal Article | LibreCat-ID: 16187
Hüllermeier, Eyke. “Flexible Constraints for Regularization in Learning from Data.” International Journal of Intelligent Systems, vol. 19, no. 6, 2004, pp. 525–41.
LibreCat
2004 | Journal Article | LibreCat-ID: 16399
Klein, Jan, et al. “The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments.” Presence: Teleoperators and Virtual Environments, 2004, pp. 617–37, doi:10.1162/1054746043280619.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13071
Liu Jing, Michelle, et al. “Sensor Networks with More Features Using Less Hardware.” {GOR/NGB Conference Tilburg 2004}, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 1002
Carlson, Emma, et al. “Distributed Maintenance of Resource Reservation Paths in Multihop 802.11 Networks.” Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.
LibreCat
2004 | Conference Paper | LibreCat-ID: 1006
Gross, James, et al. “On the Effect of Inband Signaling and Realistic Channel Knowledge on Dynamic OFDM-FDMA Systems.” European Wireless 2004, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 1017
Kubisch, Martin, et al. “A MAC Protocol for Wireless Sensor Networks with Multiple Selectable, Fixed-Orientation Antennas.” Frequenz, no. 3–4, 2004, pp. 92--96, doi:/10.1.1.3.3185.
LibreCat
| Files available
| DOI
2004 | Conference Paper | LibreCat-ID: 1019
Gross, James, et al. “Throughput Optimization of Dynamic OFDM-FDMA Systems with Inband Signaling.” 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, Herbert, and Marco Platzner. “A Runtime Environment for Reconfigurable Hardware Operating Systems.” Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL), Springer, 2004, pp. 831–35, doi:10.1007/978-3-540-30117-2_84.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13619
Walder, Hebert, et al. “XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems.” 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, Matthias, et al. “Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine.” 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, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” Workflow Handbook 2004, edited by Layna Fischer, Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 227–40.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” Proceedings of FDL’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” Proceedings of DATE’04, 2004.
LibreCat