Publikationen des Fachbereichs Informatik an der Universität des Saarlandes
Host

Hosted by SciDok, Wissenschaftsserver der Universität des Saarlandes

Informationen zum Herausgeber
Kontakt
Homepage


Autoren
  • Ali, Safdar
  • Heizmann, Susanne
  • Abb, Bernd
  • Abecker, Andreas
  • Achilles, Erich
  • Ahmad, Iftikhar
  • Ahmed, Naveed
  • Ahrenberg, Lukas
  • Ahuja, Ravindra K.
  • Aiken, Alexander
  • Aitken, J. Stuart
  • Ajwani, Deepak
  • Albrecht, Irene
  • Albrecht, Mario
  • Alexandersson, Jan
  • Ali, Majdi Ben Hadj
  • Alkassar, Eyad
  • Alt, Helmut
  • Alt, Martin
  • Altenkamp, Doris
  • Althaus, Ernst
  • Althoff, Frederek
  • Altmann, Andr├ę
  • Altmeyer, Sebastian
  • Alvarez Amaya, Victor Manuel
  • Amtrup, Jan W.
  • Anand, Avishek
  • Andel, Simone
  • Andr├ę, Elisabeth
  • Andr├ę, Elisabeth
  • Andr├ę, Elisabeth
  • Annen, Thomas
  • Aragon, Cecilia R.
  • Assenov, Yassen
  • Aubertin, Isabelle
  • Auerswald, Marco
  • Autexier, Serge
  • Awadallah, Rawia
  • A├»t-Kaci, Hassan
  • Baader, Franz
  • Baader, Franz
  • Baader, Franz
  • Baak, Andreas
  • Bachelier, G├╝nter
  • Bachmann, Bernd
  • Bachmann, Bernd
  • Backes, Christina
  • Backes, Michael
  • Backes, Werner
  • Backofen, Rolf
  • Backofen, Rolf
  • Backofen, Rolf
  • Bade, Ute
  • Bagdanov, Andrew D.
  • Bakenecker, G.
  • Bandyopadhyay, Som
  • Bandyopadhyay, Som
  • Barth, Wolfgang
  • Bast, Hannah
  • Batliner, A.
  • Batliner, Anton
  • Bauer, J├Ârg
  • Bauer, Mathias
  • Bauer, Mathias
  • Baumann, Christoph
  • Baumann, Stephan
  • Baumann, Stephan
  • Baumeister, Hubert
  • Becker, Andreas
  • Becker, Bernd
  • Becker, Kerstin
  • Becker, Klaus
  • Becker, Klaus
  • Becker, Michael
  • Becker, Volker
  • Beetz, Michael
  • Beggel, Bastian
  • Beham, Manfred
  • Behle, Markus
  • Beier, Ren├ę
  • Bender, Matthias
  • Bengeloune, Idriss
  • Benthin, Carsten
  • Benzmueller, Christoph
  • Benzm├╝ller, Christoph
  • Benzm├╝ller, Ralf
  • Berberich, Eric
  • Berberich, Klaus Lorenz
  • Berg, Matthias
  • Berger, Frank
  • Berger, Frank
  • Berger, Franz-Dieter
  • Bergmann, Ralf
  • Bernardi, Ansgar
  • Bernardi, Ansgar
  • Bernardi, Ansgar
  • Beyer, Sven
  • Bieber, Ronald
  • Biehl, Ingrid
  • Birk, Andreas
  • Biundo, Susanne
  • Biundo, Susanne
  • Biundo, Susanne
  • Blankenburg, Bastian
  • Bleiching, Doris
  • Bleisinger, Rainer
  • Bleisinger, Rainer
  • Blocher, Anselm
  • Block, H. U.
  • Block, U.
  • Blum, Christian
  • Blum, Norbert
  • Bock, Christoph
  • Bodirsky, Manuel
  • Bogan, Sebastian
  • Bogojeska, Jasmina
  • Bohnenberger, Thorsten
  • Bokeloh, Martin
  • Boley, Harold
  • Boley, Harold
  • Boley, Harold
  • Bomarius, Frank
  • Bos, Johan
  • Bourne, Lyle E.
  • Bozek, Katarzyna
  • Brabec, Stefan
  • Brandherm, Boris
  • Brandmaier, Andreas Markus
  • Brants, Thorsten
  • Bretthauer, Harry
  • Breuer, Peter
  • Broschart, Andreas
  • Brox, Thomas
  • Bruhn, Andr├ęs
  • Bry, Fran├žois
  • Bub, Thomas
  • Buchheit, Martin
  • Buchheit, Martin
  • Buchheit, Martin
  • Buchheit, Martin
  • Buchmann, Johannes
  • Buck, Matthias
  • Bugiel, Sven
  • Buhrmann, Ulrich
  • Buhrmann, Ulrich
  • Burch, Thomas
  • Burger, Martin
  • Burger, S.
  • Burger, Susanne
  • Burkhardt, Stefan
  • Burt, Alastair
  • Buschauer, B├ęla
  • Buschbeck-Wolf, Bianka
  • Busemann, Stephan
  • Busemann, Stephan
  • Bussmann, Stefan
  • Bussmann, Stefan
  • Butt, Miriam
  • Butt, Miriam
  • Butz, Andreas
  • Butz, Andreas Martin
  • B├Ąckstr├Âm, Christer
  • B├Ąhr, Jan-Thies
  • B├Âhmer, Matthias
  • B├Âschen, Christoph
  • B├╝rckert, Hans-J├╝rgen
  • B├╝rckert, Hans-J├╝rgen
  • B├╝rckert, Hans-J├╝rgen
  • B├╝rckert, Hans-J├╝rgen
  • Caroli, Folker
  • Carson-Berndsen, Julie
  • Caspari, Rudolf
  • Caspary, P.
  • Castronovo, Sandro
  • Chadzelek, Thomas
  • Chen, Tongbo
  • Cheriyan, Joseph
  • Ching, Y. T.
  • Ciobotaru, Oana-M─âd─âlina
  • Comon, Hubert
  • Comon, Hubert
  • Copestake, Ann
  • Crauser, Andreas
  • Crecelius, Tom
  • Cullmann, Christoph
  • Cyganiak, Richard
  • Dalinger, Iakov
  • Dallmeier, Valentin
  • Damova, Mariana
  • Dannenmann, Peter
  • Daubert, Katja
  • Daum, Matthhias
  • De Mori, Renato
  • Debusmann, Ralph
  • Decker, Stefan
  • Declerck, Thierry
  • Degenbaev, Ulan
  • Dehof, Anna Katharina
  • Demmer, Alexander
  • Denev, Dimitar
  • Dengel, Andreas
  • Dengel, Andreas
  • Dengler, Dietmar
  • Dengler, Dietmar
  • Dengler, Dietmar
  • Denny, Markus Oswald
  • Denny, Thomas Friedrich
  • Denzler, J.
  • Denzler, Joachim
  • Derr, Erik
  • Deutsches Forschungszentrum f├╝r K├╝nstliche Intelligenz
  • Diagne, Abdel Kader
  • Diagne, Abdel Kader
  • Dickmann, Ludwig
  • Didyk, Piotr
  • Diehl, Stefan
  • Diehl, Stephan
  • Dienes, P├ęter
  • Dietrich, Andreas
  • Dietrich, Dominik
  • Dimitrova, Rayana
  • Dini, Luca
  • Dischinger, Marcel
  • Dittrich, Stefan
  • Dong, Zhao
  • Donini, Francesco M.
  • Donini, Francesco M.
  • Donini, Francesco M.
  • Donini, Francesco M.
  • Dorna, Michael
  • Drexel, Guido
  • Drollinger, Dennis
  • Dr├Ąger, Klaus
  • Duchier, Denys
  • Duda, Markus
  • Dylla, Maximilian
  • D├Ârrenb├Ącher, Jan
  • D├╝llmann, Stephan
  • D├╝rmuth, Markus
  • Eberhart, Andreas
  • Eberle, Kurt
  • Ebert, Sandra
  • Eckert, Rolf
  • Eckstein, Jens
  • Egg, Markus
  • Ehlers, R├╝diger
  • Ehresmann, Volker
  • Eigenwillig, Arno
  • Einsele, Tobias
  • Elbassuoni, Shady
  • Elsbernd, Klaus
  • Elsner, Anja
  • Embacher, Christian
  • Emele, Martin
  • Emeliyanenko, Pavel
  • Emig, Dorothea
  • Encarna├ž├úo, Jos├ę L.
  • Endres, Christoph
  • Engel, Ralf
  • Erickson, Jeff
  • Erk, Katrin
  • Eulenstein, Michael
  • Euler, Lutz
  • Faust, Lioba
  • Fecht, Christian
  • Federmann, Christian
  • Fehrle, Thomas
  • Fehrle, Thomas
  • Feibel, Harald
  • Fein, Frank
  • Feld, Michael
  • Feldhaus, Anke
  • Ferdinand, Christian
  • Fettig, Thomas
  • Fettig, Thomas
  • Fettke, Peter
  • Feuerbach, Lars
  • Fiedler, Armin
  • Fietzke, Arnaud
  • Finkler, Wolfgang
  • Finkler, Wolfgang
  • Finkler, Wolfgang
  • Fischer, Cornelia
  • Fischer, J.
  • Fischer, Klaus
  • Fischer, Klaus
  • Fischmann, Matthias
  • Flach, Gudrun
  • Fleischer, Rudolf
  • Flickinger, Dan
  • Formella, Arno
  • Fouz, Mahmoud
  • Franconi, Enrico
  • Frese, Udo
  • Friedrich, Heiko
  • Fritsch, J├╝rgen
  • Fritz, Nicolas
  • Fr├╝hwirth, Thom
  • Fuchs, J├╝rgen
  • Fuchs, Martin
  • Fuhrmann, Jan
  • Fujinami, Tsutomu
  • Funck, Wolfram Alexander
  • Funk, Petra
  • Funke, Stefan
  • Gallwitz, Florian
  • Gamb├Ąck, Bj├Ârn
  • Gamkrelidze, Alexander
  • Gawron, Jean Mark
  • Gebhard, A.
  • Gebhard, Gernot
  • Gebhard, Patrick
  • Gehler, Peter Vincent
  • Gehring, Sven Hendrik
  • Gehrke, Manfred
  • Gei├čler, Stefan
  • Gerber, Andreas
  • Gerber, Christian
  • Gerd, Smolka
  • Gerlach, Heiko
  • Gerling, Sebastian
  • Geske, Ulrich
  • Gibbon, Dafydd
  • Gillmann, Michael H.
  • Glasner, Ingrid
  • Globig, Christoph
  • Goesele, Michael
  • Goguadze, Giorgi
  • Goldl├╝cke, Bastian
  • Gores, Klaus-Peter
  • Gores, Klaus-Peter
  • Gorius, Manuel
  • Graf, Winfried
  • Graf, Winfried
  • Graf, Winfried
  • Graf, Winfried H.
  • Graf, Winfried H.
  • Graf, Winfried H.
  • Granados Velasquez, Miguel A.
  • Graupmann, Jens
  • Grice, Martine
  • Grosche, Peter Matthias
  • Grosse, Malte
  • Gro├č, Werner
  • Gr├╝nheid, Rainer
  • Guan, Yonggang
  • Gwosdek, Pascal
  • G├Ąrtner, Tobias
  • G├Ârg, Carsten
  • G├Ârz, G├╝nther
  • G├╝nther, David
  • G├╝ttler, Rainer
  • Haas, J├╝rgen
  • Hachenberger, Peter
  • Hadj Ali, Majdi Ben
  • Hagerup, Torben
  • Hahn, Christian
  • Hahn, Christian Steven
  • Hahn, Ernst Moritz
  • Halachev, Konstantin
  • Hall, Victoria
  • Hammer, Christian
  • Handl, Ralf
  • Hanschke, Philipp
  • Hanschke, Philipp
  • Hanschke, Philipp
  • Hanschke, Philipp
  • Happ, Edda
  • Harbeck, Stefan
  • Harbusch, Karin
  • Harengel, S.
  • Harm, Martin
  • Harren, Rolf
  • Hartmann, Christoph
  • Hasler, Nils
  • Hauenschild, Christa
  • Hauenstein, Andreas
  • Haupert, Jens
  • Hecking, Matthias
  • Heckler, Andreas Ramses
  • Heckler, Ramses A.
  • Heckmann, Dominikus
  • Heckmann, Reinhold
  • Hein, Hans-G├╝nther
  • Hein, Hans-G├╝nther
  • Heine, Henrik
  • Heinecke, Johannes
  • Heinsohn, Jochen
  • Heinsohn, Jochen
  • Heizmann, Susanne
  • Hellmuth, Marc
  • Helten, Thomas
  • Hense, Andreas V.
  • Henz, Martin
  • Henz, Martin
  • Herbig, Bernhard
  • Herfert, Michael
  • Hertel, Joachim
  • Hertel, Stefan
  • Herter, J├Ârg
  • Herzig, Kim Sebastian
  • Hess, Wolfgang
  • Hettler, Rudolf
  • Heuft, Barbara
  • Heydthausen, Manfred
  • Hildebrandt, Andreas
  • Hillebrand, Mark
  • Hillenbrand, Thomas
  • Hinkelman, Elizabeth
  • Hinkelman, Elizabeth A.
  • Hinkelman, Elizabeth A.
  • Hinkelman, Elizabeth A.
  • Hinkelmann, Knut
  • Hinkelmann, Knut
  • Hintze, Helge
  • Hoch, Rainer
  • Hoch, Rainer
  • Hoch, Rainer
  • Hoche, Michael
  • Hoffmann, Annette
  • Hoffmann, Christian
  • Hoffmann, J├Ârg
  • Hoffmann, Kurt
  • Holbach-Weber, Susan
  • Hollunder, Bernhard
  • Hollunder, Bernhard
  • Homik, Martin
  • Horbach, Matthias
  • Horstmann, Thilo C.
  • Hotz, Guenter
  • Hotz, G├╝nter
  • Houy, Constantin
  • Hower, Walter
  • Hritcu, Catalin
  • Huber, Anna
  • Hufschmidt, Holger
  • Hullin, Matthias B.
  • Hussmann, Heinrich
  • Hust, Armin
  • Hustadt, Ullrich
  • Hutter, Dieter
  • H├Âfer, Florian
  • H├Âfling, Bj├Ârn
  • H├Ânes, Frank
  • H├Âper, Hans Werner
  • H├╝bener, Kai
  • Ifrim, Georgiana
  • Ihlemann, Carsten
  • Ihrke, Ivo
  • Jacobi, Christian
  • Jacobs, Swen
  • Jaeger, Manfred
  • Jain, Arjun
  • Jekat, Susanne
  • Jekat-Rommel, Susanne
  • Jeusfeld, Manfred A.
  • Jeusfeld, Manfred A.
  • Jindal, Alekh
  • Johannes, Dierk
  • Johannsen, Daniel
  • Johne, B.
  • Jost, Uwe
  • Jung, Christoph
  • Jung, Christoph
  • Jung, Christoph G.
  • Jung, Christoph G.
  • Junker, Markus
  • Jurkiewicz, Tomasz
  • J├Ąger, Thorsten
  • Kaehler, Kolja
  • Kahles, B.
  • Kameyama, Shinichi
  • Kaminski, Mark
  • Kamp, Gerd
  • Kamp, Gerd
  • Kandzia, Peter
  • Karrenbauer, Andreas
  • Kasneci, Gjergji
  • Kasper, Walter
  • Katriel, Irit
  • Kaufmann, Michael
  • Kazakov, Yevgeny
  • Keller, Frank
  • Keller, J├Ârg
  • Keller, Paul
  • Kemke, Christel
  • Kerber, Jens
  • Kerber, Michael
  • Kerren, Andreas
  • Kesseler, Marcus
  • Kessler, Christoph W.
  • Khosla, Megha
  • Kiefer, Bernd
  • Kiefer, Bernd
  • Kiefer, Klaus
  • Kieninger, Thomas
  • Kieninger, Thomas
  • Kiessling, A.
  • Kiessling, Andreas
  • Kie├čling, A.
  • Kie├čling, Andreas
  • Kikui, Gen-ichiro
  • Kilger, Anne
  • Kilger, Anne
  • Kilian, U.
  • King, Simon
  • Kipp, Michael
  • Kirchhoff, Katrin
  • Kirchmann, Heinz
  • Kiss, Tibor
  • Kissmann, Peter
  • Klau, Gunnar Werner
  • Klauck, Christoph
  • Klauck, Christoph
  • Klauck, Christoph
  • Klauck, Christoph
  • Klein, Alexandra
  • Klein, Bertin
  • Klein, Judith
  • Klein, Judith
  • Klein, Lars
  • Klein, Rolf
  • Klein, R├╝diger
  • Kleinbauer, Thomas
  • Klesen, Martin
  • Kl├Âckner, Kristof
  • Knabe, Tore
  • Knapp, Steffen
  • Knebusch, Manfred
  • Kneissl, Benny
  • Koehler, Jana
  • Koehler, Jana
  • Koehler, Jana
  • Koenen-Dresp, Alexander
  • Kohlbacher, Oliver
  • Kohlhase, Michael
  • Kolano, Guido
  • Kolla, Reiner
  • Koller, Alexander
  • Kompe, R.
  • Kompe, Ralf
  • Kompe, Ralf
  • Kondreddi, Sarath Kumar
  • Konrad, Karsten
  • Konz, Verena
  • Kopp, Herbert
  • Kornst├Ądt, Leif Tobias
  • Korthals, Christian
  • Kovalev, Mikhail
  • Kov├ícs, Ann├ímaria
  • Kratsch, Stefan
  • Krause, Detlev
  • Krause, Thomas
  • Krawczyk, Grzegorz Marek
  • Kray, Christian
  • Krebs, Jochen
  • Kremer, Christof
  • Krenn, Brigitte
  • Krieger, Hans-Ulrich
  • Krieger, Hans-Ulrich
  • Krone, Gabriele
  • Kroner, Hans-J├Ârg
  • Krstulovic, Sacha
  • Kruglov, Evgeny
  • Kruppa, Michael
  • Kr├Âll, Berthold
  • Kr├Âning, Daniel
  • Kr├╝ger, Antonio
  • Kudenko, Daniel
  • Kuhlmann, Marco
  • Kuhn, Jonas
  • Kuhn, Norbert
  • Kuhn, R.
  • Kuhn, T.
  • Kuhtz, Lars
  • K├Ąstner, Daniel
  • K├Âhler, Jana
  • K├Ânig, Arnd Christian
  • K├╝hn, Otto
  • K├╝hn, Otto
  • K├╝hn, Otto
  • K├╝mmel, Sylvia
  • K├╝ssner, Uwe
  • Labisch, Thomas
  • Lakhal, Aref
  • Lang, Mathias M.
  • Langenbach, Marc
  • Langend├Ârfer, Horst
  • Langmaack, Hans
  • Laubsch, Joachim
  • Laud, Peeter
  • Lauer, Andreas
  • Laufk├Âtter, Gernod
  • Laufk├Âtter, Gernod P.
  • Laux, Armin
  • Laux, Armin
  • Laux, Robert
  • Lebeth, Kai
  • Lechner, Markus
  • Legleitner, Ralf
  • Legleitner, Ralf
  • Legleitner, Ralf
  • Legleitner, Ralf
  • Lehmann, Thomas
  • Lehning, Michael
  • Leinenbach, Dirk Carsten
  • Lengauer, Thomas
  • Lenhof, Hans-Peter
  • Lensch, Hendrik Peter Asmus
  • Lenzerini, Maurizio
  • Lenzerini, Maurizio
  • Lermen, Claus-Werner
  • Le├│n Soto, Esteban
  • Li, Linlin
  • Li, Ming
  • Li, Zhao
  • Libbrecht, Paul
  • Lichter, J├╝rgen
  • Liefke, Thomas
  • Lieske, Christian
  • Lind, J├╝rgen
  • Linster, Marc
  • Lintu, Andrei
  • Lipps, Peter
  • Loeckx, Jacques
  • Lohnse, Georg
  • Lohse, Marco
  • Loos, Peter
  • Lorenz, Andreas
  • Louis, Alfred K.
  • Lu, Tianxiang
  • Lucas, Philipp
  • Lutzy, Ottmar
  • Lutzy, Ottmar
  • Lux, Andreas
  • L├Âchel, Matthias
  • L├Âchtefeld, Markus
  • L├Âckelt, Markus
  • L├╝ngen, Harald
  • Maas, Thomas
  • Maa├č, Wolfgang
  • MacGlashan, Scott
  • Madrigal-Mora, Cristi├ín
  • Maffei, Matteo
  • Mahr, Bernd
  • Maier, Elisabeth
  • Maier, Markus Martin
  • Maier, Patrick
  • Makinson, David
  • Malburg, Michael
  • Malburg, Michael
  • Malburg, Michael H.
  • Maleck, Ilona
  • Malik, Thomas
  • Mantel, Heiko
  • Mantel, Heiko
  • Mantiuk, Rafal
  • Marcon, Massimiliano
  • Marmitt, Gerd
  • Martin, Florian
  • Marzinkewitsch, Reiner
  • Mast, Marion
  • Mastenbroek, Elsbeth
  • Mastenbroek, Elsbeth
  • Matijevi, Domagoj
  • Mattern, Friedemann
  • Mattos, Nelson M.
  • Maus, Heiko
  • Mauss, Jakob
  • Mauss, Jakob
  • Maydt, Jochen
  • Mayer, J├Ârg
  • McGlashan, Scott
  • Mehl, Horst
  • Mehl, Michael
  • Mehlhorn, Kurt
  • Meier, Andreas
  • Meiser, Stefan
  • Meiss, Liane
  • Melis, Erica
  • Melo, Gerard de
  • Menzel, Wolfgang
  • Merget, Iris
  • Merkel, Andreas
  • Merziger, Gabriele
  • Merziger, Gaby
  • Metzger, Steffen
  • Meyer auf'm Hofe, Harald
  • Meyer auf┬┤m Hofe, Harald
  • Meyer, Bernd
  • Meyer, Christoph
  • Meyer, Manfred
  • Meyer, Manfred
  • Meyer, Manfred A.
  • Meyer, Markus
  • Meyer, Ulrich
  • Michel, Sebastian
  • Middendorf, Martin
  • Miele, Sebastian
  • Mileva, Yana Momchilova
  • Millies, Sebastian
  • Millies, Sebastian
  • Miroll, Jochen
  • Mohr, Esther
  • Mohren, J├Ârg-Peter
  • Mohren, J├Ârg-Peter
  • Molitor, Paul
  • Moll, Andreas
  • Mori, Yoshiki
  • Mukhopadhyay, Supratik
  • M├Ąntyl├Ą, Martti
  • M├Âhl, Mathias
  • M├Âncke, Ulrich
  • M├Âncke, Ulrich R.
  • M├╝ller, Christian
  • M├╝ller, Heinz-J├╝rgen
  • M├╝ller, Jochen
  • M├╝ller, J├Ârg
  • M├╝ller, J├Ârg P.
  • M├╝ller, J├Ârg P.
  • M├╝ller, J├Ârg P.
  • M├╝ller, J├╝rgen
  • M├╝ller, Martin Ludwig
  • M├╝ller, Roman
  • M├╝ller, Stefan
  • M├╝ller, Tobias
  • M├╝ller, Volker
  • Nakashole, Ndapandula T.
  • Nanz, Christine
  • Nard, Daniele
  • Nardi, Daniele
  • Natterer, Frank
  • Naujoks, Rouven
  • Ndiaye, Alassane
  • Nebel, Bernhard
  • Nebel, Bernhard
  • Nebel, Bernhard
  • Nerbonne, John
  • Nerbonne, John
  • Nerbonne, John
  • Nerjes, Guido
  • Netter, Klaus
  • Netter, Klaus
  • Neuhaus, Stephan
  • Neumann, G├╝nter
  • Neumann, G├╝nter
  • Neumann, G├╝nter
  • Neumann, Philipp
  • Neurohr, Stefan
  • Niehren, Joachim
  • Niehren, Joachim
  • Niemann, H.
  • Niemann, Heinrich
  • Nievergelt, Jurg
  • Nikolaus, U.
  • Nivat, Maurice
  • Nonnengart, Andreas
  • Novak, Hans-Joachim
  • Nutt, Werner
  • Nutt, Werner
  • Nutt, Werner
  • N├Ąher, Stefan
  • N├Âth, E.
  • N├Âth, Elmar
  • N├╝bel, R.
  • N├╝bel, Rita
  • Oepen, Stephan
  • Oepen, Stephan
  • Oertzen, Timo von
  • Olk, Matthias
  • Oltzen, Thomas
  • Orlin, James B.
  • Osbild, Ralf
  • Ott, K.
  • Padberg, Frank
  • Pammi, Sathish Chandra
  • Pampel, Martina
  • Papanikolaou, Thomas
  • Parduhn, Sascha A.
  • Parreira, Josiane Xavier
  • Patil, Kaustubh Raosaheb
  • Paul, Gabriele
  • Paul, Gabriele
  • Paulus, Erwin
  • Peine, Holger
  • Peltason, Christof
  • Perling, Markus
  • Perling, Markus
  • Peter, Hans-J├Ârg
  • Peters, Frank
  • Peters, Stanley
  • Peters, Ulrich
  • Petrova, Elena
  • Petzol, Anja
  • Petzold, Anja
  • Petzolt, Susanne
  • Pfau, Thilo
  • Pfleger, Norbert
  • Philippi, Joachim
  • Philipps, Stefan
  • Pinchuk, Roman
  • Pinkal, Manfred
  • Pinkal, Manfred
  • Pirker, Hannes
  • Pischel, Markus
  • Piskorski, Jakub
  • Pister, Markus
  • Pizarro, Luis
  • Plannerer, Bernd
  • Podelski, Andreas
  • Podelski, Andreas
  • Poller, Peter
  • Poller, Peter
  • Polzin, Tobias
  • Pomeranz, Irith
  • Pomi, Andreas
  • Popov, Stefan
  • Popov, Stefan Georgiev
  • Portele, Thomas
  • Prahl, Birte
  • Prei├č, Jochen
  • Preparata, Franco P.
  • Prescher, Detlef
  • Preu├č, Wiebke
  • Priebe, Volker
  • Priesnitz, Tim
  • Probst, Christian W.
  • Profitlich, Hans-J├╝rgen
  • Profitlich, Hans-J├╝rgen
  • Pulungan, Muhammad Reza
  • Qu, Lizhen
  • Quantz, J. Joachim
  • Quantz, Joachim J.
  • Rauber, Thomas
  • Rauf, Imran
  • Ray, Rahul
  • Ray, Saurabh
  • Regel-Brietzmann, P.
  • Reichel, Joachim
  • Reichert, A.
  • Reichl, W.
  • Reif, Wolfgang
  • Reimer, Ulrich
  • Reinartz, Thomas
  • Reinartz, Thomas
  • Reinecke, J├Ârg
  • Reinert, Knut
  • Reinhard, Sabine
  • Reinhard, Sabine
  • Reiter, Markus
  • Reithinger, Norbert
  • Reuter, Andre
  • Reyelt, Matthias
  • Richter, J├Ârg
  • Richter, Michael M.
  • Richter, Michael M.
  • Rieck, S.
  • Ripplinger, B.
  • Ripplinger, B├Ąrbel
  • Rist, Thomas
  • Rist, Thomas
  • Rist, Thomas
  • Ritschel, Tobias
  • Rock, Georg
  • Rogers, James
  • Rohnert, Hans
  • Rohrbach, Marcus
  • Rosenstiehl, Pierre
  • Rossberg, Andreas
  • Roth, Ralf
  • Ruland, T.
  • Rumpler, Martin
  • Rupp, Christopher John
  • Rurainski, Alexander
  • Ruske, G.
  • Ruske, G├╝nther
  • Ru├č, Christian
  • Rybalchenko, Andrey
  • R├Âssl, Christian
  • R├Âttger, Richard
  • R├Â├čler, Jeremias
  • R├╝nger, Gudula
  • Sablayrolles, Pierre
  • Sablayrolles, Pierre
  • Sadeghi, Ahmad-Reza
  • Sander, Georg
  • Santos, Nuno Miguel Carvalho
  • Sauermann, Leo
  • Schaaf, Martin
  • Schacht, S.
  • Schacht, Susanne
  • Schaefer, Ina
  • Schaerf, Andrea
  • Schairer, Axel
  • Schauder, Anne
  • Schauder, Anne
  • Schauder, Anne
  • Scheidhauer, Ralf
  • Scheidig, Helge
  • Schelhorn, Sven-Eric
  • Schellhorn, Gerhard
  • Schenkel, Ralf
  • Scherbaum, Kristina
  • Scherzinger, Stefanie
  • Scheuermann, Peter
  • Schewe, Sven
  • Schieffer, Bj├Ârn R├╝diger
  • Schiehlen, Michael
  • Schier, Darius
  • Schiffmann, Thomas
  • Schild, Klaus
  • Schild, Klaus
  • Schillo, Christoph
  • Schillo, Michael
  • Schillo, Michael
  • Schirmacher, Hartmut
  • Schirra, Stefan
  • Schlechta, Karl
  • Schlechta, Karl
  • Schlicker, Andreas
  • Schlickling, Marc
  • Schmalhofer, Franz
  • Schmalhofer, Franz
  • Schmalhofer, Franz
  • Schmaltz, Christian
  • Schmaltz, Sabine Bettina
  • Schmeier, Sven
  • Schmid, Helmut
  • Schmid, Klaus
  • Schmid, Ludwig
  • Schmidt, Gabriele
  • Schmidt, Gabriele
  • Schmidt, Mareike Dorothee
  • Schmidt, Max
  • Schmidt, Renate A.
  • Schmittler, J├Ârg
  • Schmitz, Birte
  • Schmitz, Michael
  • Schneider, Georg
  • Schneider, J├Ârn
  • Schneider, Michael
  • Schneider, Wolfgang
  • Schnorr, Claus Peter
  • Scholl, Christoph
  • Scholz, Volker
  • Schregle, Roland
  • Schr├Âder, Marc
  • Schukat-Talamazzini, E. G.
  • Schukat-Talamazzini, Ernst G├╝nter
  • Schuler, David
  • Schulte, Christian
  • Schulte, Michael
  • Schulz, Frank
  • Schulz, Klaus
  • Schulz, Klaus U.
  • Schunter, Matthias
  • Schupeta, Achim
  • Schupeta, Achim
  • Schwagereit, Johannes
  • Schwagereit, Johannes
  • Schwaiger, Arndt
  • Schwaiger, Arndt Stephan Georg
  • Schwartz, Tim
  • Schwarz, Sven
  • Schwed, Gernot
  • Schweitzer, Pascal
  • Schwinghammer, Jan
  • Schwinn, Johannes
  • Sch├Ąfer, Guido
  • Sch├Ąfer, Ulrich
  • Sch├Ąfer, Ulrich
  • Sch├Âlles, Volker
  • Sch├Âllhammer, Thomas
  • Sch├Âmann, Munira
  • Sch├Âmer, Elmar
  • Sch├Âning, Johannes
  • Sch├╝tz, J.
  • Seel, Michael
  • Seidel, Peter-Michael
  • Seidel, Raimund
  • Sengler, Claus
  • Setz, Thomas
  • Shadrin, Andrey
  • Shaheen, Mohammed
  • Shegalov, German
  • Shen, Dan
  • Shi, Kuangyu
  • Shoup, Victor
  • Sieber, Kurt
  • Siegel, Melanie
  • Siekmann, J├Ârg
  • Siekmann, J├Ârg
  • Siekmann, J├Ârg H.
  • Siersdorfer, Stefan
  • Sing, Tobias
  • Singh, Mona
  • Singh, Munindar P.
  • Singh, Munindar Paul
  • Sinha, B. P.
  • Sinnwell, Markus
  • Sintek, Michael
  • Sivadasan, Naveen
  • Sizov, Sergej
  • Slusallek, Philipp
  • Smid, Michiel
  • Smith, Kaleigh
  • Smolka, Gert
  • Smolka, Gert
  • Smolka, Gert
  • Soetopo, Dudung
  • Sommer, Walter
  • Son, Jung-Bae
  • Sonntag, Gerit P.
  • Sorge, Volker
  • Sorokin, Nikolay
  • Spaccamela, Alberto Marchetti
  • Spackman, Stephen P.
  • Spackman, Stephen P.
  • Spaniol, Otto
  • Sparmann, Uwe
  • Spassova, L├╝bomira
  • Spenst, Aleksej
  • Spilker, J├Ârg
  • Sprang, Oliver van
  • Staab, Steffen
  • Stadel, Manfred
  • Stadler, Peter F.
  • Stahl, Christoph
  • Stahmer, Bj├Ârn
  • Stahmer, Bj├Ârn Patrick
  • Stark, Rainer
  • Stattelmann, Stefan
  • Staudt, Martin
  • Steffens, Markus
  • Stein, Ingmar Jendrik
  • Stein, Johannes
  • Stein, Werner
  • Steiner, Michael
  • Steinke, Florian
  • Steinle, Frank
  • Stenzel, Kurt
  • Stephan, Werner
  • Stephan, Werner
  • Stoll, Carsten
  • Stolz, Michael
  • Strom, V.
  • Strom, Volker
  • Struth, Georg
  • Stuber, J├╝rgen
  • Stuckey, Peter J.
  • Stupar, Aleksandar
  • Su, Zhendong
  • Sun, Weiwei
  • Sunkel, Martin
  • Szabo, Peter
  • Talwar, Priti
  • Tan, Guoping
  • Taneva, Bilyana
  • Tappe, Heike
  • Tarjan, Robert E.
  • Taubert, Klaus
  • Tautges, Winfried
  • Tawara, Takehiro
  • Tevs, Art
  • Thater, Stefan
  • Theiling, Henrik
  • Theobald, Anja
  • Theobald, Martin
  • Theobalt, Christian
  • Thesing, Stephan
  • Thiel, Sven
  • Thies, Markus A.
  • Thies, Markus A.
  • Thoben, J├Ârg
  • Thoben, J├Ârg
  • Tindell, Ralph
  • Tiwary, Hans Raj
  • Tolosi, Laura
  • Tolzmann, Enno
  • Traum, David R.
  • Treinen, Ralf
  • Treinen, Ralf
  • Tropf, Herbert Stefan
  • Trost, Harald
  • Tsakalidis, A.
  • Tsakalidis, Athanasios K.
  • Tschaitschian, Bidjan
  • Tschernitschek, Christel
  • Tsovaltzi, Dimitra
  • Turk, Andreas
  • T├Ąubig, Holger
  • Uhrig, Christian
  • Ullrich, Carsten
  • Uppaluri, Prasanti
  • Uszkoreit, Hans
  • Uszkoreit, Hans
  • Valgaerts, Levi
  • Van Elst, Ludger
  • Vierke, Gero
  • Vijay-Shanker, K.
  • Villaret, Mateu
  • Vishkin, Uzi
  • Volk, Martin
  • Vonerden, Markus
  • Vorsatz, Jens
  • Vrugt, J├╝rgen te
  • V├Âlkel, Max
  • Wache, Holger
  • Wagener, Hubert
  • Wagner, Marc
  • Wahlster, Wolfgang
  • Wahlster, Wolfgang
  • Wahlster, Wolfgang
  • Wald, Ingo
  • Waldmann, Uwe
  • Walle, Thomas
  • Walser, Joachim Paul
  • Walter, Hermann
  • Wang, Yafang
  • Warken, Thomas
  • Warnke, V.
  • Warwas, Stefan Helmut
  • Wasinger, Rainer
  • Wazinski, Peter
  • Wazinski, Peter
  • Weber, Arnd
  • Weber, Damian
  • Weber, Hans
  • Weber, Hans H.
  • Weber, Ingmar
  • Weber, Jay C.
  • Weber, Volker
  • Weck, Gerhard
  • Weiand, C.
  • Weigel, Achim
  • Weikum, Gerhard
  • Weisgerber, Beatrix
  • Weiskircher, Rene
  • Welzl, Emo
  • Wenzel, Claudia
  • Wermter, Stefan
  • Wesche, Gerold
  • Widera, Christina
  • Wiedermann, Juraj
  • Wieseke, Nicolas
  • Wilhelm, Reinhard
  • Wilhelm, Stephan
  • Winhart, Heike
  • Winhart, Heike
  • Winkel, Sebastian
  • Winzen, Carola
  • Wischnewski, Patrick
  • Wittig, Frank
  • Wolf, Markus
  • Wolfertstetter, F.
  • Wolpert, Nicola
  • Worm, Karsten
  • Woszczyna, Monika
  • Wu, Chenglei
  • Wu, Hongzhong
  • Wu, Zhaohui
  • W├│jcik, Marek
  • W├╝rtz, J├Ârg
  • W├╝rtz, J├Ârg
  • Xu, Feiyu
  • Yao, Tianfang
  • Yap, Chee-Keng
  • Yoshimoto, Kei
  • Yoshizawa, Shin
  • Zabback, Peter
  • Zakraoui, Jamel
  • Zayer, J├Ârg
  • Zayer, Rhaleb
  • Zeyer, J├Ârg
  • Zhang, Lijuan
  • Zhang, Lijun
  • Zhu, Bin
  • Zhu, Hongbo
  • Ziegelmann, Mark
  • Ziegler, Gernot
  • Zimmer, Christian
  • Zimmer, Henning Lars
  • Zimmermann, Harald H.
  • Zimmermann, Thomas
  • Zottmann, A.
  • van Elst, Ludgar
  • van Elst, Ludger
  • van Emde Boas, Peter
  • von Luck, Kai
  • von Styp-Rekowsky, Philipp
  • ├ô'D├║nlaing, C.

  •   
    Timing model derivation : pipeline analyzer generation from hardware description languages
    Autor(en): Pister, Markus
    Reihe/ Band: Zugl. im Buchhandel: Saarbr├╝cken : Pirrot, 2012
    Kurzbeschreibung | Frontdoor

    Transformations of specifications and proofs to support an evolutionary formal software development
    Autor(en): Schairer, Axel
    Reihe/ Band: Zugl. im Buchhandel: Herzogenrath : Shaker, 2006. - ISBN 3-8322-5380-7
    Kurzbeschreibung | Frontdoor

    Assertion level proof planning with compiled strategies
    Autor(en): Dietrich, Dominik
    Reihe/ Band: Zugl. im Buchhandel: G├Âttingen : Optimus-Verl., 2012
    Kurzbeschreibung | Frontdoor

    SIMD code generation in data-parallel programming
    Autor(en): Fritz, Nicolas
    Reihe/ Band: Zugl. im Buchhandel: Berlin : epubli, 2009
    Kurzbeschreibung | Frontdoor

    Timing model derivation : static analysis of hardware description languages
    Autor(en): Schlickling, Marc
    Reihe/ Band: Zugl. im Buchhandel: Berlin : epubli GmbH, 2013. - 978-3-8442-4513-4
    Kurzbeschreibung | Frontdoor

    First-order theory of subtyping constraints
    Autor(en): Su, Zhendong ; Aiken, Alexander ; Niehren, Joachim ; Priesnitz, Tim ; Treinen, Ralf
    Reihe/ Band: The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, 16-18 January 2002, pp.203-216
    Kurzbeschreibung | Frontdoor

    Approximation von Folgen durch berechenbare Folgen : eine neue Variante der Chaitin-Kolmogorov-Komplexit├Ąt
    Autor(en): G├Ąrtner, Tobias ; Hotz, G├╝nter
    Reihe/ Band: Saarbr├╝cken, 2000
    Kurzbeschreibung | Frontdoor

    A graph based parsing algorithm for context-free languages
    Autor(en): Hotz, G├╝nter
    Reihe/ Band: Saarbr├╝cken, 1999
    Kurzbeschreibung | Frontdoor

    Darstellung von Schaltfunktionen unter Ausnutzung von Symmetrien boolescher Algebren
    Autor(en): Hotz, G├╝nter
    Reihe/ Band: Saarbr├╝cken, 1999
    Kurzbeschreibung | Frontdoor

    A study in transfer Japanese-English
    Autor(en): Yoshimoto, Kei ; Nanz, Christine
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    Abschlu├čbericht VM-TP 3.3 Lauteinheit deutsch
    Autor(en): Flach, Gudrun
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    Predicate logic unplugged
    Autor(en): Bos, Johan
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    The ADT package for the Verbmobil interface term
    Autor(en): Dorna, Michael
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    The Verbmobil semantic database
    Autor(en): Heinecke, Johannes ; Worm, Karsten
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    Inkrementelle Erstellung von Worthypothesengraphen
    Autor(en): Pfau, Thilo ; Ruske, G├╝nther
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    A new model-discriminant training algorithm for hybrid NN-HMM systems
    Autor(en): Reichl, W. ; Caspary, P. ; Ruske, G.
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    A hybrid RBF-HMM system for continuous speech recognition
    Autor(en): Reichl, W. ; Ruske, G.
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    Discriminative training for continuous speech recognition
    Autor(en): Reichl, W. ; Ruske, G.
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    Neural networks for nonlinear discriminant analysis in continuous speech recognition
    Autor(en): Reichl, W. ; Harengel, S. ; Wolfertstetter, F. ; Ruske, G.
    Reihe/ Band: Saarbr├╝cken, 1996
    Kurzbeschreibung | Frontdoor

    LR-inkrementelles, probabilistisches Chartparsing von Worthypothesenmengen mit Unifikationsgrammatiken : eine enge Kopplung von Suche und Analyse
    Autor(en): Weber, Hans H.
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Menschliche Informationsverarbeitungsprozesse bei der Disambiguierung
    Autor(en): Sch├Âmann, Munira
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Variable Analysetiefe und Bewertungskriterien in VERBMOBIL : translationswissenschaftliche Grundlagen
    Autor(en): Prahl, Birte ; Petzolt, Susanne ; Heizmann, Susanne ; Hauenschild, Christa
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Transfer I : tense and aspect
    Autor(en): Butt, Miriam
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    "Where and when?" Aussprache, Dialogverhalten und andere linguistische Ph├Ąnomene deutscher Sprecher in englischsprachigen Dialogen zur VERBMOBIL-Terminabsprache
    Autor(en): Faust, Lioba
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Creative problem solving and automated discovery : an analysis of psychological and AI research
    Autor(en): Schmid, Klaus
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Prozedurale Anforderungen an die maschinelle Sprachverarbeitung : Workshop w├Ąhrend der Jahrestagung KI-94 Saarbr├╝cken
    Autor(en):
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    A multi-dimensional representation of context in a speech translation system : a practical approach
    Autor(en): Maier, Elisabeth
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Dialogue acts in VERBMOBIL
    Autor(en): Jekat, Susanne ; Klein, Alexandra ; Maier, Elisabeth ; Maleck, Ilona ; Mast, Marion ; Quantz, J. Joachim
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Integration alternativer Komponenten f├╝r die Sprachverarbeitung im VERBMOBIL-Demonstrator
    Autor(en): Turk, Andreas ; Gei├čler, Stefan
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Beurteilung von Spracherkennerergebnissen auf Phonemebene
    Autor(en): Lehning, Michael
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Die Evaluierung von Spracherkennungssystemen in Deutschland
    Autor(en): Paulus, Erwin ; Lehning, Michael
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Automatische Wortsegmentierung mit semikontinuierlichen Hidden Markov Modellen
    Autor(en): Lehning, Michael ; Gr├╝nheid, Rainer
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Bandbegrenzte Funktionen als Hilfsmittel zur Fehlerkorrektur von Grundfrequenzverl├Ąufen
    Autor(en): Lehning, Michael
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Konzept einer Arbeitsstation zur Segmentierung und Etikettierung prosodischer Einheiten
    Autor(en): Reinecke, J├Ârg
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Ein System zur Modifikation prosodischer Eigenschaften flie├čend gesprochener Sprache
    Autor(en): Reinecke, J├Ârg
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Untersuchungen zur Etikettierung prosodischer Einheiten
    Autor(en): Reyelt, Matthias
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Experimental investigation on the perceptual consistency and the automatic recognition of prosodic units in spoken German
    Autor(en): Reyelt, Matthias
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Untersuchungen zur Konsistenz prosodischer Etikettierungen
    Autor(en): Reyelt, Matthias
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Semantische Auswertung und Transfer von Funktionsverbgef├╝gen in VERBMOBIL
    Autor(en): Winhart, Heike
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Treatment of incomplete dialogues in a speech-to-speech translation system
    Autor(en): Reithinger, Norbert ; Maier, Elisabeth ; Alexandersson, Jan
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Utilizing statistical dialogue act processing in Verbmobil
    Autor(en): Reithinger, Norbert ; Maier, Elisabeth
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Plan recognition in verbmobil
    Autor(en): Alexandersson, Jan
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Two-level modelling of speech variant rules
    Autor(en): Kirchhoff, Katrin
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Zu einer Semantik f├╝r Dialogverstehen und ├ťbersetzung
    Autor(en): Eberle, Kurt
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    A minimal transfer conception for Verbmobil
    Autor(en): Abb, Bernd ; Buschbeck-Wolf, Bianka
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    GLR-Parsing von Worthypothesengraphen
    Autor(en): Staab, Steffen
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Ein System zur prosodischen Etikettierung von Spontansprache
    Autor(en): Reyelt, Matthias
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Die Behandlung ├╝bersetzungsambiger Pr├Ąpositionen im Transfer des VERBMOBIL-Demonstrators
    Autor(en): Buschbeck-Wolf, Bianka ; N├╝bel, Rita
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Filled pauses in spontaneous speech
    Autor(en): Batliner, Anton ; Kie├čling, Andreas ; Burger, Susanne ; N├Âth, Elmar
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Contrastive accents : how to get them and what do they look like
    Autor(en): Haas, J├╝rgen ; Kie├čling, Andreas ; N├Âth, Elmar ; Niemann, Heinrich ; Batliner, Anton
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Prosodic scoring of word hypotheses graphs
    Autor(en): Kompe, Ralf ; Kie├čling, Andreas ; Niemann, Heinrich ; N├Âth, Elmar ; Schukat-Talamazzini, Ernst G├╝nter ; Zottmann, A. ; Batliner, Anton
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Robust pitch period detection using dynamic programming with an ANN cost function
    Autor(en): Harbeck, Stefan ; Kie├čling, Andreas ; Kompe, Ralf ; Niemann, Heinrich ; N├Âth, Elmar
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Abbildung prosodischer Etiketten auf prototypische F0-Verl├Ąufe
    Autor(en): Reinecke, J├Ârg
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Semantic transfer in Verbmobil
    Autor(en): Copestake, Ann
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Die Experimente mit dem VERBMOBIL-Simulator : Design - Ablauf - Daten
    Autor(en): Bade, Ute ; Krause, Detlev ; Preu├č, Wiebke
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Detection of accents, phrase boundaries, and sentence modality in German
    Autor(en): Strom, Volker
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Criteria for the segmentation of spoken input into individual utterances
    Autor(en): Mast, Marion ; Maier, Elisabeth ; Schmitz, Birte
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Adverbs in the transfer module of MDS
    Autor(en): Damova, Mariana
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Parallelisierung eines inkrementellen aktiven Chart-Parsers
    Autor(en): Spilker, J├Ârg
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Randomized search trees
    Autor(en): Seidel, Raimund ; Aragon, Cecilia R.
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    Kommunikative Kompetenzen f├╝r den Mensch-Maschine-Dialog bei maschinellem Dolmetschen : eine empirische Studie
    Autor(en): Preu├č, Wiebke
    Reihe/ Band: Saarbr├╝cken, 1995
    Kurzbeschreibung | Frontdoor

    The Verbmobil semantic formalism (Version 1.3)
    Autor(en): Bos, Johan ; Mastenbroek, Elsbeth ; McGlashan, Scott ; Millies, Sebastian ; Pinkal, Manfred
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Korpusanalyse und Auswahl der Teilph├Ąnomene
    Autor(en): Butt, Miriam ; Reinhard, Sabine ; Winhart, Heike
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Transfer and architecture : views from chart parsing
    Autor(en): Amtrup, Jan W.
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    An investigation of tightly coupled time synchronous speech language interfaces using a unification grammar
    Autor(en): Weber, Hans ; Hauenstein, Andreas
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Lexicon access on parallel machines
    Autor(en): Duda, Markus
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Transfer in Verbmobil
    Autor(en): Caroli, Folker ; N├╝bel, R. ; Ripplinger, B. ; Sch├╝tz, J.
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Spontansprachliche syntaktische Ph├Ąnomene : Analyse eines Korpus aus der Dom├Ąne "Terminabsprache"
    Autor(en): Tropf, Herbert Stefan
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Anytime algorithms for speech parsing?
    Autor(en): G├Ârz, G├╝nther ; Kesseler, Marcus
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Phoneme recognition using acoustic events
    Autor(en): H├╝bener, Kai ; Carson-Berndsen, Julie
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Learning fault-tolerant speech parsing with SCREEN
    Autor(en): Wermter, Stefan ; Weber, Volker
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    From DATR to PATR via DUTR - an interface formalism
    Autor(en): Duda, Markus
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Morphosyntaktischer Strukturaufbau im HPSG-Lexikon : eine Alternative zu lexikalischen Regeln
    Autor(en): Lebeth, Kai
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Lexikalische Regeln in der IBM-Basisgrammatik
    Autor(en): Gei├čler, Stefan
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Default handling in incremental generation
    Autor(en): Harbusch, Karin ; Kilger, Anne ; Kikui, Gen-ichiro
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Distributed control in Verbmobil
    Autor(en): Kesseler, Marcus
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Presupposition as anaphora in the Verbmobil semantic formalism
    Autor(en): Bos, Johan
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Parsing of spoken language under time constraints
    Autor(en): Menzel, Wolfgang
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Eine zyklische Approximation an Sprechhandlungstypen : zur Annotierung von ├äu├čerungen in Dialogen
    Autor(en): Schmitz, Birte ; Jekat-Rommel, Susanne
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    The VERBMOBIL domain model version 1.0
    Autor(en): Quantz, J. Joachim ; Gehrke, Manfred ; K├╝ssner, Uwe ; Schmitz, Birte
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Extraposition in HPSG
    Autor(en): Keller, Frank
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Erl├Ąuterungen zur Umsetzung einer HPSG im Basisformalismus STUF III
    Autor(en): Gei├čler, Stefan ; Kiss, Tibor
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    "Roger", "Sorry", "I'm still listening" : dialog guiding signals in information retrieval dialogs
    Autor(en): Kiessling, A. ; Kompe, R. ; Niemann, H. ; N├Âth, E. ; Batliner, A.
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Going back to the source : inverse filtering of the speech signal with ANNs
    Autor(en): Denzler, Joachim ; Kompe, R. ; Kie├čling, A. ; Niemann, H. ; N├Âth, E.
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Pitch determination considering laryngealization effects in spoken dialogs
    Autor(en): Niemann, Heinrich ; Denzler, J. ; Kahles, B. ; Kompe, R. ; Kiessling, A. ; N├Âth, E. ; Strom, V.
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Phonetic and prosodic analysis of speech
    Autor(en): Niemann, Heinrich ; N├Âth, E. ; Schukat-Talamazzini, E. G. ; Kie├čling, A. ; Kompe, R. ; Kuhn, T. ; Rieck, S.
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Automatic labeling of phrase accents in German
    Autor(en): Kiessling, Andreas ; Kompe, Ralf ; Batliner, Anton ; Niemann, Heinrich ; N├Âth, Elmar
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Detection of phrase boundaries and accents
    Autor(en): Kie├čling, Andreas ; Kompe, Ralf ; Niemann, Heinrich ; N├Âth, Elmar ; Batliner, Anton
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Improving parsing by incorporating "prosodic clause boundaries" into a grammar
    Autor(en): Bakenecker, G. ; Block, U. ; Batliner, Anton ; Kompe, Ralf ; N├Âth, Elmar ; Regel-Brietzmann, P.
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Diagnostic evaluation in linguistic word recognition
    Autor(en): Carson-Berndsen, Julie ; Pampel, Martina
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Semantik-orientierter rekursiver Transfer in HPSG am Beispiel des Referenzdialogs
    Autor(en): Dorna, Michael ; Eberle, Kurt ; Emele, Martin ; Rupp, Christopher John
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Parsing und Generierung in TrUG
    Autor(en): Caspari, Rudolf ; Schmid, Ludwig
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Incremental natural-language processing with schema-tree adjoining grammars
    Autor(en): Harbusch, Karin
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Structural translation with synchronous rewriting systems
    Autor(en): Harbusch, Karin ; Poller, Peter
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Human strategies in translation and interpreting : what MT can learn from translators
    Autor(en): Heizmann, Susanne
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Knowledge-based disambiguation for machine translation
    Autor(en): Quantz, J. Joachim ; Schmitz, Birte
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    M├ťSLI : a classification scheme for laryngealizations
    Autor(en): Batliner, Anton ; Burger, S. ; Johne, B. ; Kie├čling, Andreas
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Why sentence modality in spontaneous speech is more difficult to classify and why this fact is not too bad for prosody
    Autor(en): Batliner, Anton ; Weiand, C. ; Kie├čling, Andreas ; N├Âth, Elmar
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Prosody takes over : a prosodically guided dialog system
    Autor(en): Kompe, Ralf ; Kie├čling, Andreas ; Kuhn, T. ; Mast, Marion ; Niemann, Heinrich ; N├Âth, Elmar ; Ott, K. ; Batliner, Anton
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Prosody takes over : towards a prosodically guided dialog system
    Autor(en): Kompe, Ralf ; N├Âth, Elmar ; Kie├čling, Andreas ; Kuhn, T. ; Mast, Marion ; Niemann, Heinrich ; Ott, K. ; Batliner, Anton
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Some experiments in speech act prediction
    Autor(en): Reithinger, Norbert
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    A robust and efficient three-layered dialogue component for a speech-to-speech translation system
    Autor(en): Alexandersson, Jan ; Maier, Elisabeth ; Reithinger, Norbert
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Semantic and dialogue processing in the VERBMOBIL spoken dialogue translation system
    Autor(en): Maier, Elisabeth ; MacGlashan, Scott
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Au├čergrammatische Ph├Ąnomene in der Spontansprache : Gegenstandsbereich, Beschreibung, Merkmalinventar
    Autor(en): Batliner, Anton ; Burger, Susanne ; Kie├čling, Andreas
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Prosody, focus, and focal structure : some remarks on methodology
    Autor(en): Batliner, Anton
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    A compositional DRS-based formalism for NLP applications
    Autor(en): Bos, Johan ; Mastenbroek, Elsbeth ; MacGlashan, Scott ; Millies, Sebastian ; Pinkal, Manfred
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Focusing particles & ellipsis resolution
    Autor(en): Bos, Johan
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    The role of semantics in spoken dialogue translation systems
    Autor(en): MacGlashan, Scott
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Die Behandlung von Funktionsverbgef├╝gen in einem HPSG-basierten ├ťbersetzungsansatz
    Autor(en): Kuhn, Jonas
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    An abstract machine for an object-oriented language with top-level classes
    Autor(en): B├Âschen, Christoph ; Fecht, Christian ; Hense, Andreas V. ; Wilhelm, Reinhard
    Reihe/ Band: Saarbr├╝cken, 1994
    Kurzbeschreibung | Frontdoor

    Generalized DATR for flexible lexical access : PROLOG specification
    Autor(en): Gibbon, Dafydd
    Reihe/ Band: Saarbr├╝cken, 1993
    Kurzbeschreibung | Frontdoor

    Evaluation von Wissensrepr├Ąsentationssystemen
    Autor(en): Kemke, Christel
    Reihe/ Band: Saarbr├╝cken, 1993
    Kurzbeschreibung | Frontdoor

    Automatic classification of prosodically marked phrase boundaries in German
    Autor(en): Kompe, Ralf ; Batliner, A. ; Kie├čling, A. ; Kilian, U. ; Niemann, H. ; N├Âth, E. ; Regel-Brietzmann, P.
    Reihe/ Band: Saarbr├╝cken, 1993
    Kurzbeschreibung | Frontdoor

    Aspekte des Dolmetschverhaltens
    Autor(en): Jekat-Rommel, Susanne
    Reihe/ Band: Saarbr├╝cken, 1993
    Kurzbeschreibung | Frontdoor

    Konstellation und Szenario von Terminabsprachen
    Autor(en): Kameyama, Shinichi ; Maleck, Ilona
    Reihe/ Band: Saarbr├╝cken, 1993
    Kurzbeschreibung | Frontdoor

    Leistungssteigerung ereignisgesteuerter Simulation durch Multi-Mikro-Rechnersysteme
    Autor(en): Mattern, Friedemann ; Richter, J├Ârg ; Mehl, Horst
    Reihe/ Band: Saarbr├╝cken, 1993
    Kurzbeschreibung | Frontdoor

    SOLL-Spezifikation aus Sicht der Sicherheit
    Autor(en): Grosse, Malte ; Hufschmidt, Holger
    Reihe/ Band: Saarbr├╝cken, 1993
    Kurzbeschreibung | Frontdoor

    Tree grammars with multilinear interpretation
    Autor(en): Guan, Yonggang ; Hotz, G├╝nter ; Reichert, A.
    Reihe/ Band: Saarbr├╝cken, 1992
    Kurzbeschreibung | Frontdoor

    Primality testing
    Autor(en): Buchmann, Johannes ; M├╝ller, Volker
    Reihe/ Band: Saarbr├╝cken, 1992
    Kurzbeschreibung | Frontdoor

    Polymorphic type inference for a simple object oriented programming language with state
    Autor(en): Hense, Andreas V.
    Reihe/ Band: Saarbr├╝cken, 1990
    Kurzbeschreibung | Frontdoor

    On the construction of abstract Voronoi diagrams, II
    Autor(en): Klein, Rolf ; Mehlhorn, Kurt ; Meiser, Stefan
    Reihe/ Band: Saarbr├╝cken, 1989
    Kurzbeschreibung | Frontdoor

    Data structures
    Autor(en): Mehlhorn, Kurt ; Tsakalidis, A.
    Reihe/ Band: Saarbr├╝cken, 1989
    Kurzbeschreibung | Frontdoor

    LEDA : a library of efficient data types and algorithms
    Autor(en): Mehlhorn, Kurt ; N├Ąher, Stefan
    Reihe/ Band: Saarbr├╝cken, 1989
    Kurzbeschreibung | Frontdoor

    Dynamic deferred data structuring
    Autor(en): Ching, Y. T. ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1988
    Kurzbeschreibung | Frontdoor

    Congruence, similarity and symmetries of geometric objects
    Autor(en): Alt, Helmut ; Mehlhorn, Kurt ; Wagener, Hubert ; Welzl, Emo
    Reihe/ Band: Saarbr├╝cken, 1987
    Kurzbeschreibung | Frontdoor

    Dynamic fractional cascading
    Autor(en): Mehlhorn, Kurt ; N├Ąher, Stefan
    Reihe/ Band: Saarbr├╝cken, 1986
    Kurzbeschreibung | Frontdoor

    POCO compiler generator : user manual
    Autor(en): Eulenstein, Michael
    Reihe/ Band: Saarbr├╝cken, 1985
    Kurzbeschreibung | Frontdoor

    Space sweep solves intersection of two convex polyhedra elegantly
    Autor(en): Hertel, Stefan ; Mehlhorn, Kurt ; M├Ąntyl├Ą, Martti ; Nievergelt, Jurg
    Reihe/ Band: Saarbr├╝cken, 1984
    Kurzbeschreibung | Frontdoor

    Algorithms for routing in planar graphs
    Autor(en): Becker, Michael ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1984
    Kurzbeschreibung | Frontdoor

    Routing through a generalized switchbox
    Autor(en): Kaufmann, Michael ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1984
    Kurzbeschreibung | Frontdoor

    Local routing of two-terminal nets is easy (extended abstract)
    Autor(en): Kaufmann, Michael ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1984
    Kurzbeschreibung | Frontdoor

    Sorting Jordan sequences in linear time
    Autor(en): Hoffmann, Kurt ; Mehlhorn, Kurt ; Rosenstiehl, Pierre ; Tarjan, Robert E.
    Reihe/ Band: Saarbr├╝cken, 1984
    Kurzbeschreibung | Frontdoor

    New bounds for the longest edge of a tree in a VLSI layout
    Autor(en): Kaufmann, Michael
    Reihe/ Band: Saarbr├╝cken, 1984
    Kurzbeschreibung | Frontdoor

    The communication complexity of VLSI circuits
    Autor(en): Lengauer, Thomas
    Reihe/ Band: Saarbr├╝cken, 1983
    Kurzbeschreibung | Frontdoor

    VLSI complexity, efficient VLSI algorithms and the HILL design system
    Autor(en): Lengauer, Thomas ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1983
    Kurzbeschreibung | Frontdoor

    The HILL system : a design environment for the hierarchical specification, compaction, and simulation of integrated circuit layouts
    Autor(en): Lengauer, Thomas ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1983
    Kurzbeschreibung | Frontdoor

    Efficient algorithms for the constraint generation for integrated circuit layout compaction
    Autor(en): Lengauer, Thomas
    Reihe/ Band: Saarbr├╝cken, 1983
    Kurzbeschreibung | Frontdoor

    Granularity of parallel memories
    Autor(en): Mehlhorn, Kurt ; Vishkin, Uzi
    Reihe/ Band: Saarbr├╝cken, 1983
    Kurzbeschreibung | Frontdoor

    Routing through a rectangle
    Autor(en): Mehlhorn, Kurt ; Preparata, Franco P.
    Reihe/ Band: Saarbr├╝cken, 1983
    Kurzbeschreibung | Frontdoor

    Smoothsort's behavior on presorted sequences
    Autor(en): Hertel, Stefan
    Reihe/ Band: Saarbr├╝cken, 1982
    Kurzbeschreibung | Frontdoor

    Parallelmultiplizierer : schnelle, platzeffiziente Algorithmen - VLSI-gerechte Realisierungen
    Autor(en): Becker, Bernd
    Reihe/ Band: Saarbr├╝cken, 1982
    Kurzbeschreibung | Frontdoor

    A boolean function requiring 3n network size
    Autor(en): Blum, Norbert
    Reihe/ Band: Saarbr├╝cken, 1982
    Kurzbeschreibung | Frontdoor

    Lower bounds on the efficiency of transforming static data structures into dynamic structures (revised)
    Autor(en): Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1981
    Kurzbeschreibung | Frontdoor

    A new Hoare-calculs for programs with recursive parameterless procedures
    Autor(en): Sieber, Kurt
    Reihe/ Band: Saarbr├╝cken, 1981
    Kurzbeschreibung | Frontdoor

    Relative completeness of a Hoare-calculus for while-programs
    Autor(en): Sieber, Kurt
    Reihe/ Band: Saarbr├╝cken, 1980
    Kurzbeschreibung | Frontdoor

    Implementations of abstract data types and their correctness proofs
    Autor(en): Loeckx, Jacques
    Reihe/ Band: Saarbr├╝cken, 1980
    Kurzbeschreibung | Frontdoor

    Some properties of implementations of abstract data types
    Autor(en): Loeckx, Jacques
    Reihe/ Band: Saarbr├╝cken, 1980
    Kurzbeschreibung | Frontdoor

    Operationaler Vergleich der Rechner TR 440, Siemens 7.760, VAX11/780 und Modcomp 7870. - 2., ├╝berarb. und erw. Aufl.
    Autor(en): Weck, Gerhard
    Reihe/ Band: Saarbr├╝cken, 1980
    Kurzbeschreibung | Frontdoor

    Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef : March 19-23, 1979
    Autor(en):
    Reihe/ Band: Saarbr├╝cken, 1979
    Kurzbeschreibung | Frontdoor

    Monotonie und Galerkin Verfahren bei gew├Âhnlichen nichtlinearen periodischen Systemen insbesondere unstetige und mehrwertige
    Autor(en): Taubert, Klaus
    Reihe/ Band: Saarbr├╝cken, 1979
    Kurzbeschreibung | Frontdoor

    Informationssysteme im Bibliotheks- und IuD-Bereich
    Autor(en): Langend├Ârfer, Horst ; Scheidig, Helge
    Reihe/ Band: Saarbr├╝cken, 1979
    Kurzbeschreibung | Frontdoor

    Picture reconstruction from projections in restricted range
    Autor(en): Louis, Alfred K.
    Reihe/ Band: Saarbr├╝cken, 1979
    Kurzbeschreibung | Frontdoor

    Ghosts in tomography : the null space of the radon transform
    Autor(en): Louis, Alfred K.
    Reihe/ Band: Saarbr├╝cken, 1979
    Kurzbeschreibung | Frontdoor

    Efficient implementation of "optimal" algorithms in computerized tomography
    Autor(en): Natterer, Frank
    Reihe/ Band: Saarbr├╝cken, 1979
    Kurzbeschreibung | Frontdoor

    Effiziente Algorithmen : ein Beispiel
    Autor(en): Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Semantics of programs in a formal system with partially defined functions
    Autor(en): Hertel, Joachim
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    On the average number of rebalancing operations in weight-balanced trees
    Autor(en): Blum, Norbert ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    A calculus for proving properties of while-programs
    Autor(en): Glasner, Ingrid ; Loeckx, Jacques
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    An efficient algorithm for constructing nearly optimal prefix codes
    Autor(en): Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Konzept eines allgemeinen Bibliotheksverbundsystems
    Autor(en): Langend├Ârfer, Horst ; Scheidig, Helge
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Arbitrary weight changes in dynamic trees
    Autor(en): Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Complexity arguments in algebraic language theory
    Autor(en): Alt, Helmut ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Sorting presorted files
    Autor(en): Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    On the smoothing property of the Bayes approach to picture reconstruction
    Autor(en): Natterer, Frank
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Struktur eines integrierten Bibliotheks- und IuD-Informationssystems
    Autor(en): Langend├Ârfer, Horst ; Scheidig, Helge
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Codes : unequal probabilities, unequal letter costs
    Autor(en): Altenkamp, Doris ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Der Text-Editor SB&EDIT : Beschreibung der Version (4.08) ; (Sprachversion 2)
    Autor(en): Weck, Gerhard
    Reihe/ Band: Saarbr├╝cken, 1978
    Kurzbeschreibung | Frontdoor

    Top down parsing of macro grammars : (preliminary report)
    Autor(en): Heydthausen, Manfred ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1976
    Kurzbeschreibung | Frontdoor

    Binary search trees: average and worst case behavior
    Autor(en): G├╝ttler, Rainer ; Mehlhorn, Kurt ; Schneider, Wolfgang
    Reihe/ Band: Saarbr├╝cken, 1976
    Kurzbeschreibung | Frontdoor

    An O(n log n) lower bound for the synchronous circuit size of integer multiplication
    Autor(en): Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1976
    Kurzbeschreibung | Frontdoor

    The exponential storage cost of d-schemes
    Autor(en): Tindell, Ralph
    Reihe/ Band: Saarbr├╝cken, 1976
    Kurzbeschreibung | Frontdoor

    Dynamic binary search
    Autor(en): Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1976
    Kurzbeschreibung | Frontdoor

    Untere Schranken f├╝r den Platzbedarf bei der kontext-freien Analyse
    Autor(en): Alt, Helmut ; Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1975
    Kurzbeschreibung | Frontdoor

    Das erweiterte DATAS-System : [Datenstrukturen in assoziativer Speicherung]
    Autor(en): Weck, Gerhard
    Reihe/ Band: Saarbr├╝cken, 1975
    Kurzbeschreibung | Frontdoor

    Bracket-languages are recognizable in logarithmic space
    Autor(en): Mehlhorn, Kurt
    Reihe/ Band: Saarbr├╝cken, 1975
    Kurzbeschreibung | Frontdoor

    On the interpretation of recursive program schemes
    Autor(en): Nivat, Maurice
    Reihe/ Band: Saarbr├╝cken, 1974
    Kurzbeschreibung | Frontdoor

    AHPL - eine hardware-beschreibende Sprache auf APL-Basis
    Autor(en): Eckert, Rolf
    Reihe/ Band: Saarbr├╝cken, 1974
    Kurzbeschreibung | Frontdoor

    On a theorem of McGowan concerning the most recent property of programs
    Autor(en): Kandzia, Peter ; Langmaack, Hans
    Reihe/ Band: Saarbr├╝cken, 1974
    Kurzbeschreibung | Frontdoor

    A mathematical approach to program behaviour and look-ahead replacement algorithms
    Autor(en): Spaniol, Otto
    Reihe/ Band: Saarbr├╝cken, 1974
    Kurzbeschreibung | Frontdoor

    Definition und Implementierung der Programmiersprache PAL : Ausarbeitung einer Vorbereitung von Fortgeschrittenen-Praktika
    Autor(en): Peters, Ulrich
    Reihe/ Band: Saarbr├╝cken, 1974
    Kurzbeschreibung | Frontdoor

    Bemerkungen zur ├ťbersetzbarkeit rekursiver in nichtrekursive Unterprogrammstrukturen
    Autor(en): Kopp, Herbert
    Reihe/ Band: Saarbr├╝cken, 1974
    Kurzbeschreibung | Frontdoor

    ├ťber die Effizienz von LR(k)-Analysatoren
    Autor(en): Kopp, Herbert
    Reihe/ Band: Saarbr├╝cken, 1974
    Kurzbeschreibung | Frontdoor

    Optimale Nachladestrategien f├╝r Pufferspeicher unter Ber├╝cksichtigung der Programmstruktur
    Autor(en): Spaniol, Otto
    Reihe/ Band: Saarbr├╝cken, 1973
    Kurzbeschreibung | Frontdoor

    Replacement algorithms basing on generalized models for program behaviour
    Autor(en): Spaniol, Otto
    Reihe/ Band: Saarbr├╝cken, 1973
    Kurzbeschreibung | Frontdoor

    A bibliography on formal languages and related topics
    Autor(en):
    Reihe/ Band: Saarbr├╝cken, 1972
    Kurzbeschreibung | Frontdoor

    Ein Nachtrag zu den Extrapolationsverfahren der numerischen Integration
    Autor(en): Kandzia, Peter
    Reihe/ Band: Saarbr├╝cken, 1972
    Kurzbeschreibung | Frontdoor

    On correct procedure parameter transmission in higher programming languages
    Autor(en): Langmaack, Hans
    Reihe/ Band: Saarbr├╝cken, 1972
    Kurzbeschreibung | Frontdoor

    Processing underspecified semantic representations in the constraint language for lambda structures
    Autor(en): Erk, Katrin ; Koller, Alexander ; Niehren, Joachim
    Reihe/ Band: Research on Language and Computation, Vol.1 (1-2), 2003, pp.127-169
    Kurzbeschreibung | Frontdoor

    Dependency grammar as graph description
    Autor(en): Debusmann, Ralph
    Reihe/ Band: Prospects and Advances of the Syntax/Semantics Interface, Saarland Workshop Series, p. 79-84
    Kurzbeschreibung | Frontdoor

    A parser system for extensible dependency grammar
    Autor(en): Debusmann, Ralph
    Reihe/ Band: Prospects and Advances in the Syntax/Semantics Interface, Nancy 2003, pp. 103-106 (Lorraine-Saarland Workshop Series)
    Kurzbeschreibung | Frontdoor

    Object partitioning considered harmful : space subdivision for BVHs
    Autor(en): Popov, Stefan Georgiev
    Reihe/ Band: Proceedings, high-performance graphics 2009 : New Orleans, Louisiana, August 1-3, 2009 / David Luebke ÔÇŽ - New York : Association for Computing Machinery, 2009, S. 15-22
    Kurzbeschreibung | Frontdoor

    Statistical A-star dependency parsing
    Autor(en): Dienes, P├ęter ; Koller, Alexander ; Kuhlmann, Marco
    Reihe/ Band: Proceedings of the workshop on Prospects and Advances of the Syntax/Semantics Interface, Nancy, 2003, pp.85-89
    Kurzbeschreibung | Frontdoor

    Multi-dimensional dependency grammar as multigraph description
    Autor(en): Debusmann, Ralph ; Smolka, Gert
    Reihe/ Band: Proceedings of the nineteenth International Florida Artificial Intelligence Research Society Conference. - Menlo Park, Calif. : AAAI Press, 2006
    Kurzbeschreibung | Frontdoor

    Non-structural subtype entailment in automata theory
    Autor(en): Niehren, Joachim ; Priesnitz, Tim
    Reihe/ Band: 2215), pp.360-384.
    Kurzbeschreibung | Frontdoor

    Generativity and dynamic opacity for abstract types
    Autor(en): Rossberg, Andreas
    Reihe/ Band: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Upsalla, Sweden, 27-29 August 2003, pp. 241-252
    Kurzbeschreibung | Frontdoor

    Bridging the gap between underspecification formalisms : minimal recursion semantics as dominance constraints
    Autor(en): Niehren, Joachim ; Thater, Stefan
    Reihe/ Band: Proceedings of the 41st Meeting of the Association of Computational Linguistics, Sapporo, Japan, 5-13 July 2003, pp. 367-374
    Kurzbeschreibung | Frontdoor

    When do bounds and domain propagation lead to the same search space
    Autor(en): Schulte, Christian ; Stuckey, Peter J.
    Reihe/ Band: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, Florence, Italy, September 5-7, 2001. - New York: ACM Press, 2001, pp. 115-126.
    Kurzbeschreibung | Frontdoor

    Underspecified beta reduction
    Autor(en): Bodirsky, Manuel ; Erk, Katrin ; Koller, Alexander ; Niehren, Joachim
    Reihe/ Band: Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics, Toulouse, France, July 6-11, 2001. - San Francisco: Morgan Kaufmann Publishers, 2001, pp.74-81.
    Kurzbeschreibung | Frontdoor

    Terrain guided multi-level instancing of highly complex plant populations
    Autor(en): Dietrich, Andreas ; Marmitt, Gerd ; Slusallek, Philipp
    Reihe/ Band: Proceedings of the 2006 IEEE Symposium on Interactive Ray Tracing : Salt Lake City, USA, September 18-20, 2006. - Piscataway, NJ : IEEE Operations Center, 2006, S. 169-176
    Kurzbeschreibung | Frontdoor

    Linking syntactic and semantic arguments in a dependency-based formalism
    Autor(en): Korthals, Christian ; Debusmann, Ralph
    Reihe/ Band: Proceedings of the 19th International Conference on Computational Linguistics (COLING 02), Taipei, Taiwan, August 24 - September 1, 2002
    Kurzbeschreibung | Frontdoor

    Beta reduction constraints
    Autor(en): Bodirsky, Manuel ; Erk, Katrin ; Koller, Alexander ; Niehren, Joachim
    Reihe/ Band: 2051), pp. 31-46
    Kurzbeschreibung | Frontdoor

    Bridging the gap between underspecification formalisms : hole semantics as dominance constraints
    Autor(en): Koller, Alexander ; Niehren, Joachim ; Thater, Stefan
    Reihe/ Band: Proceedings of the 11th Conference of the European Chapter of the Association of Computational Linguistics
    Kurzbeschreibung | Frontdoor

    Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage
    Autor(en): Frese, Udo ; T├Ąubig, Holger
    Reihe/ Band: Saarbr├╝cken : DFKI, 2009
    Kurzbeschreibung | Frontdoor

    A platform-independent model for agents
    Autor(en): Hahn, Christian ; Madrigal-Mora, Cristián ; Fischer, Klaus
    Reihe/ Band: Saarbr├╝cken : DFKI, 2007
    Kurzbeschreibung | Frontdoor

    Cool URIs for the semantic web
    Autor(en): Sauermann, Leo ; Cyganiak, Richard ; V├Âlkel, Max
    Reihe/ Band: Saarbr├╝cken : DFKI, 2007
    Kurzbeschreibung | Frontdoor

    A review of state-of-the-art speech modelling methods for the parameterisation of expressive synthetic speech
    Autor(en): Krstulovic, Sacha
    Reihe/ Band: Saarbr├╝cken : DFKI, 2007
    Kurzbeschreibung | Frontdoor

    Portierung von Merkmalsextraktion auf die PocketPC-Plattform
    Autor(en): Feld, Michael
    Reihe/ Band: Saarbr├╝cken : DFKI, 2005
    Kurzbeschreibung | Frontdoor

    SimMarket : agentenbasierte Simulation menschlichen Kaufverhaltens
    Autor(en): Schwaiger, Arndt ; Stahmer, Bj├Ârn
    Reihe/ Band: Saarbr├╝cken : DFKI, 2004
    Kurzbeschreibung | Frontdoor

    Linking flat predicate argument structures
    Autor(en): Xu, Feiyu
    Reihe/ Band: Saarbr├╝cken : DFKI, 2004
    Kurzbeschreibung | Frontdoor

    From UBGs to CFGs A practical corpus-driven approach
    Autor(en): Krieger, Hans-Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 2004
    Kurzbeschreibung | Frontdoor

    Proceedings of the First Workshop on Philosophy and Informatics (WSPI 2004) : Cologne, Germany
    Autor(en):
    Reihe/ Band: Saarbr├╝cken : DFKI, 2004
    Kurzbeschreibung | Frontdoor

    EPOS : evolving personal to organizational knowledge spaces
    Autor(en): B├Ąhr, Jan-Thies ; Dannenmann, Peter ; van Elst, Ludger ; Hust, Armin ; Lauer, Andreas ; Maus, Heiko ; Schwarz, Sven
    Reihe/ Band: Saarbr├╝cken : DFKI, 2004
    Kurzbeschreibung | Frontdoor

    Proceedings of the Third Workshop on Document Layout Interpretation and its Applications (DLIA2003), co-located with ICDAR2003, Edinburgh, Scotland
    Autor(en): Bagdanov, Andrew D. ; Klein, Bertin
    Reihe/ Band: Saarbr├╝cken : DFKI, 2003
    Kurzbeschreibung | Frontdoor

    Secure mobile multiagent systems in virtual marketplaces : a case study on comparison shopping
    Autor(en): Schaefer, Ina
    Reihe/ Band: Saarbr├╝cken : DFKI, 2002
    Kurzbeschreibung | Frontdoor

    DFKI finite-state machine toolkit
    Autor(en): Piskorski, Jakub
    Reihe/ Band: Saarbr├╝cken : DFKI, 2002
    Kurzbeschreibung | Frontdoor

    The contract-net with confirmation protocol : an improved mechanism for task assignment
    Autor(en): Schillo, Michael ; Fischer, Klaus ; Knabe, Tore
    Reihe/ Band: Saarbr├╝cken : DFKI, 2001
    Kurzbeschreibung | Frontdoor

    Theory and practice of hybrid agents
    Autor(en): Jung, Christoph G. ; Fischer, Klaus
    Reihe/ Band: Saarbr├╝cken : DFKI, 2001
    Kurzbeschreibung | Frontdoor

    Inside-outside estimation meets dynamic EM : gold
    Autor(en): Prescher, Detlef
    Reihe/ Band: Saarbr├╝cken : DFKI, 2001
    Kurzbeschreibung | Frontdoor

    The eager bidder problem : a fundamental problem of DAI and selected solutions
    Autor(en): Schillo, Michael ; Fischer, Klaus ; Kray, Christian
    Reihe/ Band: Saarbr├╝cken : DFKI, 2001
    Kurzbeschreibung | Frontdoor

    Vertrauen und Betrug in Multi-Agenten Systemen : Erweiterung des Vertrauensmodells von Castelfranchi und Falcone um eine Kommunikationskomponente
    Autor(en): Schillo, Michael
    Reihe/ Band: Saarbr├╝cken : DFKI, 2000
    Kurzbeschreibung | Frontdoor

    Specifying agent interaction protocols with UML activity diagrams
    Autor(en): Lind, J├╝rgen
    Reihe/ Band: Saarbr├╝cken : DFKI, 2000
    Kurzbeschreibung | Frontdoor

    Holonic multi-agent systems
    Autor(en): Gerber, Christian ; Siekmann, J├Ârg ; Vierke, Gero
    Reihe/ Band: Saarbr├╝cken : DFKI, 1999
    Kurzbeschreibung | Frontdoor

    Ein System zur Definition und Ausf├╝hrung von Protokollen f├╝r Multi-Agentsysteme
    Autor(en): Philipps, Stefan ; Lind, J├╝rgen
    Reihe/ Band: Saarbr├╝cken : DFKI, 1999
    Kurzbeschreibung | Frontdoor

    SIF - the social interaction framework system : description and user's guide to a multi-agent system testbed
    Autor(en): Schillo, Michael ; Lind, J├╝rgen ; Funk, Petra ; Gerber, Christian ; Jung, Christoph
    Reihe/ Band: Saarbr├╝cken : DFKI, 1999
    Kurzbeschreibung | Frontdoor

    The matrix auction : a mechanism for the market-based coordination of enterprise networks
    Autor(en): Vierke, Gero ; Ru├č, Christian
    Reihe/ Band: Saarbr├╝cken : DFKI, 1999
    Kurzbeschreibung | Frontdoor

    The MultiHttpServer : a parallel pull engine
    Autor(en): Endres, Christoph
    Reihe/ Band: Saarbr├╝cken : DFKI, 1999
    Kurzbeschreibung | Frontdoor

    A process model for the design of multi-agent systems
    Autor(en): Lind, J├╝rgen
    Reihe/ Band: Saarbr├╝cken : DFKI, 1999
    Kurzbeschreibung | Frontdoor

    An intercompany dispatch support system for intermodal transport chains
    Autor(en): B├╝rckert, Hans-J├╝rgen ; Funk, Petra ; Vierke, Gero
    Reihe/ Band: Saarbr├╝cken : DFKI, 1999
    Kurzbeschreibung | Frontdoor

    The smes client/server protocol (SMESPR/1.0)
    Autor(en): Fischmann, Matthias
    Reihe/ Band: Saarbr├╝cken : DFKI, 1999
    Kurzbeschreibung | Frontdoor

    Decision theory and coordination in multiagent systems
    Autor(en): Fischer, Klaus ; Ru├č, Christian ; Vierke, Gero
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    Methodological comparison of agent models
    Autor(en): Jung, Christoph G. ; Fischer, Klaus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    Developing a matrix characterization for MELL
    Autor(en): Mantel, Heiko
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    A bag of useful techniques for efficient and robust parsing
    Autor(en): Kiefer, Bernd ; Krieger, Hans-Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    The EMS model
    Autor(en): Lind, J├╝rgen
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    Spontane Gruppenbildung in k├╝nstlichen Gesellschaften
    Autor(en): Schillo, Michael ; Funk, Petra
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    A multi-agent perspective on intermodal transport chains
    Autor(en): Funk, Petra ; Vierke, Gero ; B├╝rckert, Hans-J├╝rgen
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    Transportation scheduling and simulation in a railroad scenario : a multi-agent approach
    Autor(en): Lind, J├╝rgen ; Fischer, Klaus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    Simulated Trading Mechanismen f├╝r speditions├╝bergreifende Transportplanung
    Autor(en): B├╝rckert, Hans-J├╝rgen ; Vierke, Gero
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    Fast loading and unloading devices : planning and scheduling requirements
    Autor(en): Funk, Petra
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    An empirical evaluation on the suitability of market-based mechanisms for telematics applications
    Autor(en): Gerber, Christian ; Ru├č, Christian ; Vierke, Gero
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    Bottleneck analysis as a heuristic for self-adaption in multi-agent societies
    Autor(en): Gerber, Christian
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    The RAWAM : relfun-adapted WAM emulation in C
    Autor(en): Perling, Markus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1998
    Kurzbeschreibung | Frontdoor

    Analogical transfer of verification proofs for state-based specifications
    Autor(en): Melis, Erica ; Sengler, Claus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    Complement extraction lexical rules and argument attraction
    Autor(en): M├╝ller, Stefan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    Natural language dialogue service for appointment scheduling agents
    Autor(en): Busemann, Stephan ; Declerck, Thierry ; Diagne, Abdel Kader ; Dini, Luca ; Klein, Judith ; Schmeier, Sven
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    Using rippling to prove the termination of algorithms
    Autor(en): Hutter, Dieter
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    Parameterized abstractions used for proof-planning
    Autor(en): Autexier, Serge ; Hutter, Dieter
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    Scrambling in German - extraction into the Mittelfeld
    Autor(en): M├╝ller, Stefan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    Yet another paper about partial verb phrase fronting in German
    Autor(en): M├╝ller, Stefan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    Finding regions of local repair in hierarchical constraint satisfaction
    Autor(en): Meyer auf'm Hofe, Harald
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    TeleTruck : a holonic fleet management system
    Autor(en): B├╝rckert, Hans-J├╝rgen ; Fischer, Klaus ; Vierke, Gero
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    Scalability of multi-agent systems : proposal for a dissertation
    Autor(en): Gerber, Christian
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    GeneTS : a relational-functional genetic algorithm for the traveling salesman problem
    Autor(en): Perling, Markus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1997
    Kurzbeschreibung | Frontdoor

    PPP-Persona : ein objektorientierter Multimedia-Pr├Ąsentationsagent
    Autor(en): Andr├ę, Elisabeth ; M├╝ller, Jochen ; Rist, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1996
    Kurzbeschreibung | Frontdoor

    Interleaving natural language parsing and generation through uniform processing
    Autor(en): Neumann, G├╝nter
    Reihe/ Band: Saarbr├╝cken : DFKI, 1996
    Kurzbeschreibung | Frontdoor

    Multi-agent planning using an abductive : event calculus
    Autor(en): Jung, Christoph G. ; Fischer, Klaus ; Burt, Alastair
    Reihe/ Band: Saarbr├╝cken : DFKI, 1996
    Kurzbeschreibung | Frontdoor

    Best-first surface realization
    Autor(en): Busemann, Stephan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1996
    Kurzbeschreibung | Frontdoor

    Case studies of non-freely generated data types
    Autor(en): Sengler, Claus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1996
    Kurzbeschreibung | Frontdoor

    Knowledge bases in the world wide web : a challenge for logic programming (second, revised edition)
    Autor(en): Boley, Harold
    Reihe/ Band: Saarbr├╝cken : DFKI, 1996
    Kurzbeschreibung | Frontdoor

    CTL : a description logic with expressive concrete domains
    Autor(en): Kamp, Gerd ; Wache, Holger
    Reihe/ Band: Saarbr├╝cken : DFKI, 1996
    Kurzbeschreibung | Frontdoor

    FEGRAMED : an interactive graphics editor for feature structures
    Autor(en): Kiefer, Bernd ; Fettig, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    The complexity of concept languages
    Autor(en): Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    An abstract machine for Oz
    Autor(en): Mehl, Michael ; Scheidhauer, Ralf ; Schulte, Christian
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    A refined architecture for terminological systems : terminology = schema + views
    Autor(en): Buchheit, Martin ; Donini, Francesco M. ; Nutt, Werner ; Schaerf, Andrea
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    The Oz programming model
    Autor(en): Smolka, Gert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Incremental generation for real-time applications
    Autor(en): Kilger, Anne ; Finkler, Wolfgang
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Research in constraint-based layout, visualization, CAD, and related topics : a bibliographical survey
    Autor(en): Hower, Walter ; Graf, Winfried H.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Deduction-based refinement planning
    Autor(en): Stephan, Werner ; Biundo, Susanne
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Functional computation as concurrent computation
    Autor(en): Niehren, Joachim
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Classification and representation of types in TDL
    Autor(en): Krieger, Hans-Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Efficient parameterizable type expansion for typed feature formalisms
    Autor(en): Krieger, Hans-Ulrich ; Sch├Ąfer, Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Distributed parsing with HPSG grammars
    Autor(en): Diagne, Abdel Kader ; Kasper, Walter ; Krieger, Hans-Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Typed feature structures, definite equivalences, greatest model semantics, and nonmonotonicity
    Autor(en): Krieger, Hans-Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Cooperative transportation scheduling : an application domain for DAI
    Autor(en): Fischer, Klaus ; M├╝ller, J├Ârg P. ; Pischel, Markus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Document analysis at DFKI. - Part 1: Image analysis and text recognition
    Autor(en): Ali, Majdi Ben Hadj ; Fein, Frank ; H├Ânes, Frank ; J├Ąger, Thorsten ; Weigel, Achim
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Document analysis at DFKI. - Part 2: Information extraction
    Autor(en): Baumann, Stephan ; Malburg, Michael H. ; Hein, Hans-G├╝nther ; Hoch, Rainer ; Kieninger, Thomas ; Kuhn, Norbert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Task acquisition with a description logic reasoner
    Autor(en): Buchheit, Martin ; B├╝rckert, Hans-J├╝rgen ; Hollunder, Bernhard ; Laux, Armin ; Nutt, Werner ; W├│jcik, Marek
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    A first-order axiomatization of the theory of finite trees
    Autor(en): Backofen, Rolf ; Rogers, James ; Vijay-Shanker, K.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    An environment for exploring and validating declarative knowledge
    Autor(en): Abecker, Andreas ; Boley, Harold ; Hinkelmann, Knut ; Wache, Holger ; Schmalhofer, Franz
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    FLIP : functional-plus-logic programming on an integrated platform
    Autor(en): Sintek, Michael
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Constructive problem solving : a model construction approach towards configuration
    Autor(en): Buchheit, Martin ; Klein, R├╝diger ; Nutt, Werner
    Reihe/ Band: Saarbr├╝cken : DFKI, 1995
    Kurzbeschreibung | Frontdoor

    Beyond the knowledge level : descriptions of rational behavior for sharing and reuse
    Autor(en): Schmalhofer, Franz ; Aitken, J. Stuart ; Bourne, Lyle E.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    An adaptive deductive planning system
    Autor(en): Dengler, Dietmar
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Finite domains and exclusions as first-class citizens
    Autor(en): Boley, Harold
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Computing cost estimates for proof strategies
    Autor(en): Hinkelmann, Knut ; Hintze, Helge
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Ordering constraints on trees
    Autor(en): Comon, Hubert ; Treinen, Ralf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Planning from second principles : a logic-based approach
    Autor(en): Koehler, Jana
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Towards a sharable knowledge base on recyclable plastics
    Autor(en): Boley, Harold ; Buhrmann, Ulrich ; Kremer, Christof
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Using graphical style and visibility constraints for a meaningful layout in visual programming interfaces
    Autor(en): Graf, Winfried H. ; Neurohr, Stefan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Philosophical logics - a survey and a bibliography
    Autor(en): Struth, Georg
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    How to win a game with features
    Autor(en): Backofen, Rolf ; Treinen, Ralf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Using IR techniques for text classification in document analysis
    Autor(en): Hoch, Rainer
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Encapsulated search and constraint programming in Oz
    Autor(en): Schulte, Christian ; Smolka, Gert ; W├╝rtz, J├Ârg
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    The definition of kernel Oz
    Autor(en): Smolka, Gert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Integrated knowledge utilization and evolution for the conservation of corporate know-how
    Autor(en): K├╝hn, Otto ; Becker, Volker ; Lohnse, Georg ; Neumann, Philipp
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Terminological logics with modal operators
    Autor(en): Baader, Franz ; Laux, Armin
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    COSMA - multi-participant NL interaction for appointment scheduling
    Autor(en): Busemann, Stephan ; Oepen, Stephan ; Hinkelman, Elizabeth A. ; Neumann, G├╝nter ; Uszkoreit, Hans
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    A complete axiomatization of a theory with feature and arity constraints
    Autor(en): Backofen, Rolf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Issues in concurrent knowledge engineering : knowledge sharing and knowledge base evolution
    Autor(en): Meyer, Manfred
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Typed feature formalisms as a common basis for linguistic specification
    Autor(en): Krieger, Hans-Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    DISCO - an HPSG-based NLP system and its application for appointment scheduling
    Autor(en): Uszkoreit, Hans ; Backofen, Rolf ; Busemann, Stephan ; Diagne, Abdel Kader ; Hinkelman, Elizabeth A. ; Kasper, Walter ; Kiefer, Bernd ; Krieger, Hans-Ulrich ; Netter, Klaus ; Neumann, G├╝nter ; Oepen, Stephan ; Spackman, Stephen P.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Multimedia presentations : the support of passive and active viewing
    Autor(en): Andr├ę, Elisabeth ; Rist, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Von Textgeneratoren zu Intellimedia-Pr├Ąsentationssystemen
    Autor(en): Andr├ę, Elisabeth ; Rist, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    A calculus for higher-order concurrent constraint programming with deep guards
    Autor(en): Gerd, Smolka
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    A foundation for higher-order concurrent constraint programming
    Autor(en): Gerd, Smolka
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    TDL : a type description language for HPSG. - Part 1: Overview
    Autor(en): Krieger, Hans-Ulrich ; Sch├Ąfer, Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Unifying control in a layered agent architecture
    Autor(en): Fischer, Klaus ; M├╝ller, J├Ârg P. ; Pischel, Markus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    PAntUDE - an anti-unification algorithm for expressing refined generalizations
    Autor(en): Fischer, Cornelia
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Uncertainty-valued horn clauses
    Autor(en): Hall, Victoria
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Representation of non-convex time intervals and propagation of non-convex relations
    Autor(en): Bleisinger, Rainer ; Kr├Âll, Berthold
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    Text skimming as a part in paper document understanding
    Autor(en): Bleisinger, Rainer ; Gores, Klaus-Peter
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    A consequence-finding approach for feature recognition in CAPP
    Autor(en): Hinkelmann, Knut
    Reihe/ Band: Saarbr├╝cken : DFKI, 1994
    Kurzbeschreibung | Frontdoor

    COLAB : a hybrid knowledge representation and compilation laboratory
    Autor(en): Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Meyer, Manfred
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    A semantics for open normal defaults via a modified preferential approach
    Autor(en): Baader, Franz ; Schlechta, Karl
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Equational and membership constraints for infinite trees
    Autor(en): Niehren, Joachim ; Podelski, Andreas ; Treinen, Ralf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    PLUS : plan-based user support final project report
    Autor(en): Berger, Frank ; Fehrle, Thomas ; Kl├Âckner, Kristof ; Sch├Âlles, Volker ; Thies, Markus A. ; Wahlster, Wolfgang
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Object-oriented concurrent constraint programming in Oz
    Autor(en): Smolka, Gert ; Henz, Martin ; W├╝rtz, J├Ârg
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Derivation without lexical rules
    Autor(en): Krieger, Hans-Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Feature-based allomorphy
    Autor(en): Krieger, Hans-Ulrich ; Nerbonne, John ; Pirker, Hannes
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Corporate agents
    Autor(en): Spackman, Stephen P. ; Hinkelman, Elizabeth A.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Abductive speech act recognition, corporate agents and the COSMA system
    Autor(en): Hinkelman, Elizabeth A. ; Spackman, Stephen P.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Conversation acts in task-oriented spoken dialogue
    Autor(en): Traum, David R. ; Hinkelman, Elizabeth A.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Plan reuse versus plan generation : a theoretical and empirical analysis
    Autor(en): Nebel, Bernhard ; Koehler, Jana
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    LAYLAB : a constraint-based layout manager for multimedia presentations
    Autor(en): Graf, Winfried H.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    The first-order theory of lexicographic path orderings is undecidable
    Autor(en): Comon, Hubert ; Treinen, Ralf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    On virtual partitioning of large dictionaries for contextual post-processing to improve character recognition
    Autor(en): Hoch, Rainer
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    GGD : graph grammar developer for features in CAD/CAM
    Autor(en): Klauck, Christoph ; Schwagereit, Johannes
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Decidable reasoning in terminological knowledge representation systems
    Autor(en): Buchheit, Martin ; Donini, Francesco M. ; Schaerf, Andrea
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    A two-level semantics for french expressions of motion
    Autor(en): Sablayrolles, Pierre
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Embedding defaults into terminological knowledge representation formalisms
    Autor(en): Baader, Franz ; Hollunder, Bernhard
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Regular path expressions in feature logic
    Autor(en): Backofen, Rolf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Weak looking-ahead and its application in computer-integrated process planning
    Autor(en): Meyer, Manfred A. ; M├╝ller, J├Ârg P.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Document highlighting - message classification in printed business letters
    Autor(en): Hoch, Rainer ; Dengel, Andreas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    A DAI approach to modeling the transportation domain
    Autor(en): Fischer, Klaus ; Kuhn, Norbert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    The agent architecture InteRRaP : concept and application
    Autor(en): M├╝ller, J├Ârg P. ; Pischel, Markus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Verbmobil : translation of face-to-face dialogs
    Autor(en): Wahlster, Wolfgang
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Von IDA bis IMCOD : Expertensysteme im CIM-Umfeld
    Autor(en): Richter, Michael M. ; Bachmann, Bernd ; Bernardi, Ansgar ; Klauck, Christoph ; Legleitner, Ralf ; Schmidt, Gabriele
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Document recognition of printed scores and transformation into MIDI
    Autor(en): Baumann, Stephan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Queries, rules and definitions as epistemic statements in concept languages
    Autor(en): Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner ; Schaerf, Andrea
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Logic-based plan recognition for intelligent help systems
    Autor(en): Bauer, Mathias ; Paul, Gabriele
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Subsumption between queries to object-oriented databases
    Autor(en): Buchheit, Martin ; Jeusfeld, Manfred A. ; Nutt, Werner ; Staudt, Martin
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Cardinality restrictions on concepts
    Autor(en): Baader, Franz ; Buchheit, Martin ; Hollunder, Bernhard
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Combination techniques and decision problems for disunification
    Autor(en): Baader, Franz ; Schulz, Klaus U.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    An alternative proof method for possibilistic logic and its application to terminological logics
    Autor(en): Hollunder, Bernhard
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on'
    Autor(en): Baader, Franz ; Hollunder, Bernhard ; Nebel, Bernhard ; Profitlich, Hans-J├╝rgen ; Franconi, Enrico
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Representing belief in multi-agent worlds via terminological logics
    Autor(en): Laux, Armin
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Concept logics with function symbols
    Autor(en): B├╝rckert, Hans-J├╝rgen ; Hollunder, Bernhard ; Laux, Armin
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Satisfiability of the smallest binary program
    Autor(en): Hanschke, Philipp ; W├╝rtz, J├Ârg
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Reasoning about temporal relations : a maximal tractable subclass of Allen's interval algebra
    Autor(en): Nebel, Bernhard ; B├╝rckert, Hans-J├╝rgen
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Terminological cycles and the ropositional μ-calculus
    Autor(en): Schild, Klaus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Indexing PROLOG procedures into DAGs by heuristic classification
    Autor(en): Sintek, Michael
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Propagation techniques in WAM-based architectures : the FIDO-III approach
    Autor(en): Hein, Hans-G├╝nther
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Konzeption einer deklarativen Wissensbasis ├╝ber recyclingrelevante Materialien
    Autor(en): Boley, Harold ; Buhrmann, Ulrich ; Kremer, Christof
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Conflict resolving negotiation for COoperative Schedule Management Agents (COSMA)
    Autor(en): Sablayrolles, Pierre ; Schupeta, Achim
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings
    Autor(en): Boley, Harold ; Bry, Fran├žois ; Geske, Ulrich
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Comparative study of connectionist simulators
    Autor(en): Dengel, Andreas ; Lutzy, Ottmar
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Reconstructive integrated explanation of lathe production plans
    Autor(en): K├╝hn, Otto ; Birk, Andreas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Generation of distributed supervisors for parallel compilers
    Autor(en): Alt, Martin ; Sander, Georg ; Wilhelm, Reinhard
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Principal types for object-oriented languages
    Autor(en): Hense, Andreas V. ; Smolka, Gert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    On skolemization in constrained logics
    Autor(en): B├╝rckert, Hans-J├╝rgen ; Hollunder, Bernhard ; Laux, Armin
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Plan-based integration of natural language and graphics generation
    Autor(en): Wahlster, Wolfgang ; Andr├ę, Elisabeth ; Finkler, Wolfgang ; Profitlich, Hans-J├╝rgen ; Rist, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1993
    Kurzbeschreibung | Frontdoor

    Extended logic-plus-functional programming
    Autor(en): Boley, Harold
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Feature-based lexicons : an example and a comparison to DATR
    Autor(en): Nerbonne, John
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Feature based integration of CAD and CAPP
    Autor(en): Bernardi, Ansgar ; Klauck, Christoph ; Legleitner, Ralf ; Schulte, Michael ; Stark, Rainer
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Perspektiven zur Kombination von automatischem Animationsdesign und planbasierter Hilfe
    Autor(en): Graf, Winfried ; Thies, Markus A.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    An interval-based temporal logic in a multivalued setting
    Autor(en): Bauer, Mathias
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Deductive planning and plan reuse in a command language environment
    Autor(en): Biundo, Susanne ; Dengler, Dietmar ; Koehler, Jana
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Planbasierte graphische Hilfe in objektorientierten Benutzungsoberfl├Ąchen
    Autor(en): Thies, Markus A. ; Berger, Frank
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Intelligent user support in graphical user interfaces
    Autor(en): Thies, Markus A. ; Fehrle, Thomas ; Berger, Frank
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Constraint-based graphical layout of multimodal presentations
    Autor(en): Graf, Winfried
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Constraint-based semantics
    Autor(en): Nerbonne, John
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    PIM : planning in manufacturing using skeletal plans and features
    Autor(en): Legleitner, Ralf ; Bernardi, Ansgar ; Klauck, Christoph
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Representing grammar, meaning and knowledge
    Autor(en): Nerbonne, John
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Representing spatial relations (Part II) : the geometrical approach
    Autor(en): Mohren, J├Ârg-Peter ; M├╝ller, J├╝rgen
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Knowledge acquisition from text in a complex domain
    Autor(en): Schmidt, Gabriele
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Designing a structured lexicon for document image analysis
    Autor(en): Hoch, Rainer ; Malburg, Michael
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Terminological reasoning and partial inductive definitions
    Autor(en): Hanschke, Philipp
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Using hierarchical constraint satisfaction for lathe-tool selection in a CIM environment
    Autor(en): Meyer, Manfred
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Extensions of concept languages for a mechanical engineering application
    Autor(en): Baader, Franz ; Hanschke, Philipp
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Specifying role interaction in concept languages
    Autor(en): Hanschke, Philipp
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Combining terminological and rule-based reasoning for abstraction processes
    Autor(en): Hanschke, Philipp ; Hinkelmann, Knut
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A multi-agent approach towards group scheduling
    Autor(en): Lux, Andreas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A feature-based syntax/semantics interface
    Autor(en): Nerbonne, John
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    The design of illustrated documents as a planning task
    Autor(en): Andr├ę, Elisabeth ; Rist, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    WIP : the automatic synthesis of multimodal presentations
    Autor(en): Andr├ę, Elisabeth ; Finkler, Wolfgang ; Graf, Winfried ; Rist, Thomas ; Schauder, Anne ; Wahlster, Wolfgang
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A multi-agent approach towards modeling urban traffic scenarios
    Autor(en): Bomarius, Frank
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Plan modifications versus plan generation : a complexity-theoretic perspective
    Autor(en): Nebel, Bernhard ; Koehler, Jana
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Generierung nat├╝rlicher Sprache
    Autor(en): Busemann, Stephan ; Novak, Hans-Joachim
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    PHI : a logic-based tool for intelligent help systems
    Autor(en): Bauer, Mathias ; Biundo, Susanne ; Dengler, Dietmar ; Koehler, Jana ; Paul, Gabriele
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A new logical framework for deductive planning
    Autor(en): Stephan, Werner ; Biundo, Susanne
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Natural language semantics and compiler technology
    Autor(en): Nerbonne, John ; Laubsch, Joachim ; Diagne, Abdel Kader ; Oepen, Stephan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    How to prefer more specific defaults in terminological default logic
    Autor(en): Baader, Franz ; Hollunder, Bernhard
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    On principles and problems of defeasible inheritance
    Autor(en): Schlechta, Karl ; Makinson, David
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Heuristic classification for automated CAPP
    Autor(en): Klauck, Christoph ; Legleitner, Ralf ; Bernardi, Ansgar
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A heuristic driven chart-parser for attributed node labeled graph grammars and its application to feature recognition in CIM
    Autor(en): Klauck, Christoph ; Mauss, Jakob
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    On abduction and answer generation through constrained resolution
    Autor(en): B├╝rckert, Hans-J├╝rgen ; Nutt, Werner
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Using integrated knowledge acquisition to prepare sophisticated expert plans for their re-use in novel situations
    Autor(en): Schmalhofer, Franz ; Bergmann, Ralf ; K├╝hn, Otto ; Schmidt, Gabriele
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Intelligent documentation as a catalyst for developing cooperative knowledge-based systems
    Autor(en): Schmalhofer, Franz ; Reinartz, Thomas ; Tschaitschian, Bidjan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    The model-based construction of a case-oriented expert system
    Autor(en): Schmalhofer, Franz ; Thoben, J├Ârg
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A complete and recursive feature theory
    Autor(en): Backofen, Rolf ; Smolka, Gert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Automatic design of multimodal presentations
    Autor(en): Wahlster, Wolfgang
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Defaults, preorder semantics and circumscription
    Autor(en): Schlechta, Karl
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A feature-based constraint system for logic programming with entailment
    Autor(en): Aït-Kaci, Hassan ; Podelski, Andreas ; Smolka, Gert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A direct semantic characterization of RELFUN
    Autor(en): Boley, Harold
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Main topics of DAI : a review
    Autor(en): Schupeta, Achim
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Approaches to abductive reasoning : an overview
    Autor(en): Merziger, Gabriele
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Unifying cycles
    Autor(en): W├╝rtz, J├Ârg
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Records for logic programming
    Autor(en): Smolka, Gert ; Treinen, Ralf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Unification theory
    Autor(en): Baader, Franz
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    An alternative to theta-subsumption based on terminological reasoning
    Autor(en): Hanschke, Philipp ; Meyer, Manfred
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Integrating a modal logic of knowledge into terminological logics
    Autor(en): Laux, Armin
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Unification in monoidal theories is solving linear equations over semirings
    Autor(en): Nutt, Werner
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Pi_{ODA} : the paper interface to ODA
    Autor(en): Dengel, Andreas ; Bleisinger, Rainer ; Hoch, Rainer ; H├Ânes, Frank ; Fein, Frank ; Malburg, Michael
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Entwurf und Implementierung eines Compilers zur Transformation von Werkst├╝ckrepr├Ąsentationen
    Autor(en): Zhang, Lijuan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Organizing communication and introspection in a multi-agent blocksworld scenario
    Autor(en): Schupeta, Achim
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    A cognitive analysis of event structure
    Autor(en): Singh, Mona
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    On the representation of temporal knowledge
    Autor(en): M├╝ller, J├╝rgen ; M├╝ller, J├Ârg P. ; Pischel, Markus ; Scheidhauer, Ralf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    The refitting of plans by a human expert
    Autor(en): Schmalhofer, Franz ; Globig, Christoph ; Thoben, J├Ârg
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Hierarchical skeletal plan refinement : task- and inference structures
    Autor(en): K├╝hn, Otto ; Schmalhofer, Franz
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Realization of tree adjoining grammars with unification
    Autor(en): Kilger, Anne
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Klassische Kommunikations- und Koordinationsmodelle
    Autor(en): Buchheit, Martin
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Automatische, Deskriptor-basierte Unterst├╝tzung der Dokumentanalyse zur Fokussierung und Klassifizierung von Gesch├Ąftsbriefen
    Autor(en): Dittrich, Stefan ; Hoch, Rainer
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Skeletal plans reuse : a restricted conceptual graph classification approach
    Autor(en): Wu, Zhaohui ; Bernardi, Ansgar ; Klauck, Christoph
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Decision-theoretic transformational planning
    Autor(en): Beetz, Michael
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Incorporating graphics design and realization into the multimodal presentation system WIP
    Autor(en): Rist, Thomas ; Andr├ę, Elisabeth
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Ein Modell zur Repr├Ąsentation von Nachrichtentypen
    Autor(en): Gores, Klaus-Peter ; Bleisinger, Rainer
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Incremental syntactic generation of natural language with tree adjoining grammars
    Autor(en): Schauder, Anne
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Parsen und Generieren der Prolog-artigen Syntax von RELFUN
    Autor(en): Herfert, Michael
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Realisierung eines Werkzeugwahlmoduls mit Hilfe des Constraint-Systems CONTAX
    Autor(en): Tolzmann, Enno
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Integrating bottom-up and top-down reasoning in COLAB
    Autor(en): Harm, Martin ; Hinkelmann, Knut ; Labisch, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    M├Âglichkeiten der Wissensmodellierung f├╝r technische Diagnose-Expertensysteme
    Autor(en): Becker, Kerstin
    Reihe/ Band: Saarbr├╝cken : DFKI, 1992
    Kurzbeschreibung | Frontdoor

    Qualifying number restrictions in concept languages
    Autor(en): Hollunder, Bernhard ; Baader, Franz
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Belief revision and default reasoning : syntax-based approaches
    Autor(en): Nebel, Bernhard
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    A scheme for integrating concrete domains into concept languages
    Autor(en): Baader, Franz ; Hanschke, Philipp
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Using pattern-action rules for the generation of GPSG structures from separate semantic representations
    Autor(en): Busemann, Stephan
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    On the commitments and precommitments of limited agents
    Autor(en): Singh, Munindar Paul
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Clause union and verb raising phenomena in German
    Autor(en): Netter, Klaus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Residuation and guarded rules for constraint logic programming
    Autor(en): Smolka, Gert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Constraint-basierte Verarbeitung graphischen Wissens
    Autor(en): Graf, Winfried ; Maa├č, Wolfgang
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    A hybrid approach for modeling uncertainty in terminological logics
    Autor(en): Heinsohn, Jochen
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Strategies for adding control information to declarative grammars
    Autor(en): Uszkoreit, Hans
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Inheritance and complementation : a case study of easy adjectives and related nouns
    Autor(en): Flickinger, Dan ; Nerbonne, John
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Feature-based inheritance networks for computational lexicons
    Autor(en): Krieger, Hans-Ulrich ; Nerbonne, John
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Unification in the union of disjoint equational theories : combining decision procedures
    Autor(en): Baader, Franz ; Schulz, Klaus
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    On the computational complexity of temporal projection and some related problems
    Autor(en): Nebel, Bernhard ; B├Ąckstr├Âm, Christer
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    WIP : the coordinated generation of multimodal presentations from a common representation
    Autor(en): Wahlster, Wolfgang ; Andr├ę, Elisabeth ; Bandyopadhyay, Som ; Graf, Winfried ; Rist, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Towards the integration of functions, relations and types in an AI programming language
    Autor(en): Backofen, Rolf ; Euler, Lutz ; G├Ârz, G├╝nther
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    The absorption principle and E-type anaphora
    Autor(en): Gawron, Jean Mark ; Nerbonne, John ; Peters, Stanley
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Incremental syntax generation with tree adjoining grammars
    Autor(en): Harbusch, Karin ; Finkler, Wolfgang ; Schauder, Anne
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    A diagnostic tool for German syntax
    Autor(en): Nerbonne, John ; Netter, Klaus ; Diagne, Abdel Kader ; Dickmann, Ludwig ; Klein, Judith
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Integrated plan generation and recognition : a logic-based approach
    Autor(en): Bauer, Mathias ; Biundo, Susanne ; Dengler, Dietmar ; Hecking, Matthias ; Koehler, Jana ; Merziger, Gaby
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    The complexity of existential quantification in concept languages
    Autor(en): Donini, Francesco M. ; Hollunder, Bernhard ; Lenzerini, Maurizio ; Spaccamela, Alberto Marchetti ; Nard, Daniele ; Nutt, Werner
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    X2MORF : a morphological component based on augmented two-level morphology
    Autor(en): Trost, Harald
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Designing illustrated texts : how language production is influenced by graphics generation
    Autor(en): Wahlster, Wolfgang ; Andr├ę, Elisabeth ; Graf, Winfried ; Rist, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Synthesizing illustrated documents : a plan-based approach
    Autor(en): Andr├ę, Elisabeth ; Rist, Thomas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    A head-driven approach to incremental and parallel generation of syntactic structures
    Autor(en): Neumann, G├╝nter ; Finkler, Wolfgang
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    A two level representation for spatial relations. - Part I
    Autor(en): Breuer, Peter ; M├╝ller, J├╝rgen
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Linking typed feature formalisms and terminological knowledge representation languages in natural language front-ends
    Autor(en): Backofen, Rolf ; Trost, Harald ; Uszkoreit, Hans
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Akquisition und Repr├Ąsentation von technischem Wissen f├╝r Planungsaufgaben im Bereich der Fertigungstechnik
    Autor(en): Richter, Michael M. ; Bernardi, Ansgar ; Klauck, Christoph ; Legleitner, Ralf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Self-adapting structuring and representation of space
    Autor(en): Dengel, Andreas
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    FEAT-REP : representing features in CAD/CAM
    Autor(en): Klauck, Christoph ; Bernardi, Ansgar ; Legleitner, Ralf
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    The use of abstraction concepts for representing and structuring documents
    Autor(en): Dengel, Andreas ; Mattos, Nelson M.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    ARC-TEC : acquisition, representation and compilation of technical knowledge
    Autor(en): Bernardi, Ansgar ; Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Klauck, Christoph ; K├╝hn, Otto ; Legleitner, Ralf ; Meyer, Manfred ; Richter, Michael M. ; Schmalhofer, Franz ; Schmidt, Gabriele ; Sommer, Walter
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    On the expressivity of feature logics with negation, functional uncertainty, and sort equations
    Autor(en): Baader, Franz ; B├╝rckert, Hans-J├╝rgen ; Nebel, Bernhard ; Nutt, Werner ; Smolka, Gert
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Approaches to the reuse of plan schemata in planning formalisms
    Autor(en): K├Âhler, Jana
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Bidirectional reasoning of horn clause programs : transformation and compilation
    Autor(en): Hinkelmann, Knut
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    A sampler of relational/functional definitions (second, revised edition)
    Autor(en):
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Theoretical consideration of goal recognition aspects for understanding information in business letters
    Autor(en): Weber, Jay C. ; Dengel, Andreas ; Bleisinger, Rainer
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Aspects of cooperating agents
    Autor(en): Stein, Johannes
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Social and psychological commitments in multiagent systems
    Autor(en): Singh, Munindar P.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    Clamping, COKAM, KADS, and OMOS : the construction and operationalization of a KADS conceptual model
    Autor(en): K├╝hn, Otto ; Linster, Marc ; Schmidt, Gabriele
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991
    Kurzbeschreibung | Frontdoor

    On the semantics of protocols among distributed intelligent agents
    Autor(en): Singh, Munindar P.
    Reihe/ Band: Saarbr├╝cken : DFKI, 1991