• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding

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

34 Citationer (Scopus)

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

6 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

Bayesian networks
Sampling
3 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

Travel time
Trajectories
4 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

Quality of service
Scheduling
Energy utilization
Uncertainty
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

1 Citation (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

7 Citationer (Scopus)
481 Downloads (Pure)

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
Data warehouses
Baggage handling
Radio frequency identification (RFID)
Airports
Bluetooth

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

5 Downloads (Pure)

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
Servers
Semantics
Semantic Web

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

Syntactics
Real time systems
Costs
2 Citationer (Scopus)

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

Syntactics
Real time systems
Costs

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

5 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., 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

4 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

Bayesian networks
Decomposition
Joining
Learning algorithms
3 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

5 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

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

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

Servers
Consumer electronics
Sampling
Communication
Testing
12 Citationer (Scopus)
180 Downloads (Pure)

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
Human computer interaction
3 Citationer (Scopus)

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

43 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

17 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

Temporal logic
Model checking
Flow control
Semantics
Linux

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

Unified Modeling Language
Location based services
Consumer electronics
Global positioning system
Railroad cars

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

1 Downloads (Pure)

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

Middleware

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

589 Downloads (Pure)

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
Semantics
71 Citationer (Scopus)

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

2 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

Markup languages
HTML
Web browsers
XML
Websites
10 Citationer (Scopus)
402 Downloads (Pure)

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

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

Resource allocation
Experiments
Nearest neighbor search
13 Citationer (Scopus)
402 Downloads (Pure)

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
7 Citationer (Scopus)

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

Scheduling
Agglomeration
Washers

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

Software engineering
Industry
Quality assurance
Drug products
Managers
5 Citationer (Scopus)

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

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

Drawing (graphics)
Mirrors
Functional programming
Animation
Computer programming languages
6 Citationer (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, s. 454-457

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

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

Experiments
1 Citation (Scopus)
36 Downloads (Pure)

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
Chemical analysis
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

1 Citation (Scopus)
417 Downloads (Pure)

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
10 Citationer (Scopus)

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

24 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

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

9 Citationer (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, Bind 8470. s. 148-165 18 s. (Lecture Notes in Computer Science).

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

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.) (red.). Morgan Kaufmann, s. 549-557

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