• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Konferenceartikel i proceeding
1987

MUNIN: on the case for probabilities in medical expert systems : a practical exercise

Jensen, F. V., Andersen, S. K., Kjærulff, U. & Andreassen, S., 1987, Proceedings of the European Conference on Artificial Intelligence in Medicine, AIME 87, 31 August-3 September 1987, Marseilles, France. Fox, J., Fieschi, M. & Engelbrecht, R. (red.). Springer, s. 149-160 (Lecture Notes in Medical Informatics; Nr. 33).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The HUGIN core: preliminary considerations on systems for fast manipulation of probabilities

Andersen, S. K., Jensen, F. V. & Olesen, K. G., 1987, Proceedings of the Workshop on Induction Reasoning : Managing Empirical Information in AI-Systems, Risø National Laboratory, 1987, Roskilde, Denmark.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1989

Bisimulation Through Probabilistic Testing (Preliminary Report)

Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, s. 344-352

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

HUGIN - a Shell for Building Belief Universes for Expert Systems

Andersen, S. K., Olesen, K. G., Jensen, F. V. & Jensen, F., 1989, Proceedings of the 11th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, s. 1080-1085 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

45 Citationer (Scopus)

The use of static constructs in a model process logic

Hüttel, H. & Larsen, K. G., 1 jan. 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (red.). Physica-Verlag, s. 163-180 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1990

A causal probabilistic network model to assist in insulin therapy adjustment

Hovorka, R., Andreassen, S., Benn, J. J., Carson, E. R., Kjærulff, U. B., Kristensen, L. D. & Olesen, K. G., 1990, Proceedings of the 6th Annual Meeting on Expert Systems in Medicine, 1990, London, United Kingdom.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Computer aided decision making in mastitis control: development of a causal probabilistic network

Agger, J. F., Olesen, K. G., Jensen, F. V. & Andersen, S. K., 1990, Proceedings of the 2nd GIL Symposium, 1990, Bonn, Germany.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Use of a causal probabilistic network for insulin dose adjustment in diabetes

Benn, J., Andreassen, S., Carson, E. R., Kristensen, L. D., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '90, 7-8 September 1990, Køge, Denmark.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1991

A Hyperstructure Programming Environment for Clos

Nørmark, K., 1991, Technology of Object-Oriented Languages and Systems. Bézivin, Jean : Meyer, Bertrand (red.). Prentice-Hall, s. 127-140

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A model-based approach to insulin adjustment

Andreassen, S., Hovorka, R., Benn, J., Olesen, K. G. & Carson, E. R., 1991, Lecture Notes in Medical Informatics: Proceedings of the Third Conference on Artificial Intelligence in Medicine, AIME '91, Maastricht, the Netherlands. Stefanelli, M., Hasman, A., Fieschi, M. & Talmon, J. (red.). Springer, Bind 44. s. 239-249 10 s. (Lecture Notes in Medical Informatics; Nr. 44).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A probabilistic model for prediction of blood glucose and advice on insulin dose

Benn, J. J., Hovorka, R., Rasmussen, O., Olesen, K. G., Carson, E. R. & Andreassen, S., 1991, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '91, September, Dublin, Ireland.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

6 Citationer (Scopus)

A Theory of Testing for ACP

Aceto, L. & Ingolfsdottir, A., 1991, Proceedings of CONCUR'91, Lecture Notes in Computer Science. Baten, J.C.M. : Groote, J.F. (eds.) (red.). Springer, s. 527 -

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The Use of Descriptions in Analysis and Design of Information Systems

Stage, J., 1991, Collaborative Work, Social Communications, and Information Systems. Stamper, R.K. et al. (red.). North-Holland, s. 237-260

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1992

A Computational Scheme for Reasoning in Dynamic Probabilistic Networks

Kjærulff, U., 1992, Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, s. 121-129

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

28 Citationer (Scopus)

Bayesian methods for interpretation and control in multi-agent vision systems

Jensen, F. V., Christensen, H. I. & Nielsen, J., 1992, Proceedings of SPIE Conference Applications of Artificial Intelligence X : Machine Vision and Robotics, 22-24 April 1992, Orlando, FL, USA. Bowyer, K. (red.). SPIE - International Society for Optical Engineering, s. 536-548 (SPIE proceedings; Nr. 1708).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

