ICIS Research Publications


2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1960 1959 1958 1957 1956 1955 1953 1952 1951 1950 1949 1948 1947 1946 1945 1941 1938 1923 1911

Unclassified

James Allan, Jaime Carbonell, George Doddington, Jonathan Yamron, and Yiming Yang. Topic Detection and Tracking Pilot Study - Final Report. In: Proceedings of the Broadcast News Transcription and Understranding Workshop, February, 1998.

[ Missing PDF ] [ Bibtex ]

J. Allan, J. Carbonell, G. Dodddington, J. Yamron, and Y. Yang. Topic detection and tracking pilot study: Final report. In: Proceedings of the DARPA Broadcast News Transcription and Understanding Workshop, 1998.

[ PDF ] [ Bibtex ]

M. Alles, P. Newman, and J. Noel. The value of information in internal management communication. In: Journal of Economic Behavior & Organization, Nr: 3, Vol: 36, Pages: 295-317, August, 1998.

In decentralized organizations, managers often negotiate with each other over inter-divisional trades and transfer prices. These activities require disclosures by managers over such variables as the level of divisional income, backorder levels, market trends and prices, returns on investment and so forth. By the nature of the decentralized firm, managers of these divisions may have incentives to under- or overstate these disclosures. In response, the recipients of these disclosures may institute control systems that formally or informally investigate these claims, and so deter biased reporting. In this paper we consider how these control systems will be used and whether they make the receiver better off not investigating. We develop intuition for when information is valuable in this setting.

[ PDF ] [ Bibtex ]

M. Anderson. Office Systems. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

T. Austin. Collaboration and Groupware. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

Baan Website. 1998.

[ External URL ] [ Bibtex ]

J. Bair. Knowledge Management Architecture. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

J. Bair. Knowledge Management Innovation. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

B. van Bakel. Modern Classical Document Indexing. In: Proceedings of the 21st Annual ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: W. Bruce Croft, A. Moffat, C.J. van Rijsbergen, R. Wilkinson, and J. Zobel. Pages: 333-334, 1998.

[ Missing PDF ] [ Bibtex ]

Marko Balabanovic. Exploring versus Eploiting when Learning User Models for Text Recomendation. In: User Modeling and User-Adapted Interaction, Vol: 8, Pages: 71-102, 1998.

[ Missing PDF ] [ Bibtex ]

A.P. Barros. On the Conceptualisation of Workflow Specifications. University of Queensland, Brisbane, Queensland, Australia, 1998.

[ PDF ] [ Bibtex ]

A.P. Barros, and A.H.M. ter Hofstede. Towards the Construction of Workflow Suitable Conceptual Modelling Techniques. Technical report, January, Department of Computer Science & Electrical Engineering, University of Queensland, Brisbane, Australia, 1998.

[ Missing PDF ] [ Bibtex ]

L. Bass, P.C. Clements, and R. Kazman. Software Architecture in Practice. Addison Wesley, 1998, ISBN 0201199300.

[ Missing PDF ] [ Bibtex ]

T.M.A. Bemelmans. Bestuurlijke Informatiesystemen en Automatisering. 7th edition, Kluwer, Deventer, The Netherlands, EU, 1998, In Dutch, ISBN 9026727984.

[ Missing PDF ] [ Bibtex ]

F.C. Berger. Navigational Query Construction in a Hypertext Environment. September, Department of Computer Science, University of Nijmegen, 1998.

[ Missing PDF ] [ Bibtex ]

Handbook on Architectures of Information Systems. Edited by: P. Bernus, K. Mertins, and G. Schmidt. International Handbooks on Information Systems, Springer, 1998, ISBN 3540644539.

This book is the first volume of a running series under the title International Handbooks on Information Systems. The series is edited by Peter Bernus, Jacek Blazewicz, Gunter Schmidt and Mike Shaw. One objective is to give state of the art surveys on selected topics of information systems theory and applications. To this end, a distinguished international group of academics and practitioners are invited to provide a reference source not only for problem solvers in business, industry, and government but also for professional researchers and graduate students.

It seemed appropriate to start the series with a volume covering some basic aspects about information systems. The focus of the first volume is therefore architectures. It was decided to have a balanced number of contributions from academia and practitioners. The structure of the material follows a differentiation betweeen modelling languages, tools and methodologies. These are collected into separate parts, allowing the reader of the han'clbook a better comparison of the contributions.

Information systems are a major component of the entire enterprise and the reader will notice that many contributions could just as easily have been included in another volume of the series which is on enterprise integration. Conversely, some traditionally information systems topics, as organisational analysis and strategic change management methods, will be treated in more depth in the Handbook on Enterprise Integration. The two volumes will complement each other.

[ Missing PDF ] [ Bibtex ]

M. Blechar, K. Loureiro, and L. Wallace. Enterprise Information Architectures 1998. Technical report: R-450-144, February, GartnerGroup - ADM, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

J.-W. van den Brandhof. Gebruik je hersens. Uitgeverij Verba, Hoevelaken, The Netherlands, EU, 1998, ISBN 9055133396.

[ Missing PDF ] [ Bibtex ]

T. Brasethvik. A semantic modeling approach to metadata. In: Internet Research, Nr: 5, Vol: 8, Pages: 377-386, 1998.

[ Missing PDF ] [ Bibtex ]

Sergey Brin, and Lawrence Page. The anatomy of a large-scale hypertextual Web search engine. In: Computer Networks and ISDN Systems, Nr: 1-7, Vol: 30, Pages: 107-117, 1998.

[ PDF ] [ Bibtex ]

