Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • A Framework for Multi-Criteria Optimal Location Selection

    Zhang, J., Ku, W-S., Jiang, X., Qin, X., Sun, M-T. & Lu, H., 2015, Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 4 p. 86

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 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.) (ed.). 1092 ed. IEEE Computer Society Press, p. 335-361

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • A generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments

    Nielsen, S. H. & Parsons, S., 2006, Argumentation in Multi-Agent Systems (ArgMAS). Maudet, N., Parsons, S. & Rahwan, I. (eds.). Future University, 15 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    797 Downloads (Pure)
  • A Generalized Framework of Exploring Category Information for Question Retrieval in Community Question Answer Archives

    Cao, X., Cong, G., Cui, B. & Jensen, C. S., 2010, Proceedings of the Nineteenth International World Wide Web Conference, Raleigh, NC, USA, April 26-30, 2010. Association for Computing Machinery, p. 201-210 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    94 Citations (Scopus)
  • A generic framework for cyber-physical web

    Gu, X., Shou, L., Lu, H. & Chen, G., 1 Jan 2013, Proceedings of the International Workshop on Middleware for Cloud-Enabled Sensing, MCS 2013 - Co-located with ACM/IFIP/USENIX International Middleware Conference, Middleware 2013. New York: Association for Computing Machinery, 6 p. No. 1

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • A Gestalt Theoretic Perspective on the User Experience of Location-Based Services

    Paay, J. & Kjeldskov, J., 2007, Proceedings of OzCHI 2007. Association for Computing Machinery, 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    12 Citations (Scopus)
    629 Downloads (Pure)
  • Aggregate k Nearest Neighbor Queries in Metric Spaces

    Ding, X., Zhang, Y., Chen, L., Yang, K. & Gao, Y., 2018, Web and Big Data: Second International Joint Conference, APWeb-WAIM 2018, Macau, China, July 23-25, 2018, Proceedings, Part II. Cai, Y., Ishikawa, Y. & Xu, J. (eds.). Springer, Vol. 2. p. 317-333 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10988 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Aggregating and Disaggregating Flexibility Objects

    Siksnys, L., Khalefa, M. & Pedersen, T. B., 2012, Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings. Ailamaki, A. & Bowers, S. (eds.). Springer, p. 379-396 (Lecture Notes in Computer Science, Vol. 7338).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    File
    13 Citations (Scopus)
    708 Downloads (Pure)
  • Aggregating energy flexibilities under constraints

    Valsomatzis, E., Pedersen, T. B., Abello, A. & Hose, K., 12 Dec 2016, 2016 IEEE International Conference on Smart Grid Communications (SmartGridComm). IEEE, p. 484-490 7 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    8 Citations (Scopus)
  • Agile software development and its compatibility with a document-driven approach? A case study

    Heeager, L. T. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (eds.). Monash University Press, p. 205 214 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Agile software development and the barriers to transfer of knowledge: An interpretive case study

    Heeager, L. T. & Nielsen, P. A., 2013, Nordic Contributions in IS Research: 4th Scandinavian Conference on Information Systems, SCIS 2013. Aanestad, M. & Bratteteig, T. (eds.). Heidelberg: Springer Publishing Company, Vol. LNBIP 156. p. 18-39 (Lecture Notes in Business Information Processing, Vol. 156).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    7 Citations (Scopus)
  • A Graph Library Extension of SVG

    Nørmark, K., 2007, Proceedings of the 5th International Conference on Scalable Vector Graphics.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • A Graph Model for False Negative Handling in Indoor RFID Tracking Data

    Baba, A., Lu, H., Pedersen, T. B. & Xie, X., 2013, 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS 2013). Association for Computing Machinery, p. 454-457

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    5 Citations (Scopus)
  • A Group Creativity Support System for Dynamic Idea Evaluation

    Ulrich, F., 2015, Nordic Contributions in IS Research: 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings. Springer, p. 137-151 16 p. (Lecture Notes in Business Information Processing, Vol. 223).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

    Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sept 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    112 Downloads (Pure)
  • 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. (eds.). IOS Press, p. 614-618 (Studies in Health Technology and Informatics, Vol. 34).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    2 Citations (Scopus)
  • A Hierarchical Model for Continuous Gesture Recognition Using Kinect

    Jensen, S. K., Moesgaard, C., Nielsen, C. S. & Viesmose, S. L., 2013, Twelfth Scandinavian Conference on Artificial Intelligence. Jaeger, M., Nielsen, T. D. & Viappiani, P. (eds.). IOS Press, Vol. 257. p. 145-154 (Frontiers in Artificial Intelligence and Applications, Vol. 257).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    File
    1 Citation (Scopus)
    524 Downloads (Pure)
  • A Hierarchical Tree Distance Measure for Classification

    Caspersen., K. M., Madsen., M. B., Eriksen., A. B. & Thiesson., B., 2017, Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM. SCITEPRESS Digital Library, p. 502-509

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    3 Citations (Scopus)
    87 Downloads (Pure)
  • A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

    Zhao, H., Zhan, N., Kapur, D. & Larsen, K. G., 2012, FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Vol. 7436. p. 471-485 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    15 Citations (Scopus)
  • A Hybrid Approach To Web Usage Mining

    Jespersen, S., Thorhauge, J. & Pedersen, T. B., 2002, Proceedings of the Fourth International Conference on Data Warehousing and Knowledge Discovery: Lecture notes in computer science. Kambayashi, Yahiko (ed.) : Winiwater, Werner (ed.) : Arikawa, Masatoshi (ed.) (ed.). 2454 ed. IEEE Computer Society Press, p. 73-82

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    24 Citations (Scopus)
  • A Hybrid Learning Approach to Stochastic Routing

    Pedersen, S. A., Yang, B. & Jensen, C. S., 2020, International Conference on Data Engineering (ICDE). IEEE, p. 1910-1913 4 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    12 Citations (Scopus)
  • A Hyperstructure Programming Environment for Clos

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • AIS Data as Trajectories and Heat Maps

    Andersen, A. S., Christensen, A. D., Michaelsen, P., Gjela, S. & Torp, K., 2 Nov 2021, 29th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL 2021. Meng, X., Wang, F., Lu, C-T., Huang, Y., Shekhar, S. & Xie, X. (eds.). Association for Computing Machinery, p. 431-434 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • A Journey from IFC Files to Indoor Navigation

    Svendstrup Boysen, M., de Haas, C., Lu, H. & Xie, X., 2014, Web and Wireless Geographical Information Systems - 13th International Symposium, W2GIS 2014. Springer, Vol. 8470. p. 148-165 18 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    14 Citations (Scopus)
  • A Knowledge Acquisition Tool for Bayesian-Network Troubleshooters

    Skaanning, C., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (ed.). Morgan Kaufmann, p. 549-557

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • A Lens for Evaluating Genetic Information Governance Models: Balancing Equity, Efficiency and Sustainability

    Skorve, E., Vassilakopoulou, P., Aanestad, M. & Grünfeld, T., 2017, Informatics for Health: Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & Scott, P. J. (eds.). IOS Press, p. 298-302 (Studies in Health Technology and Informatics, Vol. 235).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    91 Downloads (Pure)
  • Alert Systems for production Plants: A Methodology Based on Conflict Analysis

    Nielsen, T. D. & Jensen, F. V., 2005, Proceedings of the Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. IEEE Computer Society Press, p. 76-87 (Lecture Notes in Computer Science; No. 3571).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    6 Citations (Scopus)
    753 Downloads (Pure)
  • Algebra-Based Optimization of XML-Extended OLAP Queries

    Yin, X. & Pedersen, T. B., 2006, Proceedings of the Thirteenth International Conference on Management of Data. Lakshmanan, L. V. S., Roy, P. & Tung, A. K. H. (eds.). McGraw-Hill, p. 197-200 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Algebras for Hazard Detection

    Esik, Z., Brzozowski, J. & Iland, Y., 2001, 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland. IEEE Computer Society Press, p. 3-12

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    19 Citations (Scopus)
  • Algorithm-data driven optimization of adaptive communication networks

    He, M., Kalmbach, P., Blenk, A., Kellerer, W. & Schmid, S., 21 Nov 2017, 2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE, 8117592

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    23 Citations (Scopus)
  • Algorithmic Strategies for Adapting 802.11 Location Fingerprinting to Environmental Changes

    Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2010, Abstract Volume of the 2010 International Conference on Indoor Positioning and Indoor Navigation, Zurich, Switzerland, September 15-17, 2010. IEEE Press, p. 1-10 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Aliasing Models for Object Migration

    Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Euro-Par'99 - Parallel Processing: 5th International Euro-Par Conference. Amestoy, P., Berger, P., Daydé, M., Duff, I., Fraysee, V., Giraud, L. & Ruiz, D. (eds.). 1685 ed. Springer, p. 1353-1368 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    5 Citations (Scopus)
  • All Roads Lead To Rome: New Search Methods for Optimal

    Ottosen, T. J. & Vomlel, J., 2010, Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM-2010). Myllymäki, P., Roos, T. & Jaakkola, T. (eds.). Helsinki: HIIT Publications, Vol. 2010-2.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences

    Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., 2022, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 344-362 19 p. (Lecture Notes in Computer Science, Vol. 13299).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • Almost Optimal Strategies in One Clock Priced Timed Automata

    Bouyer, P., Larsen, K. G., Markey, N. & Rasmussen, J. I., 2007, Logical Foundations of Computer Science. Springer, Vol. 4514. (Lecture Notes in Computer Science; No. 4514).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • A Local Constant Factor MDS Approximation for Bounded Genus Graphs

    Amiri, S., Schmid, S. & Siebertz, S., 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 227-233 7 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    22 Citations (Scopus)
  • A Logical Characterisation of Static Equivalence

    Hüttel, H. & Pedersen, M. D., 2007, Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII). Fiore, M. (ed.). Pergamon Press, p. 139-159 (Electronic Notes in Theoretical Computer Science; No. 173).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    7 Citations (Scopus)
  • A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

    Bauer, S. S., Juhl, L., Larsen, K. G., Srba, J. & Legay, A., 1 Jan 2012, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, p. 77-84 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    10 Citations (Scopus)
  • A Longitudinal Analysis of Real-World Self-report Data

    van Berkel, N., Shalawadi, S., Evans, M. R., Visuri, A. & Hosio, S., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part III. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Springer, p. 611-632 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14144 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • A longitudinal review of Mobile HCI research Methods

    Kjeldskov, J. & Paay, J., Sept 2012, Proceedings of Mobile HCI 2012. Association for Computing Machinery, p. 69-78

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    File
    53 Citations (Scopus)
    539 Downloads (Pure)
  • A Longitudinal Study of Usability in Health Care - Does Time Heal?

    Kjeldskov, J., Skov, M. B. & Stage, J., 2007, Information Technology in Health Care 2007: Proceedings of the 3rd International Conference on Information Technology in Health Care: Socio-technical Approaches. Westbrook, J. I., Coiera, E. W., Callen, J. L. & Aarts, J. (eds.). IOS Press, p. 181-192 11 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    9 Citations (Scopus)
    683 Downloads (Pure)
  • A lower bound for jumbled indexing

    Afshani, P., van Duijn, I., Killmann, R. & Nielsen, J. S., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 592-606 15 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    6 Citations (Scopus)
  • A Magic Box for Understanding Intergenerational Play

    Vetere, F., Gibbs, M., Davies, H., Francis, P. & Howard, S., 2006, Conference on Human Factors in Computing Systems: CHI '06 extended abstracts on Human factors in computing systems. Association for Computing Machinery, p. 1475-1480

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    29 Citations (Scopus)
  • A Method and Platform for Security Advisory Dissemination Leveraging Web3 Technologies

    Cibin, N., Sommer, J. L., Lund, M. M. & Albano, M., 17 Dec 2023, Proceedings of 6th IEEE International Conference on Blockchain. Haihuadao, China: IEEE

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • A method for diagnosing in large medical expert systems based on causal probabilistic networks

    Suojanen, M., Olesen, K. G. & Andreassen, S., 1997, Artificial Intelligence in Medicine: 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, 23-26 March 1997, Grenoble, France. Proceedings. Keravnou, E., Garbay, C., Baud, R. & Wyatt, J. (eds.). Berlin: Springer, p. 285-295 (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science; No. 1211).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    6 Citations (Scopus)
  • A Method for Model Checking Feature Interactions

    Pedersen, T., Le Guilly, T., Ravn, A. P. & Skou, A. J., Jul 2015, Proceedings of the 10th International Conference on Software Engineering and Applications. Lorenz, P. & Maciaszek, L. (eds.). SCITEPRESS Digital Library, p. 219-228 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    5 Citations (Scopus)
  • A Methodology and a Tool for Spatiotemporal Database Design

    Tryfona, N., Andersen, S., Mogensen, S. R. & Jensen, C. S., 1999, Proceedings of the Seventh Hellenic Conference on Informatics, Ioannina, Greece, August 1999. p. 53-60

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • A methodology for acquiring qualitative knowledge for probabilistic graphical models

    Kjærulff, U. B. & Madsen, A. L., 2004, Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. p. 143-150

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    File
    299 Downloads (Pure)
  • A Methodology for Developing Local Smart Diagnostic Models Using Expert Knowledge

    Madsen, A. L., Søndberg-Jeppesen, N., Lohse, N. & Sayed, M., 2015, Proceedings of the 2015 IEEE 13th International Conference on Industrial Informatics. IEEE, p. 1682 - 1687 6 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    4 Citations (Scopus)
  • A Metrized Duality Theorem for Markov Processes

    Kozen, D., Mardare, R. I. & Panangaden, P., 2014, Electronic Notes in Theoretical Computer Science. 29 October 2014: Elsevier, Vol. 308. p. 211-227 17 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review