Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • Scheme Program Documentation Tools

    Nørmark, K., 2004, Proceedings of the Fifth SIGPLAN ACM Workshop on Scheme and Functional Programming. Shivers, O. & Waddell, O. (eds.). Computer Science Department, Indiana University

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Scientific Data Extraction from Oceanographic Papers

    Veyhe, B. E., Sagi, T. & Hose, K., 30 Apr 2023, Companion Proceedings of the ACM Web Conference 2023 (WWW '23 Companion). Association for Computing Machinery, p. 800–804 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • ScrAPP: Enabling Reuse of Scrap Materials with a Smartphone

    Rasmussen, T. A., Stensgaard, A., Winding, T. & Merritt, T., 27 Sept 2021, Extended Abstracts of MobileHCI 2021 - ACM International Conference on Mobile Human-Computer Interaction: Mobile Apart, Mobile Together. Association for Computing Machinery, 3474856

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • SEA: A Scalable Entity Alignment System

    Wu, J., Li, T., Chen, L., Gao, Y. & Wei, Z., 19 Jul 2023, Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '23). Association for Computing Machinery, p. 3175-3179 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    70 Downloads (Pure)

  • Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin

    Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2009, Proceedings of the 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware. IEEE Computer Society Press, Vol. 00. p. 267-272

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    70 Citations (Scopus)

  • Searching the Web of Data

    de Melo, G. & Hose, K., 2013, Advances in Information Retrieval: 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings. Serdyukov et al., P. (ed.). Springer Publishing Company, p. 869-873 5 p. (Lecture Notes in Computer Science, Vol. 7814).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Searching Trajectories by Regions of Interest

    Shang, S., Chen, L., Jensen, C. S., Wen, J-R. & Kalnis, P., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. p. 1741-1742 2 p. 8509449

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Searchlight: Context-aware predictive Continuous Querying of moving objects in symbolic space

    Christensen, K. F., Christiansen, L. L., Pedersen, T. B. & Pihl, J., 2015, IEEE 31st International Conference on Data Engineering (ICDE), 2015, Proceedings. IEEE, p. 687-698

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Secrecy and authenticity properties of the lightning network protocol

    Hüttel, H. & Staroveski, V., 2020, ICISSP 2020 - Proceedings of the 6th International Conference on Information Systems Security and Privacy. Furnell, S., Mori, P., Weippl, E. & Camp, O. (eds.). SCITEPRESS Digital Library, p. 119-130 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Secrecy in Mobile Ad-hoc Networks

    Hüttel, H. & Rafnsson, W., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Institute of Cybernetics at Tallinn University of Technology, p. 54-56 3 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • SecuSpot: Toward Cloud-Assisted Secure Multi-Tenant WiFi HotSpot Infrastructures

    Schulz-Zander, J., Lisicki, R., Schmid, S. & Feldmann, A., 12 Dec 2016, Proceedings of the 2016 ACM Workshop on Cloud-Assisted Networking . Association for Computing Machinery, p. 61-66 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • 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, p. 11-20 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    196 Downloads (Pure)

  • Seedmarkers: Embeddable Markers for Physical Objects

    Getschmann, C. & Echtler, F., 2021, TEI '21:Proceedings of the Fifteenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 1-11 11 p. 26

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    9 Citations (Scopus)
    97 Downloads (Pure)

  • 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. (eds.). Springer VS, p. 40-53 14 p. (Lecture Notes in Computer Science, Vol. 11441).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    70 Downloads (Pure)

  • Self-Adaptive Anytime Stream Clustering

    Kranen, P., Assent, I., Baldauf, C. & Seidl, T., 2009, Proc. IEEE International Conference on Data Mining (ICDM 2009). IEEE Computer Society Press, p. 249-258 (ICDM).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    53 Citations (Scopus)

  • Semantic Region Retrieval from Spatial RDF Data

    Wu, D., Hou, C., Xiao, E. & Jensen, C. S., 2020, DASFAA 2020: Database Systems for Advanced Applications. Nah, Y., Cui, B., Lee, S-W., Yu, J. X., Moon, Y-S. & Whang, S. E. (eds.). Springer, p. 415-431 17 p. (Lecture Notes in Computer Science, Vol. 12113).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Semantic Segmentation of AIS Trajectories for Detecting Complete Fishing Activities

    Wu, S., Zimanyi, E., Sakr, M. & Torp, K., 25 Aug 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, p. 419-424 6 p. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2022-June).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Semantics for Communicating Actors with Interdependent Real-Time Deadlines

    Knoll, I., Ravn, A. P. & Skou, A., 2009, Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, p. 29-35

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Semantics of Objects as Processes (SOAP)

    Nestmann, U. & Ravara, A., 1999, Object-Oriented Technology : ECOOP '99 Workshop Reader : ECOOP '99 Workshops, Panels and Posters, Lisbon, Portugal, June 14-18, 1999 : Proceedings: Lecture Notes in Computer Science. Moreira, A : Demeyer, S. (eds.) (ed.). 1743 ed. IEEE Computer Society Press, p. 314-325

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    2 Citations (Scopus)

  • Semantics of Time-Varying Attributes and Their use for Temporal Database Design

    Jensen, C. S. & Snodgrass, R. T., 1995, OOER'95 : Object-Oriented and Entity Relationship Modeling, 14th International Conference, Gold Coast, Australia, December 13-15, 1995: Lecture Notes in Computer Science. Papazoglou, M. P. (ed.) (ed.). 1021 ed. IEEE Computer Society Press, p. 366-377

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    3 Citations (Scopus)

  • Semantic Tagging with Deep Residual Networks

    Bjerva, J., Plank, B. & Bos, J., Dec 2016, Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers. Association for Computational Linguistics, p. 3531-3541 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    43 Citations (Scopus)

  • SemLAV: Querying deep web and linked open data with SPARQL

    Folz, P., Montoya, G., Skaf-Molli, H., Molli, P. & Vidal, M. E., 1 Jan 2014, The Semantic Web: ESWC 2014 Satellite Events, Revised Selected Papers. Tordai, A., Blomqvist, E., Sack, H., Troncy, R., Presutti, V. & Papadakis, I. (eds.). Springer, p. 332-337 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8798).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • SemRec: A Semantic Enhancement Framework for Tag Based Recommendation

    Xu, G., Gu, Y., Dolog, P., Zhang, Y. & Kitsuregawa, M., 1 Aug 2011, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. Burgard, W. & Roth, D. (eds.). AAAI Press, p. 1267-1272

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Sensor Fusion using Dynamic Bayesian Networks in Livestock Production Buildings

    Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Int. Conf. on Computational Intelligence for Modelling Control and Automation, CIMCA'06. Mohammadian, M. (ed.). IEEE Computer Society Press, 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Sensor Networks - the Case of Intelligent Transport Systems

    Jensen, C. S., 2007, Proceedings of the NSF Workshop on Data Management for Mobile Sensor Networks. 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Separation of Concerns and then What?

    Ernst, E., 2000, Proceedings of the Workshop Aspects and Dimensions of Concern at ECOOP 2000, Cannes, France, June 2000.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Sequential influence diagrams: a unified asymmetry framework

    Jensen, F. V., Nielsen, T. D. & Shenoy, P., 2004, Proceedings of the second European Workshop on Probabilistic Graphical Models.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    196 Downloads (Pure)

  • SETLBI: An Integrated Platform for Semantic Business Intelligence

    Nath, R. P., Hose, K., Pedersen, T. B., Romero, O. & Bhattacharjee, A., 24 Apr 2020, The Web Conference 2020 - Companion of the World Wide Web Conference, WWW 2020. Taipei: Association for Computing Machinery, Vol. 2020. p. 167-171 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)

  • Setting Goals in a Digital Transformation of Environmental Assessment: A Case Study

    Zada, A. M., Nielsen, P. A. & Persson, J. S., 2022, Co-Creating for Context in Prospective Transfer & Diffusion of IT: Proceedings of IFIP WG 8.6 Conference. Elbanna, A., McLoughlin, S., Dwivedi, Y. K., Donnellan, B. & Wastell, D. (eds.). Springer, p. 145-162 18 p. (Lecture Notes in Business Information Processing).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    57 Downloads (Pure)

  • S-GRID: A Versatile Approach to Efficient Query Processing in Spatial Networks

    Xuegang, H., Jensen, C. S., Lu, H. & Saltenis, S., 2007, Proceedings of the Tenth International Symposium on Spatial and Temporal Databases. Springer Science+Business Media, Vol. 4605. p. 93-111 19 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    30 Citations (Scopus)

  • SHACL and ShEx in the Wild: A Community Survey on Validating Shapes Generation and Adoption

    Rabbani, K., Lissandrini, M. & Hose, K., 25 Apr 2022, WWW 2022 - Companion Proceedings of the Web Conference 2022. Association for Computing Machinery, p. 260-263 4 p. (WWW 2022 - Companion Proceedings of the Web Conference 2022).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • SHACTOR: Improving the Quality of Large-Scale Knowledge Graphs with Validating Shapes

    Rabbani, K., Lissandrini, M. & Hose, K., 4 Jun 2023, Companion of the 2023 International Conference on Management of Data (SIGMOD '23). Association for Computing Machinery, p. 151-154 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • ShaderNet: Graph-based Shader Code Analysis to Accelerate GPU's Performance Improvement

    Zhao, L., Khan, A. & Luo, R., 12 Jun 2022, Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2022. Kalavri, V. & Salihoglu, S. (eds.). GRADES-NDA '22: Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), Philadelphia, Pennsylvania, USA, 12 June 2022: Association for Computing Machinery, 3

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Shaping Mobile Applications for the Future

    Hosbond, J. H., Nielsen, P. A. & Aaen, I., 2008, Enterprice Information Systems. Filipe, J., Cordeiro, J. & Cardoso, J. (eds.). Springer, Vol. 12. p. 266-275 10 p. (Lecture Notes in Business Information Processing).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Shaping Romance: Mediating Intimacy for Co-located Couples

    Christensen, A. E., Magnussen, M. H., Seindal, T. S. & Raptis, D., 15 Sept 2022, Proceedings of the 33rd Australian Conference on Human-Computer Interaction, OzCHI 2021. Buchanan, G., Davis, H., Al Mahmud, A., Sarsenbayeva, Z., Soro, A., Munoz, D., Potter, L. E., Taylor, J. L. & Tsimeris, J. (eds.). Association for Computing Machinery, p. 86-98 13 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    100 Downloads (Pure)

  • Shielded Reinforcement Learning for Hybrid Systems

    Brorholt, A. H., Jensen, P. G., Larsen, K. G., Lorber, F. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer, p. 33-54 22 p. (Lecture Notes in Computer Science, Vol. 14380).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    1 Citation (Scopus)
    20 Downloads (Pure)

  • Shield Synthesis for Reinforcement Learning

    Könighofer, B., Lorber, F., Jansen, N. & Bloem, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science+Business Media, p. 290-306 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12476 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    22 Citations (Scopus)

  • Shopping in the Real World: Interacting with a Context-Aware Shopping Trolley

    Black, D., Clemmensen, N. J. & Skov, M. B., 2009, Proceedings of MIRW 2009. BIS-Verlag, 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Shortest Path Queries for Indoor Venues with Temporal Variations

    Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., Apr 2020, The 36th IEEE International Conference on Data Engineering (ICDE 2020). IEEE, p. 2014-2017 4 p. 9101764. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    14 Citations (Scopus)
    54 Downloads (Pure)

  • Significant Objects and Their Functional Changes in Everyday Life: An Alternative Approach for Designing Ubiquitous Computer Technologies

    Choi, Y., Dave, B. & Howard, S., 2006, Proceedings of APCHI 2006. Springer

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • SIGTYP 2020 Shared Task: Prediction of Typological Features

    Bjerva, J., Salesky, E., Mielke, S. J., Chaudhary, A., Giuseppe, C., Ponti, E. M., Vylomova, E., Cotterell, R. & Augenstein, I., 1 Nov 2020, Proceedings of the Second Workshop on Computational Research in Linguistic Typology. Online: Association for Computational Linguistics, p. 1-11 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • Silence is golden: Branching bisimilarity is decidable for context-free processes

    Hüttel, H., 1991, Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Larsen, K. G. & Skou, A. (eds.). Physica-Verlag, p. 2-12 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 575 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    11 Citations (Scopus)

  • SimiDTR: Deep Trajectory Recovery with Enhanced Trajectory Similarity

    Zhang, Y., Deng, L., Zhao, Y., Chen, J., Xie, J. & Zheng, K., 2023, Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023, Tianjin, China, April 17–20, 2023, Proceedings, Part I. Wang, X., Sapino, M. L., Han, W-S., El Abbadi, A., Dobbie, G., Feng, Z., Shao, Y. & Yin, H. (eds.). Springer, p. 431-447 17 p. (Lecture Notes in Computer Science, Vol. LNCS 13943).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Similarity-Based Prediction of Travel Times for Vehicles Traveling on Known Routes

    Tiesyte, D. & Jensen, C. S., 2008, Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems. Association for Computing Machinery, p. 105-114

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    42 Citations (Scopus)

  • Simple and Realistic Data Generation

    Houkjær, K., Torp, K. & Wind, R., 2006, VLDB 2006 - Proceedings of the 32nd International Conference on Very Large Data Bases. Association for Computing Machinery, p. 1243-1246 4 p. (VLDB 2006 - Proceedings of the 32nd International Conference on Very Large Data Bases).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    98 Citations (Scopus)

  • Simple and Realistic Data Generation

    Pedersen, K. H., Torp, K. & Wind, R., 2006, Proceedings of the 32nd International Conference on Very Large Data Bases. Association for Computing Machinery, Vol. 32. p. 1243-1246

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • SimpleETL: ETL Processing by Simple Specifications

    Andersen, O., Thomsen, C. & Torp, K., 1 Jan 2018, Proceedings of the 20th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data co-located with 10th EDBT/ICDT Joint Conference. CEUR Workshop Proceedings, Vol. 2062. 6 p. (CEUR Workshop Proceedings, Vol. 2062).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    337 Downloads (Pure)

  • Simple Propagation with Arc-Reversal in Bayesian Networks

    Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2018, Proceedings of Machine Learning Research. PMLR Press, Vol. 72. p. 260-271 (The Proceedings of Machine Learning Research).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

    Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 Mar 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, p. 143-163 (Lecture Notes in Computer Science, Vol. 10877).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    15 Citations (Scopus)

  • SimSpectrum: A Similarity Based Spectral Clustering Approach to Generate a Tag Cloud

    Durao, F., Dolog, P., Leginus, M. & Lage, R. G., Jun 2011, Current Trends in Web Engineering: Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers. Web page, p. 30-39

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review