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, Hüllermeier E, Prade H. Flexible control of case-based prediction in the framework of possibility theory. In: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France. ; 2000:7-16.
LibreCat
2000 | Conference Paper | LibreCat-ID: 14844
Hüllermeier E. Similarity-based inference as evidential reasoning. In: Horn W, ed. In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany. IOS Press; 2000:50-54.
LibreCat
2000 | Conference Paper | LibreCat-ID: 14845
Hüllermeier E. Focusing search by using problem solving experience. In: Horn W, ed. In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany. IOS Press; 2000:55-59.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier E. Change detection in heuristic search. In: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas. ; 2000:898-903.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15108
Hüllermeier E. A method for predicting solutions in case-based problem solving. In: Blanzieri E, Portinale L, eds. In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy. Springer; 2000:124-135.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15109
Dubois D, Hüllermeier E, Prade H. Flexible control of case-based prediction in the framework of possibility theory. In: Blanzieri E, Portinale L, eds. In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy. Springer; 2000:61-73.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15231
Hüllermeier E, Dubois D, Prade H. 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. ; 2000:1575-1582.
LibreCat
2000 | Journal Article | LibreCat-ID: 16196
Hüllermeier E, Giersch C. Fuzzy dynamics and applications in biological systems modelling. Systems Analysis, Modelling, Simulation. 2000;38:29-50.
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier E, Kraft M, Weise P. 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, Hüllermeier E, Prade H. Formalizing case-based inference using fuzzy rules. In: Pal SK, So DY, Dillon T, eds. Soft Computing in Case-Based Reasoning. Springer; 2000:47-72.
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide F, Wanka R. Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik. ForschungsForum Paderborn. 2000:112-116.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 13609
Eisenring MH, Platzner M. An Implementation Framework for Run-time Reconfigurable Systems. In: Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE). CSREA Press; 2000:151-157.
LibreCat
2000 | Conference Paper | LibreCat-ID: 13610
Eisenring M, Platzner M. Optimization of Run-time Reconfigurable Embedded Systems. In: Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL). Springer; 2000:565-574.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel Agents. In: Proceedings of the IEEE Symposium on Visual Languages. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: Proceedings of IECON 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: Proceedings of UKPEW 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: Proceedings of AVI 2000. ; 2000.
LibreCat