Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • Article in proceeding

    Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. p. 1-4 4 p.

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

    File
    768 Downloads (Pure)
  • Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

    David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 Oct 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 293-307 15 p. (Lecture Notes in Computer Science, Vol. 7610).

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

    35 Citations (Scopus)
  • Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart Grid

    Chakraborty, N., Chakraborty, R. & Kalaimannan, E., 2022, Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022. IEEE Signal Processing Society, p. 316-317 2 p. (Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022).

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

  • Scheduling lacquer production by reachability analysis: A case study

    Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IFAC World Congress. Elsevier

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

    10 Citations (Scopus)
  • Schema Evolution for Stars and Snowflakes

    Kaas, C., Pedersen, T. B. & Rasmussen, B., 2004, Proceedings of the Sixth International Conference on Enterprise Information Systems. p. 425-433 9 p.

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

    34 Citations (Scopus)
  • Scheme on the Web and in the Classroom: A Retrospective about the LAML Project

    Nørmark, K., 9 Sept 2012, Proceedings of the Twelfth Workshop on Scheme and Functional Programming. Danvy, O. (ed.). Association for Computing Machinery, 6 p.

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

  • 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 proceedingArticle in proceedingResearch

  • Scientific Data Extraction from Oceanographic Papers

    Veyhe, B. E., Sagi, T. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, p. 800–804 5 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

  • SEA: A Scalable Entity Alignment System

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

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

    Open Access
    File
    1 Citation (Scopus)
    59 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 proceedingArticle in proceedingResearchpeer-review

    68 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    4 Citations (Scopus)
    189 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 proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    8 Citations (Scopus)
    94 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 proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Citation (Scopus)
    66 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    2 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearch

    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 proceedingArticle in proceedingResearch

    3 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearch

  • 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    5 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 proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    54 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    6 Citations (Scopus)
  • SHACTOR: Improving the Quality of Large-Scale Knowledge Graphs with Validating Shapes

    Rabbani, K., Lissandrini, M. & Hose, K., 4 Jun 2023, SIGMOD 2023 - Companion of the 2023 ACM/SIGMOD International Conference on Management of Data. 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    File
    94 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 proceedingArticle in proceedingResearchpeer-review

    File
    1 Citation (Scopus)
    12 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 proceedingArticle in proceedingResearchpeer-review

    20 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    13 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    Open Access
    11 Citations (Scopus)
  • SimiDTR: Deep Trajectory Recovery with Enhanced Trajectory Similarity

    Zhang, Y., Deng, L., Zhao, Y., Chen, J. & Zheng, K., 2023, Database Systems for Advanced Applications - 28th International Conference, DASFAA 2023, Proceedings. Wang, X., Sapino, M. L., Han, W-S., El Abbadi, A., Dobbie, G., Feng, Z., Shao, Y. & Yin, H. (eds.). Vol. 13943. p. 431-447 17 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    98 Citations (Scopus)