@article{16186, author = {{Weskamp, N. and Kuhn, D. and Hüllermeier, Eyke and Klebe, G.}}, journal = {{Bioinformatics}}, number = {{10}}, pages = {{1522--1526}}, title = {{{Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing}}}, volume = {{20}}, year = {{2004}}, } @article{16187, author = {{Hüllermeier, Eyke}}, journal = {{International Journal of Intelligent Systems}}, number = {{6}}, pages = {{525--541}}, title = {{{Flexible constraints for regularization in learning from data}}}, volume = {{19}}, year = {{2004}}, } @article{16399, abstract = {{We present a new data structure for rendering highly complex virtual environments of arbitrary topology. The special feature of our approach is that it allows an interactive navigation in very large scenes (30 GB/400 million polygons in our benchmark scenes) that cannot be stored in main memory, but only on a local or remote hard disk. Furthermore, it allows interactive rendering of substantially more complex scenes by instantiating objects. The sampling process is done in the preprocessing. There, the polygons are randomly distributed in our hierarchical data structure, the randomized sample tree. This tree only uses space that is linear in the number of polygons. In order to produce an approximate image of the scene, the tree is traversed and polygons stored in the visited nodes are rendered. During the interactive walkthrough, parts of the sample tree are loaded from local or remote hard disk. We implemented our algorithm in a prototypical walkthrough system. Analysis and experiments show that the quality of our images is comparable to images computed by the conventional z-buffer algorithm regardless of the scene topology.}}, author = {{Klein, Jan and Krokowski, Jens and Fischer, Matthias and Wand, Michael and Wanka, Rolf and Meyer auf der Heide, Friedhelm}}, issn = {{1054-7460}}, journal = {{Presence: Teleoperators and Virtual Environments}}, pages = {{617--637}}, title = {{{The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments}}}, doi = {{10.1162/1054746043280619}}, year = {{2004}}, } @inproceedings{13071, author = {{Liu Jing, Michelle and Ruehrup, Stefan and Schindelhauer, Christian and Volbert, Klaus and Dierkes, Martin and Bellgardt, Andreas and Ibers, Rüdiger and Hilleringmann, Ulrich}}, booktitle = {{{GOR/NGB Conference Tilburg 2004}}}, title = {{{Sensor Networks with More Features Using Less Hardware}}}, year = {{2004}}, } @inproceedings{1002, author = {{Carlson, Emma and Bettstetter, Christian and Karl, Holger and Prehofer, Christian and Wolisz, Adam}}, booktitle = {{Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th}}, pages = {{2994----2998}}, title = {{{Distributed maintenance of resource reservation paths in multihop 802.11 networks}}}, year = {{2004}}, } @inproceedings{1006, author = {{Gross, James and Karl, Holger and Wolisz, Adam}}, booktitle = {{European Wireless 2004}}, title = {{{On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems}}}, year = {{2004}}, } @article{1017, author = {{Kubisch, Martin and Karl, Holger and Wolisz, Adam}}, journal = {{Frequenz}}, number = {{3-4}}, pages = {{92----96}}, title = {{{A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas}}}, doi = {{/10.1.1.3.3185}}, year = {{2004}}, } @inproceedings{1019, author = {{Gross, James and Karl, Holger and Wolisz, Adam}}, booktitle = {{2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004)}}, title = {{{Throughput optimization of dynamic OFDM-FDMA systems with inband signaling}}}, year = {{2004}}, } @inproceedings{13618, author = {{Walder, Herbert and Platzner, Marco}}, booktitle = {{Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL)}}, isbn = {{9783540229896}}, issn = {{0302-9743}}, pages = {{831--835}}, publisher = {{Springer}}, title = {{{A Runtime Environment for Reconfigurable Hardware Operating Systems}}}, doi = {{10.1007/978-3-540-30117-2_84}}, year = {{2004}}, } @inproceedings{13619, author = {{Walder, Hebert and Nobs, Samuel and Platzner, Marco}}, booktitle = {{Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)}}, publisher = {{CSREA Press}}, title = {{{XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems}}}, year = {{2004}}, } @inproceedings{13620, author = {{Dyer, Matthias and Platzner, Marco and Thiele, Lothar}}, booktitle = {{Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)}}, isbn = {{0769522300}}, publisher = {{IEEE CS Press}}, title = {{{Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine}}}, doi = {{10.1109/fccm.2004.31}}, year = {{2004}}, } @inbook{33825, abstract = {{This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles.}}, author = {{Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}}, booktitle = {{Integration of Software Specification Techniques for Applications in Engineering}}, editor = {{Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}}, isbn = {{978-3-540-27863-4}}, keywords = {{Model Check, Temporal Logic, Object Constraint Language, Abstract Syntax, Temporal Logic Formula}}, pages = {{206--226}}, publisher = {{Springer-Verlag}}, title = {{{Specification and Formal Verification of Temporal Properties of Production Automation Systems}}}, doi = {{10.1007/978-3-540-27863-4_13}}, volume = {{3147}}, year = {{2004}}, } @inbook{33827, author = {{Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}}, booktitle = {{Workflow Handbook 2004}}, editor = {{Fischer, Layna}}, isbn = {{0970350961}}, publisher = {{Workflow Management Coalition (WfMC)}}, title = {{{Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}}}, year = {{2004}}, } @inbook{33830, author = {{Krupp, Alexander and Müller, Wolfgang}}, booktitle = {{UML-B System Specification for Proven Electronic Design}}, editor = {{Mermet, J.}}, isbn = {{1-4020-2866-0}}, pages = {{155--168}}, publisher = {{Kluwer}}, title = {{{Refinement of Finite State Machines with Complementary Model Checking}}}, year = {{2004}}, } @inbook{33829, author = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}}, booktitle = {{Best of FDL'03}}, editor = {{Grimm, Ch.}}, isbn = {{978-1-4020-7991-7}}, pages = {{301--314}}, publisher = {{Kluwer}}, title = {{{Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}}}, year = {{2004}}, } @inbook{33832, author = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}}, booktitle = {{UML-B System Specification for Proven Electronic Design}}, editor = {{Mermet, J.}}, isbn = {{1-4020-2866-0}}, pages = {{227--240}}, publisher = {{Kluwer}}, title = {{{The Echo Cancellation Unit Case Study}}}, year = {{2004}}, } @misc{47645, author = {{Dumrauf, Dominic}}, title = {{{Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen}}}, year = {{2004}}, } @misc{47642, author = {{Herden, Tim}}, title = {{{Implementierung und Evaluierung eines Angriffs auf DSA}}}, year = {{2004}}, } @misc{47644, author = {{Gesemann, Sebastian}}, title = {{{Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes}}}, year = {{2004}}, } @misc{47643, author = {{Gorski, Michael}}, title = {{{Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven}}}, year = {{2004}}, }