Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Ein approximierender Algorithmus fuer die simultane Zeit- und Kapazitaetsplanung

Bosch, R.M.

January 1994

Available from TIB Hannover: F96B1138 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische ...

Bewertung von Algorithmen in der Bildverarbeitung und Mustererkennung Stand der Technik und Anwendung

Wierschin, T.
Fuchs, S. (Technische Univ. Dresden (Germany). Inst. fuer Kuenstliche Intelligenz)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 2000

Available from TIB Hannover: RR 7739(00-04) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Dynamische Zustelleinheiten zur nichtlinearen Stoerungskompensation in Praezisionsdrehmaschinen. Teilprojekt: Einsatz nichtlinearer Algorithmen in aktiven Zustellsystemen Abschlussbericht

Weck, M.
Fraunhofer-Institut fuer Produktionstechnologie (IPT), Aachen (Germany)

January 2001

SIGLEAvailable from TIB Hannover: F01B1512+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Constraint Hierarchien und weiche Constraints. Ein erweiterbarer Ansatz

Grund, W.
IBM Deutschland Informationssysteme GmbH, Heidelberg (Germany). Inst. fuer Logik und Linguistik

January 1996

SIGLEAvailable from TIB Hannover: RR 6689(18)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Repraesentation von Constraints und Zielfunktionen

Funke, B.
Technische Hochschule Aachen (Germany). Lehr- und Forschungsgebiet der Unternehmensforschung

January 1994

Available from TIB Hannover: RR 5796(49) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Konfiguration und Gestaltung mit Constraintsystemen

Brey, M.

January 2003

Available from TIB Hannover: RO 2520(63) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Constraints - eine Wissensrepraesentationsform Ueberblick

Guesgen, H.W.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik

January 1985

TIB: RN 9844 (173) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme

Schwigon, S.
Hofstedt, P. (Technische Univ. Dresden (Germany). Inst. fuer Softwaretechnik I)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 1997

Available from TIB Hannover: RR 7739(97-08)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Wissensrepraesentation zur Modellierung einer technischen Anlage mit Frames und Constraints

Dobrindt, K.
Hahn-Meitner-Institut Berlin G.m.b.H. (HMI) (Germany). Bereich Datenverarbeitung und Elektronik

January 1992

Available from TIB Hannover: ZA 4746(502) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Ein Modell zur effizienten Parallelisierung von Algorithmen auf komplexen, dynamischen Datenstrukturen

Birken, K.

January 1998

