0167-9236

Decision Support Systems (DSS) - Volume 1, Issue 2 论文列表

本期论文列表
Information support systems for problem solving

Aggregating data for decision support

Access to specific declarative knowledge by expert systems: The impact of logic programming

Towards knowledge-based infolog specifications A case study of information engineering

A relational framework for assertion management

Making type changes transparent: Matts Ahlsen, Anders Bjoernerstedt, Stefan Britts, Christer Hulten and Lars Soederlund: SYSLAB-S, University of Stockholm, (February 1984)

Partitioning, spectra and linear programming: Earl A. Barnes and Alan J. Hoffman: IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (August 1982)

Language description and implementation concepts of LITFAS (Language for implications from textual files and atomic sentences): E. Bertsch: Informatik Bericht, FernUniversität Hagen, (April 1984)

Performance evaluation tool (PET): An analysis tool for computer communication networks: Kadaba Bharath-Kumar and Parviz Kermani: IBM T.J. Watson Research Center, Yorktown Heights, (Dec. 1982)

Actively learning to use a word processor: John M. Carroll and Robert L. Mack: Rep. RC 9482, IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (July 1982)

Learning to use a word processor: by doing, by thinking, and by knowing: John M. Carroll and Robert L. Mack: Rep. RC 9481, IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (July 1982)

Metaphor, computing systems, and active learning: John M. Carroll and Robert L. Mack: Computer Science Dept., IBM Watson Research Center, Yorktown Heights, (Oct. 1982)

Composition of productions: Lewis Clayton: IBM Watson Research Center, Yorktown Heights, (Dec. 1982)

A computational model for the analysis of arguments: Robin Cohen: Computer Systems Research Group, University of Toronto, (1983)

A rigorous approach to fault-tolerant system development: Flaviu Cristian: IBM Research Laboratory, San Jose, (Jan. 1983)

Multivariate splines — A new constructive approach: Wolfgang Dalmen and Charles A. Micchelli: Inst. f. Angew. Mathematik, Universität Bonn, (Sept. 1982)

Bounds on information exchange for byzantine agreement: Danny Dolev and Rudiger Reischuk: IBM Research Laboratory, San Jose, (Aug. 1982)

A weakest precondition semantics for communicating processes: Tzilla Elrad and Nissim Francez: T.J. Watson Research Center, Yorktown Heights, (Dec. 1982)

Child support: An addition to our social security menu: Irvin Garfinkel: SFB 3, J.W. Geothe-Universität Frankfurt und Universität Mannheim, (Jan. 1984)

An object-oriented office data model: Simon J. Gibbs: Computer Systems Research Group, University of Toronto, (Jan. 1984)

A probabilistic approach for dealing with ambiguous syntactic structures: Brian R. Greene and Tetsunosuke Fujisaki: IBM Thomas J. Watson Research Center, Yorktown Heights, (Dec. 1982)

Computing text constituency: An algorithm approach to the generation of text graphs: Udo Hahn and Ulrich Reimer: Informationswissenschaft, Universität Konstanz, (April 1984)

Textual expertise in word experts: An Approach to text parsing based on topic/comment monitoring ∗Extended version∗: Udo Hahn: Informationswissenschaft, Universität Konstanz, (June 1984)

Some technics for solving linear equation systems with guarantee: W. Hahn, K. Mohr and U. Schauer: Heidelberg Scientific Center, (Nov. 1983)

Problems of harmonization of minimum income regulations among EC member countries: Richard Hauser: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (August 1983).

Some problems of defining a poverty line for comparative studies: Richard Hauser: SFB 3, J.W. Goethe-Universität Frankfurt und Universitaet Mannheim, (June 1982)

Problems of anti-poverty policy in Germany (FRG): Richard Hauser: SFB 3, Goethe-Universität Frankfurt und Universität Mannheim, (July 1983)

The SFB-3 macroeconometric model — Theoretical aspects first simulation — and forecasting results: R. Hujer, G. Bauer and H. Knepel: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (March 1982)

Contributions to the theoretical foundations of systemeering research and the Pioco model: Juhani Iivari: Scientiae Rerum Naturalium, University of Oulu, (1983)

The fitted parse: 100% parsing capability in a synthatic grammar of english: Karen Jensen and George E. Heidorn: IBM Thomas J. Watson Research Center, Yorktown Heights, (Dec. 1982)