Scott M. Brown, Eugene Santos Jr., Sheila B. Banks, and Mark E. Oxley. Using Explicit Requirements and Metrics for InterfaceAgent User Model Correction. In: Proceedings of the Second International Conference on Autonomous Agents (Agents `98), Pages: 1-7, 10-13 May, 1998, Available athttp://www.afit.af.mil/Schools/EN/ENG/LABS/AI/Papers.

[ Missing PDF ] [ Bibtex ]

P.D. Bruza. Preferential Models of Query by Navigation. In: Information Retrieval, Uncertainty and Logics - Advanced Models for the Representation and Retrieval of Information, Edited by: F. Crestani, M. Lalmas, and C.J. van Rijsbergen. Kluwer Academic Publishers, 1998.

[ Missing PDF ] [ Bibtex ]

Jamie Callan. Learning While Filtering Documents. In: Proceedings of the 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: W. Bruce Croft, Alistair Moffat, C. J. van Rijsbergen, Ross Wilkinson, and Justin Zobel. Pages: 224-231, August, ACM Press, New York, 1998.

[ Missing PDF ] [ Bibtex ]

R. Carter. Het Brein in Kaart. Uniepers i.s.m. Segment B.V./Natuur en Techniek, Abcoude, The Netherlands, EU, 1998, ISBN 9068252119.

[ Missing PDF ] [ Bibtex ]

V.K. Chaudri, A. Farquhar, R. Fikes, P.D. Karp, and J.P. Rice. OKBC: A Programmatic Foundation for Knowledge Base Interoperability. Technical report: KSL-98-08, Knowledge Systems Laboratory, Stanford University, 1998.

[ Missing PDF ] [ Bibtex ]

H. Chen, A. Houston, R. Sewell, and R. Schatz. Internet browsing and searching: User evaluations of category map and concept space techniques. In: Journal of the American Society for Information Science, Nr: 7, Vol: 49, Pages: 604-618, 1998.

[ Missing PDF ] [ Bibtex ]

Bark Cheung Chiu, and Geoffrey I. Webb. Using Decision Trees for Agent Modeling: Improving Prediction Performance. In: User Modeling and User-Adapted Interaction, Vol: 8, Pages: 131-152, 1998.

[ Missing PDF ] [ Bibtex ]

G. De Michelis, C. Woo, E. Yu, E. Dubois, M. Jarke, F. Matthes, J. Mylopoulos, M.P. Papazoglou, K. Pohl, and J.W. Schmidt. Cooperative Information Systems: A Manifesto. In: Cooperative Information Systems Trends & Directions, Edited by: M.P. Papazoglou, and G. Schlageter. Pages: 315-363, Academic Press, New York, New York, USA, 1998.

[ Missing PDF ] [ Bibtex ]

S. Dennis, R. McArthur, and P.D. Bruza. Searching the World Wide Web Made Easy? The Cognitive Load Imposed by Query Refinement Mechanisms. In: Proceedings of the 3rd Australian Document Computing Symposium, 1998.

[ Missing PDF ] [ Bibtex ]

R. Dömges, and K. Pohl. Adapting Traceability Environments to Project-specific Needs. In: Communications of the ACM, Nr: 12, Vol: 41, Pages: 54-62, December, 1998.

[ Missing PDF ] [ Bibtex ]

Susan Dumais. Using Support Vector Machines for Text Categorization. In: IEEE Intelligent Systems, Pages: 21-23, July/Augus, 1998.

[ Missing PDF ] [ Bibtex ]

H.-E. Eriksson, and M. Penker. Business Modeling with UML: Business Patterns at Work. Wiley, New York, New York, USA, 1998.

[ Missing PDF ] [ Bibtex ]

F. Fabbrini, M. Fusani, V. Gervasi, S. Gnesi, and S. Ruggieri. Achieving Quality in Natural Language Requirements. May, 1998.

[ External URL ] [ Bibtex ]

J. Fenn. Advanced Technologies Scenario. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

J. Fenn. Emerging Technology. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

M. Fleming. Push Technology. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

H.M. Franken, and W. Janssen. Get a grip on changing business processes: Results from the Testbed-project. In: Knowledge and process management, Nr: 4, Vol: 5, Pages: 208-215, December, Wiley, New York, New York, USA, 1998.

[ Missing PDF ] [ Bibtex ]

Dayne Freitag. Multistrategy learning for information extraction. In: Proc. 15th International Conf. on Machine Learning, Pages: 161-169, Morgan Kaufmann, San Mateo, California, USA, 1998.

[ PDF ] [ Bibtex ]

Cheh Goh. Towards a more Complete Model of Role. In: 3rd ACM Workshop on Role-Based Access, ACM, New York, New York, USA, 1998.

[ PDF ] [ Bibtex ]

G. Goldkuhl, and P.J. Agerfalk. Action Within Information Systems. Technical report: 1998-2, Jonkoping International Business School, 1998, Accepted to the Fourth International Wokshop on Requirements Engineering: Foundations of Software Quality (REFSQ`98), June 8-9 1998, Pisa, Italy..

[ Missing PDF ] [ Bibtex ]

Julio Gonzalo, Felisa Verdejo, Irina Chugur, and Juan Cigarr`an. Indexing with WordNet Synsets Can Improve Text Retrieval. In: Proceedings of the COLING/ACL Workshop on Usage of WordNet in Natural Language Processing Systems, 1998.

[ Missing PDF ] [ Bibtex ]

N. Guarino. Formal Ontology and Information Systems. In: Proceedings of FOIS`98, Trento, Italy, EU, Edited by: N. Guarino. Pages: 3-15, June, IOS Press, Amsterdam, The Netherlands, EU, 1998.

Research on ontology is becoming increasingly widespread in the computer science community, and its importance is being recognized in a multiplicity of research fields and application areas, including knowledge engineering, database design and integration, information retrieval and extraction. We shall use the generic term "information systems", in its broadest sense, to collectively refer to these application perspectives. We argue in this paper that so-called ontologies present their own methodological and architectural peculiarities: on the methodological side, their main peculiarity is the adoption of a highly interdisciplinary approach, while on the architectural side the most interesting aspect is the centrality of the role they can play in an information system, leading to the perspective of ontology-driven information systems.

[ PDF ] [ Bibtex ]

Hans van Halteren, Jakub Zavrel, and W. Daelemans. Improving Data Driven Wordclass Tagging by System Combination. In: Proceedings of the Thirty-Sixth Annual Meeting of the Association for Computational Linguistics and Seventeenth International Conference on Computational Linguistics, Edited by: Christian Boitet, and Pete Whitelock. Pages: 491-497, Morgan Kaufmann, San Mateo, California, USA, 1998.

[ PDF ] [ Bibtex ]

K. Harris. Knowledge Management Scenario. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

Clare F. Harvey, Peter Smith, and Peter Lund. Providing a networked future for interpersonal information retrieval: InfoVine and user modelling. In: Interacting with Computer, Vol: 10, Pages: 195 - 212, 1998.

[ PDF ] [ Bibtex ]

C.W. van den Herik. Group Support for Policy Making. Delft University of Technology, Delft, The Netherlands, EU, 1998.

[ Missing PDF ] [ Bibtex ]

