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
2000 | Conference Paper | LibreCat-ID: 15808
Dubois, D., Eyke Hüllermeier, and H. Prade. “Flexible Control of Case-Based Prediction in the Framework of Possibility Theory.” In In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France, 7–16, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 14844
Hüllermeier, Eyke. “Similarity-Based Inference as Evidential Reasoning.” In In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, edited by W. Horn, 50–54. IOS Press, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 14845
Hüllermeier, Eyke. “Focusing Search by Using Problem Solving Experience.” In In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, edited by W. Horn, 55–59. IOS Press, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier, Eyke. “Change Detection in Heuristic Search.” In Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 898–903, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15108
Hüllermeier, Eyke. “A Method for Predicting Solutions in Case-Based Problem Solving.” In In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, edited by E. Blanzieri and L. Portinale, 124–35. Springer, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15109
Dubois, D., Eyke Hüllermeier, and H. Prade. “Flexible Control of Case-Based Prediction in the Framework of Possibility Theory.” In In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, edited by E. Blanzieri and L. Portinale, 61–73. Springer, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15231
Hüllermeier, Eyke, D. Dubois, and H. Prade. “Knowledge-Based Extrapolution of Cases: A Possibilistic Approach.” In In Proceedings IPMU-2000 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Madrid, Spain, 1575–82, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 16196
Hüllermeier, Eyke, and C. Giersch. “Fuzzy Dynamics and Applications in Biological Systems Modelling.” Systems Analysis, Modelling, Simulation 38 (2000): 29–50.
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier, Eyke, M. Kraft, and P. Weise. “Evaluation and Specification of a Synergetic Business Cycle Model with German Data.” Homo Oeconomicus XVI, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 16234
Dubois, D., Eyke Hüllermeier, and H. Prade. “Formalizing Case-Based Inference Using Fuzzy Rules.” In Soft Computing in Case-Based Reasoning, edited by S.K. Pal, D.Y. So, and T. Dillon, 47–72. Springer, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide, Friedhelm, and Rolf Wanka. “Von Der Hollerith-Maschine Zum Parallelrechner - Die Alltägliche Aufgabe Des Sortierens Als Fortschrittsmotor Für Die Informatik.” ForschungsForum Paderborn, 2000, 112–16.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 13609
Eisenring, Michael H., and Marco Platzner. “An Implementation Framework for Run-Time Reconfigurable Systems.” In Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE), 151–57. CSREA Press, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 13610
Eisenring, Michael, and Marco Platzner. “Optimization of Run-Time Reconfigurable Embedded Systems.” In Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL), 565–74. Springer, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung 2000. Magdeburg, Germany, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for the Scripting of Parallel Agents.” In Proceedings of the IEEE Symposium on Visual Languages. Seattle, Washington, USA, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” In Proceedings of IECON 2000. Nagoya, Japan, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” In Proceedings of UKPEW 2000. Durham, UK, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In Proceedings of AVI 2000. Palermo, Italy, 2000.
LibreCat