48 Citationer (Scopus)

Bisimulation equivalence is decidable for context-free processes

Christensen, S., Hüttel, H. & Stifling, C., 1 jan. 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (red.). Physica-Verlag, s. 138-147 10 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 630 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

HUGIN: a system creating adaptive causal probabilistic networks

Olesen, K. G., Lauritzen, S. L. & Jensen, F. V., 1992, Proceedings of the 8th Conference on Uncertainty in Artificial Intelligence, 17-19 July 1992, Stanford, CA, USA. Kaufmann, s. 223-229

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Hyperstructure Programming Environments

Østerbye, K., Nørmark, K. & Jeppesen, H. M., 1992, Nordic Workshop on Programming Environment Research. Systä, Kari : Kellomäki, Pertti : Mäkinen, Rauno (red.). Tampere University of Technology

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Modelling Events in Object-Oriented Analysis

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1992, Report on Fifteenth Information Systems Research Seminar in Scandinavia. Bjerknes, G. et al. (red.). Dept. of Informatics

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

8 Citationer (Scopus)

Silence is golden: Branching bisimilarity is decidable for context-free processes

Hüttel, H., 1 jan. 1992, Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Larsen, K. G. & Skou, A. (red.). Physica-Verlag, s. 2-12 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 575 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Bisimulation
Decidability
Branching
Equivalence
Class

Testing and Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, NSDCS'92. Heegaard, Poul : Helvik, Bjarne (eds.) (red.). NTH, s. 235-250

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1993

Diagnosis of neuromuscular diseases by the EMG expert system MUNIN

Andreassen, S. & Olesen, K. G., 1993, Proceedings of the Annual Meeting of the Danish Society for Clinical Neurophysiology, Kolding, Denmark.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1994
15 Citationer (Scopus)

An Interaction Engine for Rich Hypertexts

Østerbye, K. & Nørmark, K., 1994, European Conference on Hypermedia Technology, September 1994. Association for Computing Machinery, s. 167-176

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A Refinement Logic for the Fork Calculus

Havelund, K. & Larsen, K. G., 1994, International IFIP Symposium on Protocol Specification, Testing and Verification.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Automatic Verification of Real-Time Systems Using Epsilon

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (red.). Chapman & Hall, s. 232-330

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Modelling Events in Object-Oriented Analysis

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1994, Proceedings of the International Conference on Object-Oriented Information Systms. Patel, D. et al. (ed.) (red.). IEEE Computer Society Press, s. 88-104

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Qualitative recognition using bayes reasoning

Liang, J., Christensen, H. I. & Jensen, F. V., 1994, Pattern Recognition in Practice IV: Multiple Paradigms, Comparative Studies and Hybrid Systems: Proceedings of an International Workshop, 1-3 June, 1994, Vlieland, Netherlands. Elsevier, (Machine Intelligence and Pattern Recognition, Bind 16).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Reduction of Computational Complexity in Bayesian Networks through Removal of Weak Dependences

Kjærulff, U. B., 1994, Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, s. 374-382

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The Software Designer: Skills and Change

Nielsen, P. A. & Stage, J., 1994, Report of the 17th Information Systems Research Seminar in Scandinavia, IRIS 17: Research Paper Series. Kerola, P. et al. (ed.) (red.). A21 udg. University of Oulu

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Verification of Real-Time Applications Using the Epsilon System

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), s. 41-52

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1995

A Behavioral Model of Software Risk Management

Lyytinen, K., Mathiassen, L. & Ropponen, J., 1995, Proceedings of European Conference on Information Systems, Athens, Greece, 1995.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A Fully Abstract Denotational Model for Observational Precongruence

Ingolfsdottir, A. & Schalk, A., 1995, Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science. Bünung, Hans Kleine (ed.) (red.). 1092 udg. IEEE Computer Society Press, s. 335-361

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

An Integrative Model for Configuration Management and Version Control

Bendix, L., 1995, Preprints of the 5th International Workshop on Software Configuration Management, April 1995. Washington, s. 259-266

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

3 Citationer (Scopus)

CPO Models for a Class of GSOS Languages

