BibSonomy :: author :: Horacek ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(87)

<< < 1 | 2 | 3 > >>

Generating Inference-Rich Discourse Through Revisions of RST-Trees.
Helmut Horacek AAAI/IAAI, page 814-820. AAAI Press / The MIT Press, (1998)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
An Algorithm for Generating Referential Descriptions with Flexible Interfaces.
Helmut Horacek ACL, page 206-213. Morgan Kaufmann Publishers / ACL, (1997)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
A Flexible Shallow Approach to Text Generation
Stephan Busemann, and Helmut Horacek CoRR (1998)
to dblp by dblp and 2 other users on Dec 5, 2011, 12:00 AM
URL | BibTeX
Minimax Search Algorithms With and Without Aspiration Windows.
Hermann Kaindl, Reza Shams, and Helmut Horacek IEEE Trans. Pattern Anal. Mach. Intell. 13(12):1225-1235 (1991)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Presenting Inequations in Mathematical Proofs.
Detlef Fehrer, and Helmut Horacek Inf. Sci. 116(1):3-23 (1999)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
A Multi-dimensional Taxonomy for Automating Hinting.
Dimitra Tsovaltzi, Armin Fiedler, and Helmut Horacek Intelligent Tutoring Systems, volume 3220 of Lecture Notes in Computer Science, page 772-781. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
On Referring to Sets of Objects Naturally.
Helmut Horacek INLG, volume 3123 of Lecture Notes in Computer Science, page 70-79. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs.
Helmut Horacek, and Magdalena Wolska NLDB, volume 3136 of Lecture Notes in Computer Science, page 26-38. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Presenting Sets of Problem Solutions Concisely.
Helmut Horacek KI, volume 2821 of Lecture Notes in Computer Science, page 239-253. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Building Natural Language Generation Systems - Ehud Reiter and Robert Dale Eds., University of Aberdeen and Macquarie University, Cambridge University Press, 2000, ISBN 0-521-62036-8.
Helmut Horacek Artificial Intelligence in Medicine 22(3):277-280 (2001)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Reasoning with Uncertainty in Computer Chess.
Helmut Horacek Artif. Intell. 43(1):37-56 (1990)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Proof Development with OMEGA.
Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, and Jürgen Zimmer CADE, volume 2392 of Lecture Notes in Computer Science, page 144-149. Springer, (2002)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Argumentation in Explanations to Logical Problems.
Armin Fiedler, and Helmut Horacek International Conference on Computational Science 1, volume 2073 of Lecture Notes in Computer Science, page 969-978. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Presenting Proofs in a Human-Oriented Way.
Helmut Horacek CADE, volume 1632 of Lecture Notes in Computer Science, page 142-156. Springer, (1999)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Towards a Methodology for Developing Application-Oriented Report Generation.
Helmut Horacek, and Stephan Busemann KI, volume 1504 of Lecture Notes in Computer Science, page 189-200. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
An Approach to Building Domain Models Interactively.
Helmut Horacek NLDB, volume 3 of LNI, page 7-16. GI, (2001)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
L<Omega>UI: Lovely <Omega>MEGA User Interface.
Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, and Volker Sorge Formal Asp. Comput. 11(3):326-342 (1999)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Secured Agent Platform for Wireless Sensor Networks.
Jan Horacek, and Frantisek Zboril ACIIDS 1, volume 6591 of Lecture Notes in Computer Science, page 476-485. Springer, (2011)
to dblp by dblp on Apr 26, 2011, 12:00 AM
URL | BibTeX
Numerical solution of inviscid incompressible flow over a vibrating profile
Radek Honzatko, Jaromi Horacek, and Karel Kozel Proceedings of Czech-Japanese Seminar in Applied Mathematics, page 1. Japan, (September 2005)
to imported by zhihua on Apr 19, 2011, 2:10 PM
BibTeX
Choice of words in the generation process of a natural language interface.
Helmut Horacek Applied Artificial Intelligence 1(2):117-132 (1987)
to dblp by dblp on Jan 31, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100