Political mobilization and democratic politics: Strains: Max Kaase: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (April 1984)

Generating requirements from enterprise analysis: David V. Kerner and Ashok Malhotra: IBM Thomas J. Watson Research Center, Yorktown Heights, (Nov. 1982)

Design of a document filing and retrieval service: Richard P. King, Henry F. Korth and Barry E. Willner: IBM Thomas J. Watson Research Center, Yorktown Heights, (Nov. 1982)

On some formal properties of tri-partite graphs: Juliusz Lech Kulikowski: ICS PAS Rep. 531, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, (November 1983)

ADAPT: A tool for the design of reusable software: Burt Leavenworth: IBM Thomas J. Watson Research Center, Yorktown Heights, (Dec. 1982)

A reasoning system for computer aided engineering: Bengt Lundberg: SYSLAB-S, University of Stockholm, (Feb. 1984)

The philosophical nature of information requirements and some research implications: Kalle Lyytinen: SYSLAB-S, University of Stockholm, (May 1983)

The Research queueing package: A primer: Edward A. MacNair and Charles H. Sauer: IBM T.J. Watson Research Center, Yorktown Heights, (Jan. 1983)

Relational propositions in discourse: William C. Mann and Sandra A. Thompson: ISI, University of Southern California, (Nov. 1983)

The state and the structure of the life course: Karl Ullrich Mayer and Walter Müller: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (July 1984)

Diagnosis theory for reconfigurable and distributed systems: John A. McPherson and Charles R. Kime: IBM Research Laboratory, San Jose, (Jan. 1983)

The adjustment of microdata using the kalman filtering procedure and optimal control theory: Joachim Merz: SFB 3, J.W. Goethe-Universität Frankfurt and Universität Mannheim, (May 1983)

A decision theoretic formulation of a training problem in speech recognition and a comparison of training by unconditional versus conditional maximum likelihood: Arthur Nadas: IBM Thomas J. Watson Research Center, Yorktown Heights, (Oct. 1982)

Logical foundations of knowledge representation: Ewa Orlowska and Zdzislaw Pawlak: ICS PAS Rep. 537, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, (February 1984)

Discrimination power of attributes in knowledge representation system: Zdzislaw Pawlak: ICS PAS Rep. 533, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, (January 1984)

Rough sets and fuzzy sets: Zdzislaw Pawlak:, ICS PAS Rep. 540, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, (March 1984)

A new solution for the byzantine generals problem: Rüdiger Reischuk: IBM Research Laboratory, San Jose, (Nov. 1982)

Formal grammar as a tool for analyzing ease of use: Some fundamental concepts: Phyllis Reisner: IBM Research Laboratory, San Jose, (Dec. 1982)

The changes of the way of life between generations and classes, as seen through life histories: J.P. Roos: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (Feb. 1984)

Compendium of graphics facilities: Stephen E. Rosenthal: IBM Thomas J. Watson Research Center, Yorktown Heights, (Aug. 1982)

Random pattern testability: J. Savir, G. Ditlow and P.H. Bardell: Rep. RC 9643, IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (October 1982)

Good controllability and observability do not guarantee good testability: Jacob Savir: Rep. RC 9432, IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (June 1982)

A note on independent fireability in Petri nets: P.B. Sheridan: IBM Thomas J. Watson Research Center, Yorktown Heights, (Sept. 1982)

An integrated robot system architecture: R.H. Taylor: Manufacturing Research Dept. IBM T.J. Watson Research Center, Yorktown Heights, (Feb. 1983)

An algorithm for mapping logical routes into physical routes in communication networks: Dong-wan Tcha and Oliver C. Ibe: IBM Thomas J. Watson Research Center, Yorktown Heights, (Sept. 1982)

Formal data base specification — An electric Perspective: P.A.S. Veloso, M.A. Casanova and A.L. Furtado: Departamento de Informatica, Pontificia Universidade Catolica do Rio de Janeiro, (Jan. 1984)

A distributed terminal management facility: Robert A. Yost and Bruce G. Lindsay: IBM Research Laboratory, San Jose, (Jan. 1983)

A look at algebraic specifications: Stephen N. Zilles, Peter Lucas and James W. Thatcher: Computer Science Dept. IBM Research Laboratory, San Jose, (Aug. 1982)

Announcements

Calendar