Peter Raulefs

According to our database, Peter Raulefs authored at least 32 papers between 1974 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Combining Unsupervised and Supervised Approaches to Feature Selection for Multivariate Signal Compression.

Victor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv

Proceedings of the Intelligent Data Engineering and Automated Learning, 2006

Supervised compression of multivariate time series data.

Victor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv

Proceedings of the 14th European Signal Processing Conference, 2006

2002

Technologische Entwicklungsrichtungen in Intellektik und Mikro/Nanokomponentenindustrie.

Peter Raulefs

Künstliche Intell., 2002

1994

The Virtual Factory.

Peter Raulefs

Proceedings of the Applications and Impacts, Information Processing '94, Volume 2, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1991

Cooperating Agent Architectures to Manage Manufacturing Processes.

Peter Raulefs

Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

1989

Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective.

Peter Raulefs

Proceedings of the GWAI-89, 1989

Real-Time AI Systems: A Definition and An Architecture.

Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1987

Real-Time Process Management for Materials Composition in Chemical Manufacturing.

Bruce D'Ambrosio, Michael R. Fehling, Stephanie Forrest, Peter Raulefs, B. Michael Wilber

IEEE Expert, 1987

A Representation Framework for Continuous Dynamic Systems.

Peter Raulefs

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1982

Knowledge Engineering - Das aktuelle Schlagwort.

Peter Raulefs

Inform. Spektrum, 1982

Expertensysteme.

Peter Raulefs

Proceedings of the Künstliche Intelligenz, 1982

Der META-Beweiser für die Zahlentheorie.

W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann

Proceedings of the GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27, 1982

Methoden der künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen.

Peter Raulefs

Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982

1981

A Concurrent Chart Parser.

Peter Raulefs, Hans Siebenbach

Proceedings of the GWAI-81, 1981

Expert Systems: State of the Art and Future Prospects.

Peter Raulefs

Proceedings of the GWAI-81, 1981

An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types.

Ulrich Bartels, Walter G. Olthoff, Peter Raulefs

Proceedings of the GWAI-81, 1981

APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms.

Ulrich Bartels, Walter G. Olthoff, Peter Raulefs

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities.

Günter Hornung, Peter Raulefs

Proceedings of the CAAP '81, 1981

1980

Denotationale Semantik von Programmiersprachen - Das aktuelle Schlagwort.

Peter Raulefs

Inform. Spektrum, 1980

Design Rationale for the Interactive Programming Language CSSA for Asynchronous Multiprocessor Systems

Hans Ludwig Fischer, Peter Raulefs

Proceedings of the Programmiersprachen und Programmentwicklung, 1980

Terminal Algebra Semantics and Retractions for Abstract Data Types.

Günter Hornung, Peter Raulefs

Proceedings of the Automata, 1980

An Expert System for Automatic Codeing of Abstract Data Type Specifications.

H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1979

A short survey on the state of the art in matching and unification problems.

Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht

SIGSAM Bull., 1979

1978

The connection between axiomatic and denotational semantics of programming languages.

Peter Raulefs

Proceedings of the Programmiersprachen, 1978

Problem Solving by Hyper Planning.

Christoph F. Eick, Peter Raulefs

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

Dialogues in Actor Nets.

H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977

CSSA: Language concepts and programming methodology.

H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages.

Peter Raulefs

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Unification of Idempotent Functions.

Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1975

On Evaluating Recursion.

Peter Raulefs

Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1974

Monadic Program Schemes Under Restricted Classes of Free Interpretations.

Werner Dilger, Peter Raulefs

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary).

Peter Raulefs

Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974