Djoerd Hiemstra. A Linguistically Motivated Probabilistic Model of Information Retrieval. In: Proceedings of the 2nd European Conference on Research and Advanced Technology for Digital Libraries: ECDL`98, Edited by: Christos Nicolaou, and Constantine Stephanidis. Pages: 569-584, Springer-Verlag, 1998.

[ Missing PDF ] [ Bibtex ]

C.A. (Andy) Hilgartner. Some Traditional Assumings Underlying Western Indo-European Languages: Unstated, Unexamined, and Untenable. August, 1998.

[ External URL ] [ Bibtex ]

A.H.M. ter Hofstede, and T.F. Verhoef. Modelleerconcepten voor complexe domeinen. In: Informatie, Vol: 40, Pages: 13-21, March, 1998, In Dutch.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede, M.E. Orlowska, and J. Rajapakse. Verification Problems in Conceptual Workflow Specifications. In: Data & Knowledge Engineering, Nr: 3, Vol: 24, Pages: 239-256, January, 1998.

[ Missing PDF ] [ Bibtex ]

V. Honavar, L. Miller, and J. Wong. Distributed Knowledge Networks. , 1998.

[ PDF ] [ Bibtex ]

InforModelers Website. 1998.

[ External URL ] [ Bibtex ]

J. Ingalls. Automated Document Factory. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

Information technology - Open Distributed Processing - Reference model: Overview. 1998, ISO/IEC 10746-1:1998(E).

The rapid growth of distributed processing has led to a need for a co-ordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model provides such a framework. It creates an architecture within which support of distribution, interworking and portability can be integrated.

The Reference Model of Open Distributed Processing, ITU-T Recs. X901 to X.904 | ISO/IEC 10746, is based on precise concepts derived from current distributed processing developments and, as far as possible, on the use of formal description techniques for specification of the architecture.

This document contains a motivational overview of ODP giving scoping, justification and explanation of key concepts, and an outline of the ODP architecture. It contains explanatory material on how this Reference Model is to be interpreted and applied by its users, who may include standards writers and architects of ODP systems. It also contains a categorisation of required areas of standardization expressed in terms of the reference points for conformance identified in ITU-T Recommendation X.903 | ISO/IEC 10746-3. This part is not normative.

[ PDF ] [ Bibtex ] [ External URL ]

Information technology - Open Distributed Processing - Reference model: Architectural semantics. 1998, ISO/IEC 10746-4:1998(E).

The rapid growth of distributed processing has led to a need for a co-ordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model provides such a framework. It creates an architecture within which support of distribution, interworking and portability can be integrated.

The Reference Model of Open Distributed Processing, ITU-T Recs. X901 to X.904 | ISO/IEC 10746, is based on precise concepts derived from current distributed processing developments and, as far as possible, on the use of formal description techniques for specification of the architecture.

This document contains a formalisation of the ODP modelling concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2 Clauses 8 and 9. The formalisation is achieved by interpreting each concept in terms of the constructs of the different standardized formal description techniques. This part is normative.

[ PDF ] [ Bibtex ] [ External URL ]

A Code of Practice for IT Service Managers. British Standards Institution, 1998.

[ Missing PDF ] [ Bibtex ]

M. Jarke. Requirements Tracing. In: Communication of the ACM, Nr: 12, Vol: 41, Pages: 32-36, December, 1998.

[ Missing PDF ] [ Bibtex ]

R. van Kaathoven, M.A. Jeusfeld, M. Staudt, and U. Reimer. Organizational Memory Supported Workflow Management. Technical report: 19, December, Swiss Life - Information Systems Research, 1998.

[ Missing PDF ] [ Bibtex ]

R. Gaizauskas, and Y. Wilks. Information Extraction: Beyond Document Retrieval. In: Journal of Documentation, Nr: 1, Vol: 54, Pages: 70-105, 1998.

[ PDF ] [ Bibtex ]

Scott Kerr, J. Mylopoulos, and Avigdor Gal. Information Services for the Web: Building and Maintaining Domain Models. In: International Journal of Cooperative Information Systems, Nr: 4, Vol: 8, Pages: 227-254, August, 1998.

The World Wide Web is serving as a leading vehicle for information dissemination by offering information services, such as product information, group interactions, or sales transactions. Three major factors affect the performance and reliability of information services for the Web: the distribution of information which has resulted from the globalization of information systems, the heterogeneity of information sources, and the sources’ instability caused by their autonomous evolution. This paper focuses on integrating existing information sources, available via the Web, in the delivery of information services. The primary objective of the paper is to provide mechanisms for structuring and maintaining a domain model for Web applications. These mechanisms are based on conceptual modeling techniques, where concepts are being defined and refined within a metadata repository through the use of instantiation, generalization and attribution. Also, active databases techniques are exploited to provide robust mechanisms for maintaining a consistent domainmodel in a rapidly evolving environment, such as the Web.

[ PDF ] [ Bibtex ]

et al Kirriemuir. Cross-Searching Subject Gateways. In: D-Lib Magazine, January, 1998.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. Normalization and matching in the DORO system. Technical report, Department of Computer Science, University of Nijmegen, Nijmegen, The Netherlands, 1998.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. Fuzzy Matching using WordNet. Technical report, Department of Computer Science, University of Nijmegen, Nijmegen, The Netherlands, 1998.

[ Missing PDF ] [ Bibtex ]

Wessel Kraaij, and Ren`ee Pohlmann. Comparing the Effect of Syntactic vs. Statistical Phrase Indexing Strategies for Dutch. In: Proceedings of Second European Conference on Research and Advanced Technology for Digital Libraries ECDL`98, Edited by: Christos Nicolaou, and Constantine Stephanidis. Pages: 605-614, Springer-Verlag, 1998.

[ Missing PDF ] [ Bibtex ]

E. Lagergren, and P. Over. Comparing interactive information retrieval systems across sites: the TREC-6 interactive track matrix experiment. In: Proceedings of the 21st Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, Melbourne, Victoria, Australia, Pages: 164-172, August, ACM, New York, New York, USA, 1998.

[ Missing PDF ] [ Bibtex ]

M. Lalmas. Logical models in information retrieval: Introduction and overview. In: Information Processing & Management, Nr: 1, Vol: 34, Pages: 19-33, 1998.

[ Missing PDF ] [ Bibtex ]

Ora Lassila. Web Metadata: A Matter of Semantics. In: IEEE Internet Computing, Nr: 4, Vol: 2, Pages: 30-37, June, 1998.

[ PDF ] [ Bibtex ]

Vasilios S. Lazarou, and Keith L. Clark. Agents for Hypermedia Information Discovery. In: Cooperative Information Agents, Pages: 21-32, 1998.

[ PDF ] [ Bibtex ]

Barry M. Leinder. The scope of Digital Library. October, 1998.

[ External URL ] [ Bibtex ]

D. Leonard-Barton, and D. Leonard. Wellsprings of Knowledge: Building and Sustaining the Sources of Innovation. Harvard Business School Press, Boston, Massachusetts, USA, 1998, ISBN 0875848591.

[ Missing PDF ] [ Bibtex ]

E. Levinson. The MIME Multipart/Related Content-type. Technical report, IETF Network Working Group, 1998.

[ External URL ] [ Bibtex ]

M. Looijen. Beheer van Informatiesystemen. 3rd edition, Kluwer, Deventer, The Netherlands, EU, 1998, In Dutch, ISBN 902672800X.

[ Missing PDF ] [ Bibtex ]

D. Mc Coy. Document-Enabled Vertical Applications. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

G. Morgan. Images of Organization. Sage Publications, London, United Kingdom, EU, 1998, ISBN 0761917527.

[ Missing PDF ] [ Bibtex ]

J. Mylopoulos. Techniques and Languages for the Description of Information Systems. In: Handbook on Architectures of Information Systems, Berlin, Germany, EU, International Handbooks on Information Systems edition, Edited by: P. Bernus, K. Mertins, and G. Schmidt. Springer, 1998, ISBN 3540644539.

[ Missing PDF ] [ Bibtex ]

Ken Orr. Data quality and systems theory. In: Commun. ACM, Nr: 2, Vol: 41, Pages: 66-71, ACM, New York, New York, USA, 1998, ISSN 00010782.

[ PDF ] [ Bibtex ]

Edgar Osuna. Applying Support Vector Machines to Face Detection. In: IEEE Intelligent Systems, Pages: 23-26, July/Augus, 1998.

[ Missing PDF ] [ Bibtex ]

I. Ounis, and M. Pasca. RELIEF: Combining Expressiveness and Rapidity in one System. In: Proceedings of the 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: W.B. Croft, A. Moffat, C.J. van Rijsbergen, R. Wilkinson, and J. Zobel. Pages: 266-274, August, ACM Press, 1998.

[ Missing PDF ] [ Bibtex ]

Lawrence Page, Sergey Brin, Rajeev Motwani, and T. Winograd. The PageRank Citation Ranking: Bringing Order to the Web. Technical report, Stanford Digital Library Technologies Project, 1998.

[ PDF ] [ Bibtex ]

J. Palme. Information Filtering. In: Proceedings of ITS`98, June, 1998.

[ Missing PDF ] [ Bibtex ]

M.P. Papazoglou, M.A. Jeusfeld, H. Weigand, and M. Jarke. Distributed, interoperable workflow support for Electronic Commerce. In: Proceedings of the International IFIP/GI Working Conference on Trends in Distributed Systems for Electronic Commerce, TrEC 98, Edited by: F. Griffel, T. Tu, and W. Lamersdorf. June, 1998.

[ Missing PDF ] [ Bibtex ]

M.P. Papazoglou, and S. Milliner. Subject-based Organization of the Information Space in Multi-database Networks. In: Proceedings of the Tenth International Conference CAiSE`98 on Advanced Information Systems Engineering, Pisa, Italy, EU, Lecture Notes in Computer Science, Pages: 251-272, Springer, 1998.

[ Missing PDF ] [ Bibtex ]

Simon Parsons, and Anthony Hunter. A review of uncertainty handling formalisms. In: Applications of Uncertainty Formalisms, Pages: 8-37, 1998.

[ External URL ] [ Bibtex ]

T.B. Pedersen, and C.S. Jensen. Multidimensional Data Modeling for complex data. In: Proceedings of the 15th International Conference on Data Engineering, Pages: 336-345, IEEE, Los Alamitos, California, USA, 1998, ISBN 0769500714.

[ Missing PDF ] [ Bibtex ]

E. Picchi, and C. Peters. Exploiting Lexical Resources and Linguistic Tools in Cross-Language Information Retrieval: the EuroSearch approach. In: Proceedings of the First International Conference on Language Resource and Evaluation, 1998.

[ Missing PDF ] [ Bibtex ]

M.J. Plasmeijer, and M.C.J.D. van Eekelen. Language Report Concurrent Clean. Technical report: CSI-R9816, June, Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands, 1998.

[ Missing PDF ] [ Bibtex ]

John Platt. How to Implement Support Vector Machines. In: IEEE Intelligent Systems, Pages: 26-28, July/Augus, 1998.

[ Missing PDF ] [ Bibtex ]

J. Popkin. Integrated Document Managament. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

J. Popkin. Enterprise Work Management. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

Hein Ragas, and C. H. A. Koster. Four Text Classification Algorithms Compared on a Dutch Corpus. In: Proceedings of the 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: W. Bruce Croft, Alistair Moffat, C. J. van Rijsbergen, Ross Wilkinson, and Justin Zobel. Pages: 369-370, August, ACM Press, New York, 1998.

[ Missing PDF ] [ Bibtex ]

C. Rolland, C. Souveyet, and C. Ben Achour. Guiding Goal Modeling Using Scenarios. In: IEEE Transactions on Software Engineering, Nr: 12, Vol: 24, Pages: 1055-71, December, 1998.

[ Missing PDF ] [ Bibtex ]

B. Rosser. Knowledge Management: Leveraging Information. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

Stefan M. R`uger. Feature Reduction for Information Retrieval. In: The Seventh Text REtrieval Conference (TREC-7), Edited by: Ellen M. Voorhees, and Donna K. Harman. Pages: 409-412, November 9, Department of Commerce, National Institute of Standards and Technology (NIST) Special Publication 500-242, Gaithersburg, Maryland, 1998.

