• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2019

In Good Company: Efficient Retrieval of the Top-k Most Relevant Event-Partner Pairs

Wu, D., Zhu, Y. & Jensen, C. S., 2019, International Conference on Database Systems for Advanced Applications: DASFAA 2019: Database Systems for Advanced Applications. Springer Nature Switzerland AG, Bind 11447. s. 519-535 (Lecture Notes in Computer Science (LNCS), Bind 11447).

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

Industry

Interaction Design for Domestic Sound Zones

Lundgaard, S. S., Nielsen, P. A. & Kjeldskov, J., 2019, Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound, AM 2019. Association for Computing Machinery, s. 248–251 4 s.

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

Acoustic waves
Human computer interaction
46 Downloads (Pure)

Investigating EV Driving as Meaningful Practice

Jensen, R. H., Svangren, M. K., Skov, M. B. & Kjeldskov, J., dec. 2019, Proceedings of the 31th Australian Conference on Computer-Human Interaction: OzCHI '19. Association for Computing Machinery

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

Åben adgang
Fil
Electric vehicles
Human computer interaction

Investigating the Use of an Online Peer-to-Peer Car Sharing Service

Svangren, M. K., Brereton, M., Skov, M. B. & Kjeldskov, J., dec. 2019, Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III. Lecture Notes in Computer Science: Springer Publishing Company, Bind 11748.

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

Kraaler: A User-Perspective Web Crawler

Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 aug. 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). IEEE, 8 s.

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

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 sep. 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (red.). s. 651-669 19 s. (Lecture Notes in Computer Science, Bind 11800).

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

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Languages' impact on emotional classification methods

Eilertsen, A. C., Rose, D. H., Erichsen, P. L., Christensen, R. E. & Nath, R. P. D., sep. 2019, Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, FedCSIS 2019. Ganzha, M., Maciaszek, L., Maciaszek, L. & Paprzycki, M. (red.). IEEE, s. 277-286 10 s. 8860017. (Federated Conference on Computer Science and Information Systems, Bind 18).

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

Åben adgang
Fil
Language
Research

Learned index for spatial queries

Wang, H., Fu, X., Xu, J. & Lu, H., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 569-574 6 s. 8788832. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

learning
spatial data
index
partitioning
cost

Lifelogging in the Wild: Participant Experiences of Using Lifelogging as a Research Tool

Bruun, A. R. & Stentoft, M. L., 1 sep. 2019, Proceedings of the 17th IFIP TC.13 International Conference on Human-Computer Interaction – INTERACT 2019. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (red.). Springer, s. 431-451 21 s. (Lecture Notes in Computer Science, Bind 11748).

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

Cameras
Sensors
Human computer interaction
1 Citation (Scopus)

LightBee: A Self-Levitating Light Field Display for Hologrammatic Telepresence

Zhang, X., Braley, S., Rubens, C., Merritt, T. & Vertegaal, R., 2 maj 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery, s. 12:1-12:10

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

Display devices
Cameras
Glass
Drones
Stereo image processing

Maintenance 4.0 world of integrated information

Jantunen, E., Di Orio, G., Hegedűs, C., Varga, P., Moldován, I., Larrinaga, F., Krawczyk-Becker, M., Albano, M. & Maló, P., 26 apr. 2019, Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability. Springer Publishing Company, s. 67-78 12 s. (Proceedings of the I-ESA Conferences, Bind 9).

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

Interoperability
Information management
Failure analysis
Data structures
Industry

Managing Big Data Analytics Projects: The Challenges of Realizing Value

Jensen, M. H., Nielsen, P. A. & Persson, J. S., 2019, Proceedings of the 27th European Conference on Information Systems (ECIS). Association for Informations Systems, AIS, (Proceedings / European Conference on Information Systems (ECIS)).

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

Åben adgang
Fil
Big data
Information systems

Mental Models of Loudspeaker Directivity

Nielsen, S., Larsen, L. B., Stec, K. & Simon, A., sep. 2019, Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound, AM 2019. Nottingham, United Kingdom: Association for Computing Machinery, s. 260-263 4 s.

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

loudspeakers
directivity
acoustics
sound fields
sound waves

Model checking constrained markov reward models with uncertainties

Bacci, G., Hansen, M. & Larsen, K. G., 1 sep. 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Springer, s. 37-51 15 s. (Lecture Notes in Computer Science, Bind 11785).

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

Reward
Model Checking
Uncertainty
Model
Markov Model

Model Verification Through Dependency Graphs

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Springer, Bind 11636. s. 1-19 19 s. (Lecture Notes in Computer Science).

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

