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
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.
2000 | Journal Article | LibreCat-ID: 16196
Fuzzy dynamics and applications in biological systems modelling
E. Hüllermeier, C. Giersch, Systems Analysis, Modelling, Simulation 38 (2000) 29–50.
LibreCat
E. Hüllermeier, C. Giersch, Systems Analysis, Modelling, Simulation 38 (2000) 29–50.
2000 | Journal Article | LibreCat-ID: 16198
Evaluation and specification of a synergetic business cycle model with German data
E. Hüllermeier, M. Kraft, P. Weise, Homo Oeconomicus XVI (2000).
LibreCat
E. Hüllermeier, M. Kraft, P. Weise, Homo Oeconomicus XVI (2000).
2000 | Book Chapter | LibreCat-ID: 16234
Formalizing case-based inference using fuzzy rules
D. Dubois, E. Hüllermeier, H. Prade, in: S.K. Pal, D.Y. So, T. Dillon (Eds.), Soft Computing in Case-Based Reasoning, Springer, 2000, pp. 47–72.
LibreCat
D. Dubois, E. Hüllermeier, H. Prade, in: S.K. Pal, D.Y. So, T. Dillon (Eds.), Soft Computing in Case-Based Reasoning, Springer, 2000, pp. 47–72.
2000 | Journal Article | LibreCat-ID: 16345
Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik
F. Meyer auf der Heide, R. Wanka, ForschungsForum Paderborn (2000) 112–116.
LibreCat
| Files available
F. Meyer auf der Heide, R. Wanka, ForschungsForum Paderborn (2000) 112–116.
2000 | Conference Paper | LibreCat-ID: 13609
An Implementation Framework for Run-time Reconfigurable Systems
M.H. Eisenring, M. Platzner, in: Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE), CSREA Press, 2000, pp. 151–157.
LibreCat
M.H. Eisenring, M. Platzner, in: Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE), CSREA Press, 2000, pp. 151–157.
2000 | Conference Paper | LibreCat-ID: 13610
Optimization of Run-time Reconfigurable Embedded Systems
M. Eisenring, M. Platzner, in: Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL), Springer, 2000, pp. 565–574.
LibreCat
M. Eisenring, M. Platzner, in: Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL), Springer, 2000, pp. 565–574.
2000 | Conference Paper | LibreCat-ID: 39434
Modellprüfung für den Entwurf von Fertigungssteuerungssystemen
S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
LibreCat
S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
2000 | Conference Paper | LibreCat-ID: 39444
Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
LibreCat
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
2000 | Conference Paper | LibreCat-ID: 39461
Structured English for Model Checking Specification
S. Flake, W. Müller, J. Ruf, (2000).
LibreCat
S. Flake, W. Müller, J. Ruf, (2000).
2000 | Conference Paper | LibreCat-ID: 39435
A Visual Framework for the Scripting of Parallel Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
LibreCat
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
2000 | Conference Paper | LibreCat-ID: 39439
A Methodology for the Protocol-Centered Design of Agent-Based Systems
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.
LibreCat
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.
2000 | Conference Paper | LibreCat-ID: 39442
Morphic Nets: Model Based Design Diagrams
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
LibreCat
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
2000 | Conference Paper | LibreCat-ID: 39464
An Advanced Visual Capture for Model Checking Specifications
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
LibreCat
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.