Adresse
  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding

Adaptable Query Optimization and Evaluation in Temporal Middleware

Slivinskas, G., Jensen, C. S. & Snodgrass, R. T., 2001, Proceedings of the 2001 ACM SIGMOD International Conference on the Management of Data, Santa Barbara, CA, USA, May 21-24, 2001: Sigmod Record. Vol.30, 2 udg. s. 127-138

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

Adaptable Value-Set Analysis for Low-Level Code

Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G. & Olesen, M. C., jul. 2012, 6th International Workshop on Systems Software Verification (SSV 2011). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 24. 12 s.

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

Adapting an AI planning heuristic for directed model checking

Kupferschmid, S., Hoffmann, J., Dierks, H. & Behrmann, G., 2006, Model Checking Software, Proceedings. s. 35-52

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

33 Citationer (Scopus)

Adapting Bayes Network Structures to Non-stationary Domains

Nielsen, S. H. & Nielsen, T. D., 2006, Proceedings of the Third European Workshop on Probabilistic Graphical Models. s. 223-230 8 s.

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

6 Citationer (Scopus)

Adaptive Travel-Time Estimation: A Case for Custom Predicate Selection

Waury, R., Jensen, C. S. & Torp, K., 13 jul. 2018, Proceedings - 19th IEEE International Conference on Mobile Data Management, MDM 2018. IEEE, s. 96-105 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

3 Citationer (Scopus)

Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

Frazzetto, D., Neupane, B., Pedersen, T. B. & Nielsen, T. D., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 1-11 11 s.

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

5 Citationer (Scopus)

A Data and Query Model for Dynamic Playlist Generation

Jensen, C. A., Mungure, E. M., Pedersen, T. B. & Sørensen, K., 2007, Proceedings of the 2007 IEEE 23rd International Conference on Data Engineering Workshops. IEEE Press, 10 s.

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

7 Citationer (Scopus)

A Data Model for Determining Weather's Impact on Travel Time

Bidragets oversatte titel: En datamodel for bestemmelse af vejrets påvirkning af rejsetiderAndersen, O. & Torp, K., 2016, Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II. Hartman, S. & Ma, H. (red.). Springer Publishing Company, Bind 9828. s. 437-444 8 s. (Lecture Notes in Computer Science, Bind 9829).

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

1 Citationer (Scopus)

A Data Warehouse Solution for Analyzing RFID-Based Baggage Tracking Data

Ahmed, T., Pedersen, T. B. & Lu, H., jun. 2013, IEEE 14th International Conference on Mobile Data Management. IEEE Computer Society Press, Bind 1. s. 283-292 10 s.

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

Åben adgang
Fil
10 Citationer (Scopus)
622 Downloads (Pure)

Adding symmetry reduction to UPPAAL

Martijn, H., Behrmann, G., Larsen, K. G. & Frits, V., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03).

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

A Decentralized Architecture for Sharing and Querying Semantic Data

Aebeloe, C., Montoya, G. & Hose, K., 25 maj 2019, The Semantic Web. Fernández, M., Zaveri, A., Hitzler, P., Haller, A., Janowicz, K., Hammar, K., Gray, A. J. G. & Lopez, V. (red.). Portorož, Slovenia: Springer, Bind 11503. s. 3-18 16 s. (Lecture Notes in Computer Science).

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

Fil
1 Citationer (Scopus)
89 Downloads (Pure)

A Decidable Recursive Logic for Weighted Transition Systems

Xue, B., Larsen, K. G. & Mardare, R. I., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (red.). Springer Publishing Company, Bind 8687. s. 460-476 17 s. (Lecture Notes in Computer Science).

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

A decidable recursive logic forweighted transition systems

Larsen, K. G., Mardare, R. & Xue, B., 1 jan. 2014, Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Springer, Bind 8687. s. 460-476 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

2 Citationer (Scopus)

A decision theoretic approach to empirical treatment of bacteraemia originating from the urinary tract

Andreassen, S., Leibovici, L., Schønheyder, H. C., Kristensen, B., Riekehr, C., Kjær, A. G. & Olesen, K. G., 1998, Proceedings of Workshop on Intelligent Data Analysis in Medicine and Pharmacology, IDAMAP-98: a Workshop at ECAI-98, Brighton, UK. s. 48-53

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

A decision theoretic approach to empirical treatment of bacteraemia originating from the urinary tract

Andreassen, S., Leibovici, L., Schønheyder, H. C., Kristensen, B., Riekehr, C., Kjær, A. G. & Olesen, K. G., 1999, Proceedings of Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM 99, 20-24 June 1999, Aalborg, Denmark. Horn, W., Shahar, Y., Lindberg, G., Andreassen, S. & Wyatt, J. (red.). Springer, s. 197-206 (Lecture Notes in Artificial Intelligence , subseries of Lecture Notes in Computer Science; Nr. 1620).

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

5 Citationer (Scopus)

A Decomposition Algorithm for Learning Bayesian Network Structures from Data

Zeng, Y. & Cordero Hernandez, J., 2008, Advances in Knowledge Discovery and Data Mining: 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings. Springer, s. 441-453 12 s. (Lecture Notes in Computer Science; Nr. 5012).

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

4 Citationer (Scopus)

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