Multicapacity Facility Selection in Networks

Logins, A., Karras, P. & Jensen, C. S., 2019, 2019 IEEE 35th International Conference on Data Engineering. s. 794-805

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

Linear programming
Scalability
161 Downloads (Pure)

Multi-Source Spatial Entity Linkage

Isaj, S., Zimányi, E. & Pedersen, T. B., 19 aug. 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019: SSTD. Association for Computing Machinery, s. 1-10 10 s.

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

Åben adgang
Fil
Semantics

Obesity Entity Extraction from Real Outpatient Records: When Learning-Based Methods Meet Small Imbalanced Medical Data Sets

Deng, Y., Dolog, P., Gass, J-M. & Denecke, K., 2019, 32nd IEEE International Symposium on Computer-Based Medical Systems, CBMS 2019, Cordoba, Spain, June 5-7, 2019. IEEE Communications Society, s. 411-416 6 s.

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

Learning systems
Health
Neural networks
Recurrent neural networks
Classifiers

On Location Privacy in Fingerprinting-based Indoor Positioning System: An Encryption Approach

Wang, W., Gong, Z., Zhang, J., Lu, H. & Ku, W-S., 2019, 27th SIGSPATIAL/GIS 2019. s. 289-298 9 s.

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

Cryptography
Servers
Smartphones
Global positioning system
Indoor positioning systems

Outlier Detection for Time Series with Recurrent Autoencoder Ensembles

Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. Kraus, S. (red.). ijcai.org, s. 2725-2732 8 s.

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

Time series
Recurrent neural networks
Neural networks
Experiments

Partial order reduction for reachability games

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., aug. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

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

Åben adgang
Fil
Model checking
Petri nets
1 Citation (Scopus)

Personalised Soundscapes in Homes

Lundgaard, S. S. & Nielsen, P. A., 2019, DIS 2019 - Proceedings of the 2019 Designing Interactive Systems Conference. Association for Computing Machinery, s. 813-822 10 s.

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

Acoustic waves
Chemical analysis

Presentation of the 9th Edition of the Model Checking Contest

Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 jan. 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (red.). Springer, s. 50-68 19 s. (Lecture Notes in Computer Science, Bind 11429).

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

Åben adgang
Fil
Model checking
Data storage equipment
Bronze
Program processors
Silver

Push-based Spatial Crowdsourcing for Enriching Semantic Tags in OpenStreetMap

Gummidi, B., Pedersen, T. B., Xie, X. & Zimányi, E., 8 nov. 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: SIGSPATIAL'19. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (red.). Association for Computing Machinery, s. 532-535 4 s.

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

Heuristic methods
Semantics

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

Pedersen, T., Albano, M. & Nielsen, B., 17 okt. 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

Reengineering
1 Citation (Scopus)
5 Downloads (Pure)

Retrieving textual evidence for knowledge graph facts

Ercan, G., Elbassuoni, S. & Hose, K., 1 jan. 2019, The Semantic Web. Janowicz, K., Haller, A., Zaveri, A., Gray, A. J. G., Hitzler, P., Hammar, K., Lopez, V. & Fernández, M. (red.). Portorož, Slovenia: Springer, Bind 11503. s. 52-67 16 s. (Lecture Notes in Computer Science, Bind 11503 LNCS).

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

Fil
Semantics
2 Citationer (Scopus)

Safe and Time-Optimal Control for Railway Games

Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Springer, Bind 11495. s. 106-122 17 s. (Lecture Notes in Computer Science).

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

Scheduling
Reinforcement learning
Security systems
Scalability
Formal verification
150 Downloads (Pure)

Seed-Driven Geo-Social Data Extraction

Isaj, S. & Pedersen, T. B., 19 aug. 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019: SSTD. Association for Computing Machinery, s. 11-20 10 s.

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

Åben adgang
Fil
Seed
Experiments

Selective Training: A Strategy for Fast Backpropagation on Sentence Embeddings

Neerbek, J., Dolog, P. & Assent, I., 2019, Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III. Yang, Q., Zhang, M-L., Gong, Z., Huang, S-J. & Zhou, Z-H. (red.). Springer VS, Bind 11441. s. 40-53 14 s. (Lecture Notes in Computer Science).

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

Backpropagation
Neural networks
Learning systems
Experiments

Skyline Queries over Knowledge Graphs