Available from TIB Hannover: RO 7298(41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Algorithmik zur sequentiellen Ausgleichung im Gauss-Markoff-Modell

Witych, M.

January 1992

Available from TIB Hannover: RN 7918(10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Erweiterter Algorithmus zur differentialalgebraischen Stoergroessenentkopplung

Broecker, M.
Polzer, J.
Duisburg Univ. (Gesamthochschule) (Germany). Fachgebiet 8 - Mess-, Steuer- und Regelungstechnik

January 1999

Available from TIB Hannover: RN 8583(1999,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

CONSTRAINTS: Eine Einfuehrung

Decker, R.
Siemens A.G., Muenchen (Germany)

January 1988

SIGLETIB: RO 8599(8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Ein Algorithmus fuer Existenzbeweis und Fehlerabschaetzung bei Zweipunkt-Randwertaufgaben vierter Ordnung

Goehlen, M.

January 1991

SIGLEAvailable from TIB Hannover: DW 2944 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Algorithmen und Werkzeuge fuer Petrinetze Workshop

Desel, J.
Oberweis, A. (Karlsruhe Univ. (T.H.) (Germany))
Reisig, W. (Humboldt-Universitaet, Berlin (Germany)) (eds.)
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Angewandte Informatik und Formale Beschreibungsverfahren

January 1994

SIGLEAvailable from TIB Hannover: RN 3492(309) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Ein approximierender Algorithmus fuer die simultane Zeit- und Kapazitaetsplanung

Bosch, R.M.

January 1994

Available from TIB Hannover: F96B1138 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische ...

Bewertung von Algorithmen in der Bildverarbeitung und Mustererkennung Stand der Technik und Anwendung

Wierschin, T.
Fuchs, S. (Technische Univ. Dresden (Germany). Inst. fuer Kuenstliche Intelligenz)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 2000

Available from TIB Hannover: RR 7739(00-04) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Dynamische Zustelleinheiten zur nichtlinearen Stoerungskompensation in Praezisionsdrehmaschinen. Teilprojekt: Einsatz nichtlinearer Algorithmen in aktiven Zustellsystemen Abschlussbericht

Weck, M.
Fraunhofer-Institut fuer Produktionstechnologie (IPT), Aachen (Germany)

January 2001

SIGLEAvailable from TIB Hannover: F01B1512+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Constraint Hierarchien und weiche Constraints. Ein erweiterbarer Ansatz

Grund, W.
IBM Deutschland Informationssysteme GmbH, Heidelberg (Germany). Inst. fuer Logik und Linguistik

January 1996

SIGLEAvailable from TIB Hannover: RR 6689(18)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Repraesentation von Constraints und Zielfunktionen

Funke, B.
Technische Hochschule Aachen (Germany). Lehr- und Forschungsgebiet der Unternehmensforschung

January 1994

Available from TIB Hannover: RR 5796(49) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Konfiguration und Gestaltung mit Constraintsystemen

Brey, M.

January 2003

Available from TIB Hannover: RO 2520(63) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Constraints - eine Wissensrepraesentationsform Ueberblick

Guesgen, H.W.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik

January 1985

TIB: RN 9844 (173) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme

Schwigon, S.
Hofstedt, P. (Technische Univ. Dresden (Germany). Inst. fuer Softwaretechnik I)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 1997

Available from TIB Hannover: RR 7739(97-08)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Wissensrepraesentation zur Modellierung einer technischen Anlage mit Frames und Constraints

Dobrindt, K.
Hahn-Meitner-Institut Berlin G.m.b.H. (HMI) (Germany). Bereich Datenverarbeitung und Elektronik

January 1992

Available from TIB Hannover: ZA 4746(502) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Ein Modell zur effizienten Parallelisierung von Algorithmen auf komplexen, dynamischen Datenstrukturen

Birken, K.

January 1998

Available from TIB Hannover: RO 7298(41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Algorithmik zur sequentiellen Ausgleichung im Gauss-Markoff-Modell

Witych, M.

January 1992

Available from TIB Hannover: RN 7918(10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Erweiterter Algorithmus zur differentialalgebraischen Stoergroessenentkopplung

Broecker, M.
Polzer, J.
Duisburg Univ. (Gesamthochschule) (Germany). Fachgebiet 8 - Mess-, Steuer- und Regelungstechnik

January 1999

Available from TIB Hannover: RN 8583(1999,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

CONSTRAINTS: Eine Einfuehrung

Decker, R.
Siemens A.G., Muenchen (Germany)

January 1988

SIGLETIB: RO 8599(8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Ein Algorithmus fuer Existenzbeweis und Fehlerabschaetzung bei Zweipunkt-Randwertaufgaben vierter Ordnung

Goehlen, M.

January 1991

SIGLEAvailable from TIB Hannover: DW 2944 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Algorithmen und Werkzeuge fuer Petrinetze Workshop

Desel, J.
Oberweis, A. (Karlsruhe Univ. (T.H.) (Germany))
Reisig, W. (Humboldt-Universitaet, Berlin (Germany)) (eds.)
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Angewandte Informatik und Formale Beschreibungsverfahren

January 1994

SIGLEAvailable from TIB Hannover: RN 3492(309) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Ein approximierender Algorithmus fuer die simultane Zeit- und Kapazitaetsplanung

Bosch, R.M.

January 1994

Available from TIB Hannover: F96B1138 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische ...

Bewertung von Algorithmen in der Bildverarbeitung und Mustererkennung Stand der Technik und Anwendung

Wierschin, T.
Fuchs, S. (Technische Univ. Dresden (Germany). Inst. fuer Kuenstliche Intelligenz)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 2000

Available from TIB Hannover: RR 7739(00-04) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Dynamische Zustelleinheiten zur nichtlinearen Stoerungskompensation in Praezisionsdrehmaschinen. Teilprojekt: Einsatz nichtlinearer Algorithmen in aktiven Zustellsystemen Abschlussbericht

Weck, M.
Fraunhofer-Institut fuer Produktionstechnologie (IPT), Aachen (Germany)

January 2001

SIGLEAvailable from TIB Hannover: F01B1512+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Abstract

Extracted data

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Abstract

Extracted data

Related items

Related items