[ Missing PDF ] [ Bibtex ]

Mehran Sahami, Salim Yusufali, and Michelle Q. Baldonado. SONIA: a service for organizing networked information autonomously. In: Proceedings of DL-98, 3rd ACM Conference on Digital Libraries, Pittsburgh, Pennsylvania, USA, Edited by: Ian Witten, Rob Akscyn, and Frank M. Shipman. Pages: 200-209, ACM, New York, New York, USA, 1998.

[ PDF ] [ Bibtex ]

Mehran Sahami. Using Machine Learning to Improve Information Access. 1998, Chapter 9.

[ PDF ] [ Bibtex ]

M. Sarkar, B. Butler, and C. Steinfield. Cybermediaries in Electronic Marketspace: Toward Theory Building. In: Journal of Business Research, Nr: 3, Vol: 41, Pages: 215-221, March, 1998.

The increasing importance of electronic commerce makes it essential to develop a theory of virtual value chains. This article considers the intermediation process between producers and consumers within electronic markets. We argue that, contrary to existing wisdom, intermediaries will play a key role in previous termelectronic markets. Drawing on channel evolution literature and transaction cost economics, we present a set of propositions regarding the emergence of cybermediaries and the development of virtual channel systems.

[ PDF ] [ Bibtex ]

R. E. Schapire, Y. Singer, and A. Singhal. Boosting and Rocchio Applied to Text Filtering. In: Proceedings of the 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: W. Bruce Croft, Alistair Moffat, C. J. van Rijsbergen, Ross Wilkinson, and Justin Zobel. Pages: 215-223, August, ACM Press, New York, 1998.

[ Missing PDF ] [ Bibtex ]