Keles, I. & Hose, K., 17 okt. 2019, The Semantic Web – ISWC 2019 - 18th International Semantic Web Conference, Proceedings. Ghidini, C., Hartig, O., Maleshkova, M., Svátek, V., Cruz, I., Hogan, A., Song, J., Lefrançois, M. & Gandon, F. (red.). Springer, s. 293-310 18 s. (Lecture Notes in Computer Science, Bind 11778).

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

Query processing
Decision making
Experiments

Solving Influence Diagrams with Simple Propagation

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2019, Advances in Artificial Intelligence. Canadian AI 2019. Cham: Springer Nature, Bind 11489. s. 68-79 (Lecture Notes in Computer Science, Bind 11489).

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

Message passing
Bayesian networks

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

Ashok, P., Kretínsky, J., Larsen, K. G., Coent, A. C. L., Taankvist, J. H. & Weininger, M., 2019, Proceedings of the 16th International Conference, QEST. Heidelberg: Springer, Bind 11785. s. 147-164

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

Åben adgang
Decision trees
Embedded systems
Cost functions
14 Downloads (Pure)

Spatial Mixer: Cross-Device Interaction for Music Mixing

Kjeldskov, J., Paay, J. M., Sørensen Nilsson, A., Plejdrup, K. & Thomsen Pedersen, M., dec. 2019, Proceedings of the 31th Australian Conference on Computer-Human Interaction: OzCHI '19. Association for Computing Machinery, s. 85-94 10 s.

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

Åben adgang
Fil
music
visualization
software

Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, Proceedings of 35th IEEE International Conference on Data Engineering, ICDE 2019. IEEE, s. 1274-1285

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

Travel time
Global positioning system
Toll highways
Detectors
Innovation
2 Citationer (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (red.). Springer, s. 298-315 18 s. (Lecture Notes in Computer Science, Bind 11460).

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

Model checking

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 140.

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

Åben adgang
Decision trees

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 okt. 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (red.). Springer, s. 81-97 17 s. (Lecture Notes in Computer Science, Bind 11781).

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

Reinforcement learning
Teaching
Controllers
Cyber Physical System

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., aug. 2019, Proceedings of International Conference on Formal Modeling and Analysis of Timed Systems. Heidelberg: Springer, Bind 11750. s. 216-235

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

Åben adgang
Finite automata
Genetic programming
Model checking
Testing
Clocks

Towards longitudinal analytics on social media data

Xia, F., Yang, B., Yu, C., Qian, W. & Zhou, A., apr. 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE Computer Society Press, s. 350-361 12 s. 8731609. (Proceedings - International Conference on Data Engineering, Bind 2019-April).

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

Time series
Query processing

Underneath the Skin: An Analysis of YouTube Videos to Understand Insertable Device Interaction

Komkaite, A., Lavrinovica, L., Vraka, M. & Skov, M., maj 2019, (Accepteret/In press) CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery

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

Radio frequency identification (RFID)
Skin
Health
Experiments

Understanding human mobility: A multi-modal and intelligent moving objects database

Xu, J., Lu, H. & Güting, R. H., 19 aug. 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. Association for Computing Machinery, s. 222-225 4 s.

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

Information management
Artificial intelligence
Data structures
Object-oriented databases
8 Downloads (Pure)

Weight-Mate: Adaptive Training Support for Weight Lifting

Paay, J. M., Kjeldskov, J., Sørensen, F., Jensen, T. G. & Tirosh, O., dec. 2019, Proceedings of the 31th Australian Conference on Computer-Human Interaction: OzCHI '19. Association for Computing Machinery

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

Åben adgang
Fil
Feedback
Physiology
Sports
Health
Sensors
2020

Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas

Kjærup, M., 2020, (Accepteret/In press) Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas. Association for Computing Machinery

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

17 Downloads (Pure)

Efficient Search for Multi-Scale Time Delay Correlations in Big Time Series

Ho, N. T. T., Pedersen, T. B., Ho, L. V. & Vu, M., 2020, (Accepteret/In press) Proceedings - The 23rd International Conference on Extending Database Technology (EDBT), March 30-April 2, 2020. Association for Computing Machinery

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

Åben adgang
Fil
Time series
Time delay
Information theory
Redundancy
Sensors

Example-based Search: a New Frontier for Exploratory Search

Mottin, D., Lissandrini, M., Palpanas, T. & Velegrakis, Y., 2020, Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2019.

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

Åben adgang
Query languages
Semantics
11 Downloads (Pure)

pgFMU: Integrating Data Management with Physical System Modelling

Rybnytska, O., Siksnys, L., Pedersen, T. B. & Neupane, B., 2020, (Accepteret/In press) EDBT: 23rd International Conference on Extending Database Technology.

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

Åben adgang
Fil