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.
5779 Publications
2000 | Conference Paper | LibreCat-ID: 8344
Strengthening the Semantics of UML Collaboration Diagrams
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
2000 | Conference Paper | LibreCat-ID: 8345
Towards Consistency of Dynamic Models and Analysis of Timing Constraints
J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.
LibreCat
J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.
2000 | Conference Paper | LibreCat-ID: 8346
Methodische Aspekte von Modellierungssprachen für nebenläufige Software
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
LibreCat
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
2000 | Conference Paper | LibreCat-ID: 8347
Visualisierung der Synchronisation von Java-Threads mit UML
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
2000 | Journal Article | LibreCat-ID: 6507
Reconfigurable accelerators for combinatorial problems
M. Platzner, Computer 33 (2000) 58–60.
LibreCat
| DOI
M. Platzner, Computer 33 (2000) 58–60.
2000 | Conference Paper | LibreCat-ID: 16495
Data management in hierarchical bus networks
F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00, 2000.
LibreCat
| DOI
F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00, 2000.
2000 | Conference Paper | LibreCat-ID: 16496
Caching in networks
F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439.
LibreCat
F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439.
2000 | Book Chapter | LibreCat-ID: 16497
Complexity Theory and Algorithms
F. Meyer auf der Heide, M. Kutyłowski, P. Ragde, in: Euro-Par 2000 Parallel Processing, Berlin, Heidelberg, 2000.
LibreCat
| DOI
F. Meyer auf der Heide, M. Kutyłowski, P. Ragde, in: Euro-Par 2000 Parallel Processing, Berlin, Heidelberg, 2000.
2000 | Journal Article | LibreCat-ID: 17010
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, SIAM Journal on Computing (2000) 1703–1739.
LibreCat
| DOI
A. Czumaj, F. Meyer auf der Heide, V. Stemann, SIAM Journal on Computing (2000) 1703–1739.
2000 | Journal Article | LibreCat-ID: 10606
Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems
M. Eisenring, M. Platzner, IEE Proceedings -- Computers & Digital Techniques 147 (2000) 159–165.
LibreCat
| DOI
M. Eisenring, M. Platzner, IEE Proceedings -- Computers & Digital Techniques 147 (2000) 159–165.
2000 | Journal Article | LibreCat-ID: 10725
Toward embedded qualitative simulation: a specialized computer architecture for QSim
M. Platzner, B. Rinner, R. Weiss, IEEE Intelligent Systems 15 (2000) 62–68.
LibreCat
| DOI
M. Platzner, B. Rinner, R. Weiss, IEEE Intelligent Systems 15 (2000) 62–68.
2000 | Conference Paper | LibreCat-ID: 15301
Fuzzy dynamics: Methodological framework and applications of compartmental modeling
E. Hüllermeier, in: D.M. Dubois (Ed.), In Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium, 2000.
LibreCat
E. Hüllermeier, in: D.M. Dubois (Ed.), In Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium, 2000.
2000 | Conference Paper | LibreCat-ID: 15302
In vitro-in vivo hepatic clearance prediction using fuzzy sets
I. Gueroguieva, I. Nestorov, M. Rowland, E. Hüllermeier, in: In Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 , European Journal of Pharmaceutical Sciences, 2000, p. S22.
LibreCat
I. Gueroguieva, I. Nestorov, M. Rowland, E. Hüllermeier, in: In Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 , European Journal of Pharmaceutical Sciences, 2000, p. S22.
2000 | Conference Paper | LibreCat-ID: 15808
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France, 2000, pp. 7–16.
LibreCat
D. Dubois, E. Hüllermeier, H. Prade, in: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France, 2000, pp. 7–16.
2000 | Conference Paper | LibreCat-ID: 14844
Similarity-based inference as evidential reasoning
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 50–54.
LibreCat
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 50–54.
2000 | Conference Paper | LibreCat-ID: 14845
Focusing search by using problem solving experience
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 55–59.
LibreCat
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 55–59.
2000 | Conference Paper | LibreCat-ID: 15063
Change detection in heuristic search
E. Hüllermeier, in: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000, pp. 898–903.
LibreCat
E. Hüllermeier, in: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000, pp. 898–903.
2000 | Conference Paper | LibreCat-ID: 15108
A method for predicting solutions in case-based problem solving
E. Hüllermeier, in: E. Blanzieri, L. Portinale (Eds.), In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, Springer, 2000, pp. 124–135.
LibreCat
E. Hüllermeier, in: E. Blanzieri, L. Portinale (Eds.), In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, Springer, 2000, pp. 124–135.
2000 | Conference Paper | LibreCat-ID: 15109
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: E. Blanzieri, L. Portinale (Eds.), In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, Springer, 2000, pp. 61–73.
LibreCat
D. Dubois, E. Hüllermeier, H. Prade, in: E. Blanzieri, L. Portinale (Eds.), In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, Springer, 2000, pp. 61–73.
2000 | Conference Paper | LibreCat-ID: 15231
Knowledge-based extrapolution of cases: A possibilistic approach
E. Hüllermeier, D. Dubois, H. Prade, in: In Proceedings IPMU-2000 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Madrid, Spain, 2000, pp. 1575–1582.
LibreCat
E. Hüllermeier, D. Dubois, H. Prade, in: In Proceedings IPMU-2000 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Madrid, Spain, 2000, pp. 1575–1582.