Bernhard Sch`olkopf. Support Vector Machines - A Practical Consequence of Learning Theory. In: IEEE Intelligent Systems, Pages: 18-21, July/Augus, 1998.

[ Missing PDF ] [ Bibtex ]

R. Schulte. IT Architecture versus IT Planning. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

F. Sebastiani. On the role of logic in infromation retrieval. In: Information Processing & Management, Nr: 1, Vol: 34, Pages: 1-18, 1998.

[ Missing PDF ] [ Bibtex ]

Narinder Singh. Unifying Heterogeneous Information Models. In: Communications of the ACM, Nr: 5, Vol: 41, Pages: 37-44, 1998.

[ PDF ] [ Bibtex ]

B. Stewart. Business/IT Management. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

J.B. Thomson, T. Kahn, M. Masheder, L. Oldfield, M. Glöckler, and R. Meighan. Gewoon kind zijn. Christofoor, Zeist, The Netherlands, EU, 1998, ISBN 9062386288.

[ Missing PDF ] [ Bibtex ]

Rudie Ekkelenkamp, Wessel Kraaij, and David van Leeuwen. TNO TREC7 Site Report: SDR and Filtering. In: The Seventh Text REtrieval Conference (TREC-7), Edited by: Ellen M. Voorhees, and Donna K. Harman. Pages: 519-526, November 9, Department of Commerce, National Institute of Standards and Technology (NIST) Special Publication 500-242, Gaithersburg, Maryland, 1998.

[ Missing PDF ] [ Bibtex ]

E. Turban, and J. Aronson. Decision support systems and intelligent systems. 5th edition, Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1998, ISBN 0137409370.

[ Missing PDF ] [ Bibtex ]

USoft Website. 1998.

[ External URL ] [ Bibtex ]

R.P. van der Riet. Complect objects: Theory and practice from a data- and knowledge engineering perspective, as seen in and from Yellowstone Park. In: Data & Knowledge Engineering, Nr: 25, Vol: 1998, Pages: 217-238, 1998.

[ Missing PDF ] [ Bibtex ]

S. Varma. Information Now. In: Presented at the Gartner Symposium 1998, 1998.

[ PDF ] [ Bibtex ] [ External URL ]

Bert van de Ven. Rationaliteit en ethiek in de onderneming. Tilburg University, Tilburg, The Netherlands, EU, 1998, ISBN 9036197791.

[ Missing PDF ] [ Bibtex ]

P.E. van der Vet, and N.J.I. Mars. Bottom-Up Construction of Ontologies. In: IEEE Transactions on Knowledge and Data Engineering, Nr: 4, Vol: 10, Pages: 513-526, August, 1998.

[ Missing PDF ] [ Bibtex ]

A.P. de Vries, Brian Eberman, and David E. Kovalcin. The design and implementation of an infrastructure for multimedia digital libraries. In: Proceedings of the 1998 International Database Engineering & Applications Symposium, 1998.

[ Missing PDF ] [ Bibtex ]

S. Weibel, J. Kunze, C. Lagoze, and M. Wolf. Dublin Core Metadata for Resource Discovery. Technical report: RFC 2413, Internet Engineering Task Force (IETF), 1998.

[ External URL ] [ Bibtex ]

Workflow Management Coalition. Workflow and Internet: Catalysts for Radical Change. Technical report, 1998.

[ External URL ] [ Bibtex ]

R.J. Wieringa. De Onzichtbare Wereld van de Informaticus - Conceptuele Modellen en Virtuele Objecten. November, Universiteit Twente, Enschede, The Netherlands, EU, 1998, In Dutch.

[ Missing PDF ] [ Bibtex ]

W.J. Wilbur. The knowledge in multiple human relevance judgments. In: ACM Trans. Inf. Syst., Nr: 2, Vol: 16, Pages: 101-126, ACM, New York, New York, USA, 1998.

[ PDF ] [ Bibtex ]

Yiming Yang, Tom Pierce, and Jaime Carbonell. A Study on Retrospective and On-line Event Detection. In: Proceedings of the 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: W. Bruce Croft, Alistair Moffat, C. J. van Rijsbergen, Ross Wilkinson, and Justin Zobel. Pages: 28-36, August, ACM Press, New York, 1998.

[ Missing PDF ] [ Bibtex ]

J. Yang, V. Honavar, and L. Miller. Mobile Intelligent Agents for Document Classification and Retrieval: A Machien Learning Approach. , 1998.

[ PDF ] [ Bibtex ]

Journal

A.T. Arampatzis, T. Tsoris, C.H.A. Koster, and Th.P. van der Weide. Phrase-based Information Retrieval. In: Information Processing & Management, Nr: 6, Vol: 34, Pages: 693-707, December, 1998.

In this article we describe a retrieval schema which goes beyond the classical information retrieval keyword hypothesis and takes into account also linguistic variation. Guided by the failures and successes of other state-of-the-art approaches, as well as our own experience with the Irena system, our approach is based on phrases and incorporates linguistic resources and processors. In this respect, we introduce the Phrase Retrieval Hypothesis to replace the Keyword Retrieval Hypothesis. We suggest a representation of phrases suitable for indexing, and an architecture for such a retrieval system. Syntactical normalization is introduced to improve retrieval effectiveness. Morphological and lexico­semantical normalizations are adjusted to fit in this model.

[ PDF ] [ Bibtex ]

A.H.M. ter Hofstede, and H.A. (Erik) Proper. How to Formalize It? Formalization Principles for Information Systems Development Methods. In: Information and Software Technology, Nr: 10, Vol: 40, Pages: 519-540, October, 1998.

Although the need for formalisation of modelling techniques is generally recognised, not much literature is devoted to the actual process involved. This is comparable to the situation in mathematics where focus is on proofs but not on the process of proving. This paper tries to accomodate for this lacuna and provides essential principles for the process of formalisation in the context of modelling techniques as well as a number of small but realistic formalisation case studies.

[ PDF ] [ Bibtex ]

Th.P. van der Weide, T.W.C. Huibers, and P. van Bommel. The Incremental Searcher Satisfaction Model for Information Retrieval. In: The Computer Journal, Nr: 5, Vol: 41, Pages: 311-318, 1998.

In this article, the incremental searcher satisfaction model for Information Retrieval is introduced. In this new model, documents are not presented according to decreasing relevancy only, but also on the level of novelty in the context of the documents previously presented. Documents which are judged to be insuÆciently surprising (according to a searcher determined threshold) are not presented to the searcher. This is especially useful for Information Retrieval in certain contexts (e.g. Internet applications such as search engines), when a searcher does not want all relevant documents to be shown, but only have a global idea of the variety of what the corpus may contain on a topic. Important properties of this model are discussed, such as the relation between the reductional effect and the order of presentation.

[ PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, Th.P. van der Weide, and T.W.C. Huibers. De Elektronische Informatiemakelaar. In: Informatie Professional, Nr: 11, Vol: 2, 1998.

Vernieuwd! Verbeterd! Nu met extra witbeschermer, of zelfs gebaseerd op liposomen. Kreten over wasmiddelen en schoonheids­cremepjes die aangeven dat het produkt ingrijpend verbeterd is. Of toch slechts simpelweg reclamepraat? Iets gelijks lijkt er aan de hand in de wereld van zoeksystemen en Information Retrieval. Agents! Proaktief! Intelligent! Zijn het loze kreten die alleen goed klinken en goed verkopen? Trouwens, wat zijn agenten eigenlijk? Is er ueberhaupt een werkbare definitie van het begrip agent te geven? Hoe ziet de opbouw van een zoeksysteem gebaseerd op agenten er uit? En wat is nu precies de rol die agenten kunnen spelen in een zoeksysteem? En, leidt het gebruik van agenten echt tot verbetering van zoeksystemen? Een checklist van eigenschappen voor het begrip 'agent'.

[ PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, and Th.P. van der Weide. Nesting and Defoliation of Index Expressions for Information Retrieval. In: Knowledge and Information Systems, Vol: 2, Pages: 33-52, 1998.

In this article, a formalisation of index expressions is presented. Index expressions are more expressive than keywords while maintaining a comprehensible complexity. Index expressions are well-known in Information Retrieval (IR), where they are used for characterising document contents, formulation of user interests, and matching mechanisms. In addition, index expressions have found both practical and theoretical applicability in 2-level hypermedia systems for IR. In these applications, properties of (the structure of) index expressions are heavily relied upon. However, the presupposed mathematical formalisation of index expressions and their properties still lacks. Our formalism is based on the structural notation of index expressions. It is complete in the sense that several notions of subexpressions and defoliation of index expressions are also formalised. Defoliation, which plays an important role in defining properties of index expressions, is provided as a recursively defined operator. Finally, two other representational formalisms for index expressions are compared to ours.

[ PDF ] [ Bibtex ]

Book

F.C. Berger. Navigational Query Construction in a Hypertext Environment. University of Nijmegen, 1998.

[ Missing PDF ] [ Bibtex ]

J.W.G.M. Hubbers. Object-Oriented Analysis for Multi-Faceted Applications with Distributed Control and Localized Data. University of Nijmegen, 1998, ISBN 9090121242.

[ Missing PDF ] [ Bibtex ]

A Framework of Information Systems Concepts. Edited by: E.D. Falkenberg, A.A. Verrijn-Stuart, K. Voss, W. Hesse, P. Lindgreen, B.E. Nilsson, J.L.H. Oei, C. Rolland, and R.K. and Stamper. IFIP WG 8.1 Task Group FRISCO, IFIP, Laxenburg, Austria, EU, 1998, ISBN 3901882014.

[ PDF ] [ Bibtex ]

T.P. Kelly. Arguing Safety --a Systematic Approach to Managing Safety Cases. University of York, 1998.

Sorry, cannot be extracted. See PDF.

[ PDF ] [ Bibtex ]

Conference

P. van Bommel, and Th.P. van der Weide. Multi Media Information Filtering on the WWW. In: Proceedings of the World Automation Congress, May, TSI Press, Anchorage, Alaska, USA, 1998.

The focus of this paper is information filtering on the World Wide Web. A conceptual model for characterizing information objects is discussed. The information to be filtered may be of various kinds, including images and sound. The central idea behind the framework is that Information Modelling techniques (e.g. NIAM, ER, OO) should be used for the characterization of information objects to be retrieved. This brings together two worlds which were separated for a long time: Information Modelling (IM) and Information Retrieval (IR, or: document retrieval). Although IM is in most cases used for traditional (non­document) databases such as relational databases (e.g. SQL), our Information Filtering project PROFILE applies these techniques in order to obtain different characterization levels for information objects.

[ PDF ] [ Bibtex ]

F.J.M. Bosman, P.D. Bruza, Th.P. van der Weide, and L.V.M. Weusten. Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach. In: Research and Advanced Technology for Digital Libraries, 2nd European Conference on Digital Libraries `98, ECDL `98, Heraklion, Crete, Greece, EU, Edited by: C. Nikolaou, and C. Stephanidis. Lecture Notes in Computer Science, Vol: 1513, Pages: 459-478, September, Springer, 1998.

In this paper we discuss the construction of an automated information system for a medium-sized collection of visual reproductions of art objects. Special attention is payed to the economical aspects of such a system, which appears to be mainly a problem of data entry. An approach is discussed to make this feasible, which also strongly provokes consistency between descriptions.

Another main target of such a system is the capability for effective disclosure. This requires a disclosure mechanism on descriptions which is easy to handle by non technical users. We show the usefulness of query by navigation for this purpose. It allows the searcher to stepwise build a query in terms of (semi-)natural language. At each step, the searcher is presented with context sensitive information.

The resulting system is described and we discuss an experiment of its use.

[ Missing PDF ] [ Bibtex ]

J.W.G.M. Hubbers, and A.H.M. ter Hofstede. Exploring the Jungle of Object-Oriented Conceptual Data Modeling. In: Proceedings of the 9th Australasian Database Concefernce, ADC`98, Perth, Western Australia, Australia, Edited by: Chris McDonald. Australian Computer Science Communications, Vol: 20(2), Pages: 65-76, February, Springer, 1998.

[ Missing PDF ] [ Bibtex ]

T.W.C. Huibers, and B.C.M. Wondergem. Towards an Axiomatic Aboutness Theory for Information Retrieval. In: Information Retrieval, Uncertainty and Logics - Advanced Models for the Representation and Retrieval of Information, Edited by: F. Crestani, M. Lalmas, and C.J. van Rijsbergen. Kluwer, Deventer, The Netherlands, EU, 1998.

[ Missing PDF ] [ Bibtex ]

V. Kamphuis, and J.J. Sarbo. NaturalLanguage Concept Analysis. In: Proceedings of NeMLaP3/CoNLL98: International Conference on New Methods in Language Processing and Computational Natural Language Learning, ACL, Edited by: D.M.W. Powers. Pages: 205-214, 1998.

