• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2019

Filter
Working paper
2018

Improving Explainable Recommendations with Synthetic Reviews

Ouyang, S., Lawlor, A., Costa, F. & Dolog, P., 2018, p. 9, (CoRR).

Research output: Working paperResearch

2016

A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters

Wu, D. & Jensen, C. S., 2016, 10 p.

Research output: Working paperResearch

2015
Open Access
Bayesian networks
Random variables
Probability distributions
Maximum likelihood
Statistical Models
2014
144 Downloads (Pure)

Model checking process algebra of communicating resources for real-time systems

Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.

Research output: Working paperResearch

Open Access
File
2013

Bayesian network as a modelling tool for risk management in agriculture

Rasmussen, S., Madsen, A. L. & Lund, M., 2013, IFRO Working Paper ed., University of Copenhagen, Department of Food and Resource Economics: IFRO.

Research output: Working paperResearchpeer-review

agriculture
farm
modeling
income
risk factor

Mapping the Challenges of Creativity Management in IS and ISD Organizations

Ulrich, F., 2013, p. 1-29, 29 p.

Research output: Working paperResearchpeer-review

Creativity
Literature review
Competitive advantage
Ad hoc
Google
2011

Quasimodo Final Report

Nielsen, B. & Larsen, K. G., 1 Oct 2011, 77 p.

Research output: Working paperResearch

Quasimodo Year 3 Management Report

Nielsen, B. & Larsen, K. G., 1 Jun 2011, 36 p.

Research output: Working paperResearch

2010

Quasimodo Year 2 Management Report

Nielsen, B. & Larsen, K. G., 28 Jan 2010, 49 p.

Research output: Working paperResearch

251 Downloads (Pure)
File
2009
321 Downloads (Pure)

A latent model for collaborative filtering

Langseth, H. & Nielsen, T. D., 2009, Aalborg Universitet: Department of Computer Science, Aalborg University, 24 p.

Research output: Working paperResearch

Open Access
File
Collaborative filtering
Recommender systems

Initial Study: Congestion in Intersections

Torp, K., 2009, 15 p.

Research output: Working paperResearch

Quasimodo Year 1 Management Report

Nielsen, B. & Larsen, K. G., 2009, 41 p.

Research output: Working paperResearch

124 Downloads (Pure)

The Vicinity of Program Documentation Tools

Nørmark, K., 2009, TR 09-004 ed., Institut for Datalogi, Aalborg Universitet: Department of Computer Science, Aalborg University, 10 p.

Research output: Working paperResearch

Open Access
File
Program documentation
Computer programming
Feedback
2007
40 Citations (Scopus)
2006
3 Citations (Scopus)

A Unit-Test Framework for Database Applications

Christensen, C. A., Gundersborg, S., de Linde, K. & Torp, K., 2006, Aalborg: Department of Computer Science, Aalborg University, 18 p.

Research output: Working paperResearch

Personnel
108 Downloads (Pure)

Fusing Bayes Nets using Formal Argumentation in Multi-agent Systems

Nielsen, S. H. & Parsons, S., 2006, p. 1-40, 40 p.

Research output: Working paperResearch

File
Multi agent systems
Bayesian networks
90 Downloads (Pure)

Interface Input/Output Automata: Splitting Assumptions from Guarantees

Larsen, K. G., Nyman, U. & Wasowski, A., 2006.

Research output: Working paperResearch

File
Specification languages
Specifications
Communication
Chemical analysis
2004

Bisimilarity is not Finitely Based over BPA with Interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2004.

Research output: Working paperResearch

Danfoss EKC Trial Project Deliverables

Nielsen, B., Larsen, K. G., Larsen, U., Skou, A. & Andrzej, W., 2004, p. 52.

Research output: Working paperResearch

From Use Cases to Activity Cases

Bækgaard, L., 2004.

Research output: Working paperResearch

Information systems
Industry

Incremental Visualizer for Visible Objects

Bukauskas, L. & Bøhlen, M. H., 2004, New York, NY: Association for Computing Machinery, 21 p.

Research output: Working paperResearch

Visibility
Visualization
Program processors
Pipelines
Experiments
142 Downloads (Pure)

Minimal DBM Substraction

David, A., Håkansson, J., G. Larsen, K. & Pettersson, P., 2004, ITU Copenhagen, p. 4.

Research output: Working paperResearch

Open Access
File

Proceedings of the Workshop on Structural Operational Semantics: London, England (August 30, 2004)

Aceto, L., Fokkink, W. & Ulidowski, I., 2004.

Research output: Working paperResearch

2003

CCS with Hennessy's Merge has no Finite Equational Axiomatization

Aceto, L., Fokkink, W. J., Ingolfsdottir, A. & Luttik, B., 2003, p. 37.

Research output: Working paperResearch

11 Citations (Scopus)
351 Downloads (Pure)

Hybrid Control Design for a Wheeled Mobile Robot

Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, <Forlag uden navn>.

Research output: Working paperResearch

Open Access
File
69 Downloads (Pure)
Open Access
File

Lossless Conditional Schema Evolution

Jensen, O. G. & Bøhlen, M. H., 2003, p. 21.

Research output: Working paperResearch

Nested Semantics over Finite Trees are Equationally Hard

Aceto, L., Fokkink, W. J., van Glabeek, R. J. & Ingolfsdottir, A., 2003.

Research output: Working paperResearch

The INFATI Data

Jensen, C. S., Lahrmann, H., Pakalnis, S. & Madsen, J. R., 2003, p. 8.

Research output: Working paperResearch

111 Downloads (Pure)
Open Access
File
2002

Location-Based Services: A Data Management Perspective

Jensen, C. S., 2002, p. 44.

Research output: Working paperResearch

Usability Evaluation of Electronic Patient Journal IBM IPJ 2.3 (in Danish) . Aalborg University: Department of Computer Science.

Translated title of the contribution: Usability Evaluation of Electronic Patient Journal IBM IPJ 2.3 (in Danish) . Aalborg University: Department of Computer Science.Kjeldskov, J., Skov, M. B. & Stage, J., 2002.

Research output: Working paperResearch

Usability Evaluation of the WAP Service AutoLocate. Aalborg University: Department of Computer Science.

Translated title of the contribution: Usability Evaluation of the WAP Service AutoLocate. Aalborg University: Department of Computer Science.Kjeldskov, J., Skov, M. & Stage, J., 2002.

Research output: Working paperResearch

1988

Maskinindlæring: En oversigt, udvikling af en adaptiv metode og design af et indlæringsmodul til HEARSAY-II baserede ekspertsystemer

Translated title of the contribution: Machine Learning: An overview, Development of an Adaptive Method and Design of a Learning Module for Hearsay-II based Expert SystemsOlesen, K. G., 1988, Aalborg Universitet, 111 p.

Research output: Working paperResearch