Wu, D. & Jensen, C. S., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2095-2100

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

4 Citationer (Scopus)

Adequacy and Complete Axiomatization for Timed Modal Logic

Jaziri, S., Larsen, K. G., Mardare, R. I. & Xue, B., 2014, Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (red.). Ithaca, New York: Elsevier, Bind 308. s. 183-210 28 s. (Electronic Notes in Theoretical Computer Science, Bind 308).

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

Åben adgang
5 Citationer (Scopus)

A Distributed Pi-Calculus with anonymous moves

Hüttel, H., Godskesen, J. C. & Kühnrich, M., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory (NWPT'06). Háskólinn í Reykjavík

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

Adoption of UX evaluation in practice: An action research study in a software organization

Bang, K., Kanstrup, M. A., Kjems, A. & Stage, J., 1 jan. 2017, Human-Computer Interaction - INTERACT 2017: 16th IFIP TC 13 International Conference, Proceedings, Part IV. Bernhaupt, R., Winckler, M., O'Neill, J., Dalvi, G., Joshi, A. & Balkrishan, D. K. (red.). Springer, s. 169-188 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10516 LNCS).

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

1 Citationer (Scopus)

Advanced Implementation Techniques for Scientific Data Warehouses

Pedersen, T. B. & Jensen, C. S., 2000, Proceedings of the First European Lab Workshop on Management and Integration of Biochemical Data, Heidelberg, Germany, September 2000.

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

Advanced Tracking of Vehicles

Jensen, C. S., Li, K-J., Pakalnis, S. & Saltenis, S., 2005, Proceedings of the Fifth European Congress and Exhibition on Intelligent Transport Systems. 12 s.

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

Aesthetic, Functional and Conceptual Provocation in Research Through Design

Raptis, D., Jensen, R. H., Kjeldskov, J. & Skov, M., 2017, DIS '17, Proceedings of the 2017 Conference on Designing Interactive Systems. Association for Computing Machinery, s. 29-41

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

Fil
13 Citationer (Scopus)
287 Downloads (Pure)

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2006, Automata, Languages and Programming, Pt 2. s. 492-503

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

3 Citationer (Scopus)

A Foundation for Efficient Indoor Distance-Aware Query Processing

Lu, H., Cao, X. & Jensen, C. S., 2012, The 28th IEEE International Conference on Data Engineering. IEEE Computer Society Press, s. 438-449 12 s.

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

47 Citationer (Scopus)

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

Brunel, J., Doligez, D., Hansen, R. R., Lawall, J. & Mulle, G., 2009, Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery, s. 114-126 13 s.

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

24 Citationer (Scopus)

A Framework for Conceptual Modeling of Geographic Data Quality

Friis-Christensen, A., Christensen, J. V. & Jensen, C. S., 2004, Proceedings of the Eleventh International Symposium on Spatial Data Handling. Springer, s. 605-616

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

A Framework for Constraint-Based Spatial Data Mining

Tryfona, N., 2000, Proceedings of the International Workshop on Emerging Technologies for Geo-Based Applications. s. 309-328

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

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

A framework for job management in the NorduGrid ARC middleware

Jensen, H. T., Kleist, J. & Ryge Leth, J., 2005, Advances in Grid Computing - EGC 2005. Sloot, P. M. A., Hoekstra, A. G., Priol, T., Reinefeld, A. & Bubak, M. (red.). IEEE Computer Society Press, s. 861-871 (Lecture Notes in Computer Science; Nr. 3470).

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

1 Downloads (Pure)

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 s. 86

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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.) (red.). 1092 udg. IEEE Computer Society Press, s. 335-361

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

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. (red.). Future University, 15 s.

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

Åben adgang
Fil
650 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, s. 201-210 10 s.

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

78 Citationer (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 s. No. 1

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

2 Citationer (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 s.

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

Åben adgang
Fil
9 Citationer (Scopus)
498 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. (red.). Springer, Bind 2. s. 317-333 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10988 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (red.). Springer, s. 379-396 (Lecture Notes in Computer Science, Bind 7338).

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

Fil
13 Citationer (Scopus)
462 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, s. 484-490 7 s.

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

7 Citationer (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. (red.). Monash University Press, s. 205 214 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (red.). Heidelberg: Springer Publishing Company, Bind LNBIP 156. s. 18-39 (Lecture Notes in Business Information Processing, Bind 156).

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

5 Citationer (Scopus)

A Graph Library Extension of SVG

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

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

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, s. 454-457

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

5 Citationer (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, s. 137-151 16 s. (Lecture Notes in Business Information Processing, Bind 223).

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

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

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

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

Åben adgang
Fil
1 Citationer (Scopus)
94 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. (red.). IOS Press, s. 614-618 (Studies in Health Technology and Informatics, Bind 34).

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

2 Citationer (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. (red.). IOS Press, Bind 257. s. 145-154 (Frontiers in Artificial Intelligence and Applications, Bind 257).

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

Fil
1 Citationer (Scopus)
453 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, s. 502-509

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

Åben adgang
Fil
21 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, Bind 7436. s. 471-485 (Lecture Notes in Computer Science).

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

11 Citationer (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.) (red.). 2454 udg. IEEE Computer Society Press, s. 73-82

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

23 Citationer (Scopus)