[ Missing PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, and Th.P. van der Weide. Construction and Applications of the Association Index Architecture. In: Proceedings of the Conferentie Informatiewetenschap (CIW`98), December, 1998.

Information Discovery (ID) is the synthesis of Information Retrieval (IR) and Information Filtering (IF). In ID, information brokers act as intermediaries between users and sources. Information about user interests and document content can be modeled by 2-level hypermedia representations. These representations allow navigational mechanisms which have proven their effectiveness in IR applications.

Information brokers should thus combine two 2-level hypermedia representations to obtain an overall information structure necessary for the synthesis of IR and IF. For this, we propose the so called Association Index Architecture (AIA) which consists of two 2-level hypermedia representations which are connected thorugh a third level which is coined the association index. The AIA this forms a 3-level hypermedia representation. Information brokers can perform their actions in the AIA to implement their IR anf IF related tasks. The AIA is shown to be a general symbolic architecture for combining knowledge by illustrating how a number of ID applications can be performed in it.

[ PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, T.W.C. Huibers, and Th.P. van der Weide. Agents in Cyberspace - Towards a Framework for Multi-Agent Systems in Information Discovery. In: Proceedings of the 20th BCS-IRSG Colloquium on IR Research, CLIPS-IMAGGrenoble, France, EU, 1998.

This article proposes a formal framework for Multi-Agent Systems in the context of Information Discovery. Information Discovery is a synthesis of Information Retrieval and Information Filtering. The Information Discovery Paradigm is given. In addition, the different types of agents needed in Information Discovery applications are described in terms of the operations they support and the knowledge and the information they use. A correct filtering topology, consisting of sound filter paths, is identified. Three fields are identified in which Information Retrieval and Information Filtering benefit from their synthesis: query expansion, query generation or autonomous IR, and profile adaption.

[ PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, T.W.C. Huibers, and Th.P. van der Weide. Domain Knowledge in Preferential Models. In: Proceedings of the third Baltic Workshop DB&IS98, Edited by: J. Barzdins. Vol: 1, Pages: 126 - 138, April, 1998.

In Information Retrieval, user preferences and domain knowledge play an important role. This article shows how to incorporate domain knowledge in a logical framework and provides a mechanism to exploit user preferences for personalizing domain knowledge, based on the inferences made in the matching functions. The matching functions are essentially symbolic logical inferences. The logic used in this article is that of Preferential Models, which is augmented with domain knowledge by providing an enriched aboutness relation. However, the techniques described in this article are applicable to other logics as well. A way to personalize the domain knowledge is given, which also gives the user insight into the workings of the matching functions. In addition, sound inference rules, which are tailor-made for the domain knowledge, are provided.

[ PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, and Th.P. van der Weide. Cumulative Duality in Designing Information Brokers. In: Proceedings of the 9th International Conference on Database and Expert Systems Applications (DEXA), August, 1998.

The focus of this paper is information brokers within Information Discovery (ID). We describe Cumulative Duality matrices, an instrument to deal with design criteria for such information brokers. ID is the synthesis of Information Retrieval and Information Filtering, where information brokers act as middle­agents. There are numerous design criteria for information brokers. Since these stem from ID, they exhibit a dual nature. The duality of the criteria is shown to be cumulative. In the form of a matrix, cumulative duality can be used as a design instrument for information brokers.

[ PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, T.W.C. Huibers, and Th.P. van der Weide. Opportunities for Electronic Commerce in Information Discovery. In: Proceedings of the International IFIP/GI Working Conference on Trends in Distributed Systems for Electronic Commerce, TrEC 98, Edited by: F. Griffel, T. Tu, and W. Lamersdorf. Pages: 126-136, June, 1998.

This article investigates the connection between Electronic Commerce (EC) and Information Discovery (ID). ID is the synthesis of distributed Information Retrieval and Information Filtering, filled in with intelligent agents and information brokers. Currently, no link exists between EC and ID. We argue that this link consists of a cost model for ID. We therefore propose several (types of) cost models, which enable application of EC to the whole of ID. This is illustrated with examples.

[ PDF ] [ Bibtex ]

Reports

P.A. Jones, C.H.A. Koster, P. van Bommel, and Th.P. van der Weide. Critical Reference Counting. Technical report: CSI-R9825, Information Systems Group, Computing Science Institute, University of Nijmegen, The Netherlands, 1998.

[ Missing PDF ] [ Bibtex ]

T.A. Barrett. Component Based Transactional Solutions. Technical report, Origin, Utrecht, The Netherlands, EU, 1998.

[ Missing PDF ] [ Bibtex ]

T.A. Barrett, and H.A. (Erik) Proper. Component Based Solutions Under Architecture. Technical report, Spring, Origin, Utrecht, The Netherlands, EU, 1998.

Many of today's applications have an, almost tangible, monolithic nature. They are built as 'islands', purporting to be self contained, offering little or nothing in the way of integration with other applications. In the past, being large and self-contained may have eliminated the need to interact with other solutions to some extent. However, in the business environments of today the interaction with other applications becomes paramount. As a result of this, many ad-hoc point-to-point integration solutions have been built between different applications. This has already led to an 'application spaghetti' at many of our customer sites. Many of today's applications are poorly structured, which makes their responsiveness to business change sluggish. The application spaghetti with its plethora of point-to-point interfaces further inhibits the responsiveness to change.

In this paper we present a two pronged approach to tackle these issues. Firstly, we outline an architectural approach to the development of component-based business solutions. Secondly, we propose a reference architecture to help in actually realising such solutions. The architectural approach to system development aims to provide a way to provide better control of a components environment.

[ PDF ] [ Bibtex ]

G. Debrock, and J.J. Sarbo. Towards a Peircean modelof language. Technical report: CSI-R9802, February, Radboud University Nijmegen, 1998.

We argue that traditional approaches to natural language suffer from the �fallacy of misplaced concreteness�. Because �language� is a noun, and nouns usually refer to �things�, it often assumed that language is some �thing� with a certain immutable structure and properties. This problem of language modelling is also witnessed by the limited success of phrase structure-based parsers in natural language processing. One reason for this lies in the rigidity of hierarchical structure on the one hand, as opposed to the high flexibility of language use on the other.It will be argued that language is in the first place a process, and that this assumption puts the task of an analysis of language in a different perspective. A model supporting this view is Natural Language Concept Analysis (NLCA). In NLCA, hierarchical structure is found as the result of the interaction of different, inherent combinatorial properties of linguistic units. The purpose of the paper is to show that NLCA is consistent with C.S. Peirce�s pragmatic, evolutionary and semeiotic approach, and that such approach supports and clarifies NLCA.

[ Missing PDF ] [ Bibtex ]

M.C.A. Devillers. An LSL to PVS Compiler. Technical report: CSI-R9824, October, Radboud University Nijmegen, 1998.

A compiler which translates axiomatic specifications written in the Larch Shared Language (LSL) to theories of the Prototype Verification System (PVS) is described by means of examples. Besides giving an equivalent axiomatic specification in PVS, the compiler enables one to check that an LSL specification has a model in the higher-order logic of PVS.

[ Missing PDF ] [ Bibtex ]

H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. Technical report: CSI-R9813, April, Radboud University Nijmegen, 1998.

PLC-Automata are a class of real-time automata suitable to describe the behaviour of polling real-time systems.PLC-Automata can be compiled to source code for PLCs,a hardware widely used in industry to control processes.Also, PLC-Automata have been equipped with a logical and operational semantics, using Duration Calculus (DC) and Timed Automata (TA), respectively.The three main results of this paper are:(1) A simplified operational semantics.(2) A minor extension of the logical semantics,and a proof that this semantics is complete relative to ouroperational semantics. This means that if an observable satisfies all formulas of the DC semantics, then it can also be generated by the TA semantics.(3) A proof that the logical semantics is sound relative to ouroperational semantics. This means that each observable that is accepted by the TA semantics constitutes a model for all formulas of the DC semantics.

[ PDF ] [ Bibtex ]

Rhinefish Facth. Symmetric functions, II:. Technical report: CSI-R9805, January, Radboud University Nijmegen, 1998.

An elementary combinatorial version of the symmetric function theorem leads to an interesting Diophantine equation. It is proved that the only finite field admitting such a theorem is GF(2).

[ Missing PDF ] [ Bibtex ]

W.O.D. Griffioen, and M. Huisman. A Comparison of PVS and Isabelle/HOL. Technical report: CSI-R9810, March, Radboud University Nijmegen, 1998.

There is an overwhelming number of different proof tools available and it is hard to find the right one for a particular application. Manuals usually concentrate on the strong points of a proof tool, but to make a good choice, one should also know (1) which are the weak points and (2) whether the proof tool is suited for the application in hand. This paper gives an initial impetus to a consumers' report on proof tools.The powerful higher-order logic proof tools PVS and Isabelle are compared with respect to several aspects: logic, specification language, prover, soundness, proof manager, user interface (and more). The paper concludes with a list ofcriteria for judging proof tools, it is applied to both PVS and Isabelle.

[ Missing PDF ] [ Bibtex ]

F.A. Grootjen, V. Kamphuis, and J.J. Sarbo. A Genealogy of Phrase Structure. Technical report: CSI-R9814, University of Nijmegen, 1998.

In standard approaches to NLP phrase structure is usually specified by a grammar. The coverage of such a grammar, especially in the case of performance data is often insufficient; the grammar is subject to frequent modifications and this can bring about maintainabilitu problems. In this paper we describe a releational basis underlying phrase structure. Based on that, a model is defined that yields hierarchical structure as the result of more abstract principles related to the combinatorial properties of linguistic units. The model is simple in use and easy to maintain, and provides an important key to the description of non-phrase structure configurations that require greater flexibility.

[ Missing PDF ] [ Bibtex ]

F.A. Grootjen. NLCA: Towards an algorithmic implementation. Technical report: CSI-R9811, University of Nijmegen, 1998.

In most mainstream approaches to natural language modelling, some form of hierarchical structure (e.g. phrase structure) plays a central role. However, practical application of phrase structure-based parsers in natural language processing has enjoyed only limited success. One reason for this lies in the rigidity of hierarchical structure on the one hand, as opposed to the high flexibility of language use on the other. The relative lack of success of rule-based parsers has inspired a search for alternative methods, such as statistically based or lexicon-driven parsing.

In search for a solution the NLCA project took one step back, and examined the nature of hierarchical structure in general, and phrase structure in particular. It looked for ways to derive hierarchical structure from input, and to incorporate it in a mathematically well-founded theory of knowledge representation. The result is an approach in which hierarchical structure is found as the yield of the interaction between different, inherent combinatorial properties of linguistic units. The model identifies three different basic relations that underlie these combinatorial properties, at a level of abstraction that, in principle, allows language-independent modelling and analysis. The structural analysis of input is mapped onto formal concepts in the sense of lattice theory and in this way creates a suitable environment for information retrieval.

This paper summarises the basic ideas of NCLA and presents a sketch of an algorithm that implements NLCA for the English language.

[ Missing PDF ] [ Bibtex ]

B.P.F. Jacobs, J.A.G.M. van den Berg, M. Huisman, M. van Berkum, and U. HenselH. Reasoning about Java Classes. Technical report: CSI-R9812, April, Radboud University Nijmegen, 1998.

We present the first results of a project called LOOP, on formal methods for the object-oriented language Java. It aims at verification of program properties, with support of moderntools. We use our own front-end tool (which is still partly underconstruction) for translating Java classes into logic, and aback-end theorem prover (namely PVS, developed at SRI) forreasoning. In several examples we will demonstrate how non-trivial properties of Java programs and classes can beproved following this two-step approach.

[ Missing PDF ] [ Bibtex ]

V. Kamphuis, and J.J. Sarbo. NLCA - A truly relational model of language. Technical report: CSI-R9815, May, Radboud University Nijmegen, 1998.

The primary goal of Natural Language Concept Analysis (NLCA) is to find a means of handling flexibility in natural language. Contrary to traditional approaches using the part-whole paradigm (e.g. phrase stucture grammar), NLCA identifies a relational basis underlying hierarchical structure. This basis derives from the interaction of lexical items due to their inherent combinatorial properties, and constitutes a set of three relation schemes: major predication, minor predication and qualification. A comparison between NLCA and dependency-based description reveals their common basis in word-based modellig, but shows fundamental differences in their foundation.

[ Missing PDF ] [ Bibtex ]

Detlef Plump. Term Graph Rewriting. Technical report: CSI-R9822, September, Radboud University Nijmegen, 1998.

Term graph rewriting is concerned with the representation of functional expressions as graphs, and the evaluation of these expressions by rule-based graph transformation. Representing expressions as graphs allows to share common subexpressions, improving the efficiency of term rewriting in space and time. Besides efficiency, term graph rewriting differs from term rewriting in properties like termination and confluence. This paper is a survey of (acyclic) term graph rewriting, where emphasis is given to the relations between term and term graph rewriting. We focus on soundness of term graph rewriting with respect to term rewriting, on completeness for proving validity of equations and for computing term normal forms, on termination and confluence, and on term graph narrowing.

[ Missing PDF ] [ Bibtex ]

H.A. (Erik) Proper. Da Vinci - Architecture-Driven Business Solutions. Technical report, Summer, Origin, Utrecht, The Netherlands, EU, 1998.

This document has emerged out of Origin's past experiences with architecture-driven application development (AD2), and the need to further formalise and consolidate these experiences.

The AD2 related developments range in scope from the actual design and implementation of applications, to the development of a long-term vision of an organisation's business activities and IT support required. The main concern of AD2 is the development of applications to support an organisation's business activities, by considering the entire context of the applications.

[ PDF ] [ Bibtex ]

J. Romijn, and J. G. Exploiting Symmetry in Protocol Testing. Technical report: CSI-R9821, September, Radboud University Nijmegen, 1998.

Test generation and execution are often hampered by the large spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of symmetry in the behavior of specification and implementation may substantially reduce the amount of tests. We present a framework for describing and exploiting symmetries in black box test derivation methods based on finite state machines (FSMs). An algorithm is presented that, for a given symmetry relation on the traces of an FSM, computes a subautomaton that characterizes the FSM up to symmetry. This machinery is applied to Chow�s classical W-method for test derivation Finally, we focus on symmetries defined in terms of repeating patterns.

[ Missing PDF ] [ Bibtex ]

J.E. Schuur, P. van Bommel, and F.G. Zitman. A Clinical Information System for Psychiatry. Technical report: CSI-R9801, January, Radboud University Nijmegen, 1998.

At the Academic Hospital of Nijmegen (AZN) a project is started with the aim to improvethe quality of patient care and to facilitate patient directed scientific research, by introducingstandardized procedures and assessment tools that will be offered by a computerized information system. Theresulting Clinical Information System (CIS) should reflect the contributions of all associated disciplinesat the department: psychiatrists, psychologists, nurses, social workers, and occupational therapists.One of the main problems that arised during the beginning of the project is thesimultaneous restoration and development of a new general Hospital Information System (HIS) at the AZN, theRadboud Order Communication System (ROCS). Many procedures that were supposed to be components of theCIS, appeared to be components of the new HIS. The CIS should be based on the HIS in order toprovide an optimal redundancy in data and integration of both systems. We studied the proposedcomponents of the CIS and compared these with the components of the HIS in order to redefine the contentsof this project.We found that ROCS provides almost all components of the current clinical practice at the department of psychiatry. However, the introduction of some standardized procedures and assessment tools are not or not fully provided by the HIS. Consequently, these extensions to the current information system are the candidate components of this project: the pharmacological treatment procedure, and the assessment tools.

[ Missing PDF ] [ Bibtex ]

M.I.A. Stoelinga. Processes and their Identifiers in Synchronous Network Systems. Technical report: CSI-R9807, March, Radboud University Nijmegen, 1998.

This report formalizes the two notions of �comparison based process'' and of �process isomorphism up-to process identifiers''. The Key Lemma is proven which states that comparison based processes which are isomorphic up-to PIds behave very similarly, if the PIds in the processes in their enviromnents are what is called order equivalent.

[ Missing PDF ] [ Bibtex ]

A.L.J. van den Hoogenhof. The maturity of object-oriented methodologies. Technical report: CSI-R9818, July, Radboud University Nijmegen, 1998.

Methodologies within software engineering are introduced with the speed of improved soap-powders. One of the major movements is object-orientedness. It already started at language level long ago, with Simula 67 and Smaltalk, and nowadays many methodologies are labelled as object-oriented. And it is ongoing: unifications of object-oriented methods are introduced to get the maximum benefit of all involved. This article examines som important techniques and constructions used in the mainstream object-oriented methodologies, and elaborates on their common properties and weaknesses in practical use.

[ Missing PDF ] [ Bibtex ]

S. van Dreumel, and J.I. Potjer. De Amazon Grammatica. Technical report: CSI-R9823, September, Radboud University Nijmegen, 1998.

The underlying report contains the Amazon grammar documented in Dutch.The Amazon grammar describes the surface-structure of Dutch sentences, based upon the five parts of a Dutch sentence (the places for topicalisation, verb-second, arguments, verb cluster and extraposition) and the description of constituents. The grammar is written according to the technolinguistic method, meaning that all rules used are explicitly based upon linguistic principles only, i.e. linguistic theory has been separated from the algorithm.Started out in the 70s as an interactive syntax-embeddedSNOBOL-program, Amazon now consists of a documented Latex-embedded AGFL-grammar. The formalism used (Affix Grammars over a Finite Lattice) offers advantages like the separation of grammar and algorithm, the use of affix-lattices and the on-the-fly computation of affix-values.Apart from linguistic improvements and extensions, the main differences with the previous version of Amazon are: modularisation, extended documentation, standardisation of the terminology and addition of robustness for ungrammatical sentences and unknown words or constructions.

[ Missing PDF ] [ Bibtex ]

D.C. van Leijenhorst. Symmetric functions, I:. Technical report: CSI-R9803, January, Radboud University Nijmegen, 1998.

The symmetric complexity of a polynomial f in n var iables is defined as the number of times the symmetric function theorem is applicable. In this paper a sharp upper bound on this measure is derived by a matrix method.

[ Missing PDF ] [ Bibtex ]

D.C. van Leijenhorst. GA�s in Optical Design - Addendum:. Technical report: CSI-R9806, January, Radboud University Nijmegen, 1998.

[ Missing PDF ] [ Bibtex ]

D.C. van Leijenhorst. Parallel Sorting - the Zamfir Way. Technical report: CSI-R9804, January, Radboud University Nijmegen, 1998.

A simple heuristic is given for Batcher�s famous algorithm, which makes this parallel sorting method easy to understand for (practically) anybody, panflautists included.

[ Missing PDF ] [ Bibtex ]

Th.P. van der Weide, and P. van Bommel. Individual and collective approaches for searcher satisfaction in IR. Technical report: CSI-R9819, Information Systems Group, Computing Science Institute, University of Nijmegen, The Netherlands, 1998.

The incremental searcher satisfaction model for Information Retrieval has been introduced to capture the relevancy of documents under consideration of documents previously presented. In this paper, different approaches for the construction of increment functions are identified, such as the individual and the collective approach. The requirements posed by these approaches are examined and evaluated with respect to well-known similarity measures used in IR, such as Inclusion, Jaccard's, Dice's, and Cosine coefficient.

[ PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, and Th.P. van der Weide. Association Index Architecture for Information Brokers. Technical report: CSI-R9820, July, University of Nijmegen, 1998.

Information Discovery (ID) is the synthesis of Information Retrieval (IR) and Information Filtering (IF). In ID, broker agents act as intermediaries between user agents and source agents. Information about user interests and documents in sources can be modeled by 2-level hypermedia representations. These representations allow navigational mechanisms which have proven their effectiveness in IR applications. Broker agents should thus combine two 2-level hypermedia representations to obtain an overall information structure necessary for the synthesis of IR and IF. For this, we propose the so called Association Index Architecture (AIA) which consists of two 2-level hypermedia representations which are connected through a third level which is coined the association index. The AIA thus forms a 3-level hypermedia representation. Broker agents can perform actions in the AIA to implement their IR and IF related tasks. The AIA is shown to be a general symbolic architecture for combining knowledge by illustrating how a number of ID applications can be performed in it.

[ PDF ] [ Bibtex ]

B.C.M. Wondergem, P. van Bommel, and Th.P. van der Weide. Boolean Index Expressions for Information Retrieval. Technical report: CSI-R9827, December, University of Nijmegen, 1998.

Keywords still seem to form the basis for document content and query representation. Approaches to use more advanced linguistic structures, such as noun phrases, still are in an experimental phase. In addition, Boolean descriptor languages have often been applied for Information Retrieval. However, the synthesis of logic and linguistics in one descriptor language still is an open issue. In this paper, Boolean index expressions, combining Boolean logic and linguistic structure, are proposed as a good balance between expresiveness and practical issues. Boolean index expressions are obtained by augmenting regular index expressions with logical operators for disjunction, conjunction, and negation. Boolean index expressions are more expressive than both index expressions and the Boolean query language based on keywords. They allow a compact representation of logical combinations of index expressions. In addition, Boolean index expressions are still efficiently parsible and their meaning can be deter- mined through their structure. It is shown how Boolean index expressions can be brought into normal form, allowing fast numerical matching. Matching strategies for Boolean index expressions are obtained by adapting matching strategies for index expressions by providing a case for negations. Our implementation of Boolean index expressions illustrates mentioned issues.

[ PDF ] [ Bibtex ]

Professional

H.A. (Erik) Proper. Flexibiliteit van informatiemodellen. In: Informatie, Nr: 4, Vol: 40, Pages: 28-33, 1998, In Dutch.

Heden ten dage bevinden de meeste organisaties zich in een dynamische omgeving. Deze dynamiek dwingt een hoge mate van flexibiliteit van de organisaties af: 'evolve or die'. Het wegvallen van protectionisme, de deregulering van het internationale handelsverkeer, de invoering van nieuwe technologie, de privatisering van staatsbedrijven en de invoering van de Euro zijn allemaal voorbeelden van aspecten die deze dynamiek teweeg brengen.

In de context van informatiemodelleren is het daarom relevant eens stil te staan bij de flexibiliteit van informatiemodellen. Immers, informatiemodellen worden gebruikt om de structuur van informatiesystemen vast te leggen. Wanneer we te maken hebben met een hoge mate van dynamiek, dan zal dit zo zijn effecten hebben op deze onderliggende informatiemodellen. Ontwerpers van informatiemodellen ontwerpen voor een deel hun eigen onderhoudslast, getuige de vele conversie-, jaar 2000- en Euro-problemen. Een informatiemodel dat vandaag van toepassing is, kan morgen alweer verouderd zijn. Het is als schieten op een bewegend doelwit. In dit artikel gaan we kort in op deze problematiek. Wat zijn de te verwachten knelpunten? Hoe moeten we daar in de praktijk nu mee omgaan? Dit artikel verkent een aantal van deze knelpunten en mogelijke oplossingsrichtingen.

[ PDF ] [ Bibtex ]

H.A. (Erik) Proper. Kennismanagement onder architectuur. In: ID Nieuws, Vol: 2, Pages: 5-7, November, 1998, In Dutch.

Kennismanagement is het jongste programma van ID Research. In dit artikel wordt u een nadere kennismaking met de visie van ID Research op kennismanagement geboden. Een belangrijk kenmerk van deze visie is dat informatie- en communicatietechnologie (ICT) 'slechts' als een enabler van kennismanagement wordt beschouwd, en dat kennismanagement duidelijk meer behelst dan een Intranet- of een groupware-applicatie.

[ PDF ] [ Bibtex ]