Aceto, L. & Ingolfsdottir, A., 1995, Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science. Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.) (red.). 915 udg. IEEE Computer Society Press, s. 439-453

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Evaluating the Completeness of TSQL2

Böhlen, M., Jensen, C. S. & Snodgrass, R. T., 1995, Recent Advances in Temporal Databases : Proceedings of the International Workshop on Temporal Databases, Zürich, Switzerland, 1995. Clifford, J. : Tuzhilin, A. (eds.) (red.). IEEE Computer Society Press, s. 153-172

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

HUGS: Combining Exact Inference and Gibbs Sampling in Junction Trees

Kjærulff, U., 1995, Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence. Besnard, Philippe : Hanks, Steve (eds.) (red.). Morgan Kaufmann, s. 368-375

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Inferring Effect Types in an Applicative Language with Asynchronous Communication

Hüttel, H., Hansen, M., Jensen, B. & Kleist, J., 1995, Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages. UILI-ENG-95-1702 udg. Dept. of Computer Science, University of Illinois at Urbana-Campaign

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Modelling Events in Object-Oriented Analysis

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1995, Proceedings of International Conference on Object-Oriented Information Systems, Athens, Greece, 1995.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Perspectives from the Research and Financial Applications Communities

Clifford, J. & Jensen, C. S., 1995, Recent Advances in Temporal Databases : Proceedings of the International Workshop on Temporal Databases, Zürich, Switzerland, 1995. Clifford, J. : Tuzhilin, A. (eds.) (red.). IEEE Computer Society Press, s. 356-357

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

3 Citationer (Scopus)

Semantics of Time-Varying Attributes and Their use for Temporal Database Design

Jensen, C. S. & Snodgrass, R. T., 1995, OOER'95 : Object-Oriented and Entity Relationship Modeling, 14th International Conference, Gold Coast, Australia, December 13-15, 1995: Lecture Notes in Computer Science. Papazoglou, M. P. (ed.) (red.). 1021 udg. IEEE Computer Society Press, s. 366-377

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The Why, What, Who, Where, and How of CASE Management

Mathiassen, L. & Sørensen, C., 1995, Proceedings of the Eighteenth Information Systems Research Seminar in Scandinavia, 1995.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Tutorial G: Temporal Databases

Jensen, C. S. & Snodgrass, R. T., 1995, 21st International Conference on Very Large Data Bases. s. 81-

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1996

A framework for generic object recognition with Bayesian networks

Jianming, L., Jensen, F. V. & Christensen, H. I., 1996, Proceedings of the First International Symposium of Soft Computing for Pattern Recognition, Reading, 1996, United Kingdom.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

2 Citationer (Scopus)

A Heuristic Method for Diagnosing Multiple Diseases in Complex Medical Domains Modelled by Causal Probabilistic Networks

Olesen, K. G. & Andreassen, S., 1996, Medical Informatics Europe'96. Brender, J., Christensen, J. P., Scherrer, J-R. & McNair, P. (red.). IOS Press, s. 614-618 (Studies in Health Technology and Informatics, Bind 34).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

10 Citationer (Scopus)

An Equational Axiomatization of Observation Congruence for Prefix Iteration

Aceto, L. & Ingolfsdottir, A., 1996, Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996. Wirsing, M. : Nivat, M. (eds.) (red.). IEEE Computer Society Press, s. 195-209

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Applying CASE Tools to Support Method Learning

Eriksen, L. B. & Stage, J., 1996, Proceedings of the 19th Information Systems Research Seminar in Scandinavia, IRIS 19: Gothenburg Studies in Informatics. Dahlbom, B. et al. (ed.) (red.). Report 8 udg. Departments of Informatics

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Delta Measurement in Software Process Improvement Based on Product Attributes

Aaen, I., Bøttcher, P. & Mathiassen, L., 1996, Proceedings of European Conference on Information Systems, Lisbon, Portugal, 1996.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1 Citation (Scopus)

Fully Supported Recursive Workspaces

Bendix, L., 1996, Proceedings of the 6th International Workshop on Software Configuration Management, March 1996. Sommerville, Ian (ed.) (red.). De Gruyter, s. 256-261

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

How to Obtain Version Control in Workspaces Too

Bendix, L., 1996, Proceedings of the Software CONF'96 Conference, Paris, France, June 1996.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning