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
@inproceedings{Dubois_Hüllermeier_Prade_2000, title={Flexible control of case-based prediction in the framework of possibility theory}, booktitle={In Proceedings RàPC-2000, Raisonnement à partir de Cas, Toulouse, France}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, year={2000}, pages={7–16} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 14844
@inproceedings{Hüllermeier_2000, title={Similarity-based inference as evidential reasoning}, booktitle={In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany}, publisher={IOS Press}, author={Hüllermeier, Eyke}, editor={Horn, W.Editor}, year={2000}, pages={50–54} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 14845
@inproceedings{Hüllermeier_2000, title={Focusing search by using problem solving experience}, booktitle={In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany}, publisher={IOS Press}, author={Hüllermeier, Eyke}, editor={Horn, W.Editor}, year={2000}, pages={55–59} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15063
@inproceedings{Hüllermeier_2000, title={Change detection in heuristic search}, booktitle={Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas}, author={Hüllermeier, Eyke}, year={2000}, pages={898–903} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15108
@inproceedings{Hüllermeier_2000, title={A method for predicting solutions in case-based problem solving}, booktitle={in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Blanzieri, E. and Portinale, L.Editors}, year={2000}, pages={124–135} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15109
@inproceedings{Dubois_Hüllermeier_Prade_2000, title={Flexible control of case-based prediction in the framework of possibility theory}, booktitle={in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy}, publisher={Springer}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, editor={Blanzieri, E. and Portinale, L.Editors}, year={2000}, pages={61–73} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 15231
@inproceedings{Hüllermeier_Dubois_Prade_2000, title={Knowledge-based extrapolution of cases: A possibilistic approach}, booktitle={In Proceedings IPMU-2000 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Madrid, Spain}, author={Hüllermeier, Eyke and Dubois, D. and Prade, H.}, year={2000}, pages={1575–1582} }
LibreCat
2000 | Journal Article | LibreCat-ID: 16196
@article{Hüllermeier_Giersch_2000, title={Fuzzy dynamics and applications in biological systems modelling}, volume={38}, journal={Systems Analysis, Modelling, Simulation}, author={Hüllermeier, Eyke and Giersch, C.}, year={2000}, pages={29–50} }
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
@article{Hüllermeier_Kraft_Weise_2000, title={Evaluation and specification of a synergetic business cycle model with German data}, journal={Homo Oeconomicus XVI}, author={Hüllermeier, Eyke and Kraft, M. and Weise, P.}, year={2000} }
LibreCat
2000 | Book Chapter | LibreCat-ID: 16234
@inbook{Dubois_Hüllermeier_Prade_2000, title={Formalizing case-based inference using fuzzy rules}, booktitle={Soft Computing in Case-Based Reasoning}, publisher={Springer}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, editor={Pal, S.K. and So, D.Y. and Dillon, T.Editors}, year={2000}, pages={47–72} }
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
@article{Meyer auf der Heide_Wanka_2000, title={Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik}, journal={ForschungsForum Paderborn}, author={Meyer auf der Heide, Friedhelm and Wanka, Rolf}, year={2000}, pages={112–116} }
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 13609
@inproceedings{Eisenring_Platzner_2000, title={An Implementation Framework for Run-time Reconfigurable Systems}, booktitle={Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE)}, publisher={CSREA Press}, author={Eisenring, Michael H. and Platzner, Marco}, year={2000}, pages={151–157} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 13610
@inproceedings{Eisenring_Platzner_2000, title={Optimization of Run-time Reconfigurable Embedded Systems}, booktitle={Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Eisenring, Michael and Platzner, Marco}, year={2000}, pages={565–574} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000}, title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis 2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
@article{Braatz_Flake_Müller_Westkämper_2000, place={Magdeburg, Germany}, series={Simulation und Visualisierung 2000}, title={Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}, author={Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}, year={2000}, collection={Simulation und Visualisierung 2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, title={Structured English for Model Checking Specification}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
@inproceedings{Müller_Meyer_Zabel_2000, place={Seattle, Washington, USA}, title={A Visual Framework for the Scripting of Parallel Agents}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Müller, Wolfgang and Meyer, Arne and Zabel, Henning}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
@inproceedings{Bhatt_Müller_2000, place={Nagoya, Japan}, title={A Methodology for the Protocol-Centered Design of Agent-Based Systems}, booktitle={Proceedings of IECON 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
@inproceedings{Bhatt_Müller_2000, place={Durham, UK}, title={Morphic Nets: Model Based Design Diagrams}, booktitle={Proceedings of UKPEW 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
@inproceedings{Flake_Müller_Ruf_2000, place={Palermo, Italy}, title={An Advanced Visual Capture for Model Checking Specifications}, booktitle={Proceedings of AVI 2000}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000} }
LibreCat