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.
5937 Publications
2004 | Conference Paper | LibreCat-ID: 15220
E. Hüllermeier and J. Beringer, “Learning decision rules from positive and negative preferences,” in In Proceedings IPMU-2004 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 16185
E. Hüllermeier, I. Renners, and A. Grauel, “An evolutionary approach to constraints-regularized learning,” Mathware and Soft Computing, vol. 11, no. 2–3, pp. 109–124, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 16186
N. Weskamp, D. Kuhn, E. Hüllermeier, and G. Klebe, “Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing,” Bioinformatics, vol. 20, no. 10, pp. 1522–1526, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 16187
E. Hüllermeier, “Flexible constraints for regularization in learning from data,” International Journal of Intelligent Systems, vol. 19, no. 6, pp. 525–541, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 16399
J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, and F. Meyer auf der Heide, “The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments,” Presence: Teleoperators and Virtual Environments, pp. 617–637, 2004.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13071
M. Liu Jing et al., “Sensor Networks with More Features Using Less Hardware,” in {GOR/NGB Conference Tilburg 2004}, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 1002
E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, and A. Wolisz, “Distributed maintenance of resource reservation paths in multihop 802.11 networks,” in Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.
LibreCat
2004 | Conference Paper | LibreCat-ID: 1006
J. Gross, H. Karl, and A. Wolisz, “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
M. Kubisch, H. Karl, and A. Wolisz, “A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas,” Frequenz, no. 3–4, pp. 92--96, 2004.
LibreCat
| Files available
| DOI
2004 | Conference Paper | LibreCat-ID: 1019
J. Gross, H. Karl, and A. Wolisz, “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: 13619
H. Walder, S. Nobs, and M. Platzner, “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), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33825
S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook 2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47645
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen. 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA. 2004.
LibreCat