• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding

Constructing GPSJ View Graphs

Akinde, M. O. & Böhlen, M., 1999, Proceedings of the International Workshop on Design and Management of Data Warehouses, June 1999. s. 8-12

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

10 Citationer (Scopus)

Constructing indoor navigation systems from digital building information

Svendstrup Boysen, M., de Haas, C., Lu, H., Xie, X. & Pilvinyte, A., 2014, IEEE 30th International Conference on Data Engineering, ICDE 2014. IEEE Press, s. 1194-1197 4 s.

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

2 Citationer (Scopus)
504 Downloads (Pure)

Content Recommendation for Viral Social Influence

Ivanov, S., Theocharidis, K., Terrovitis, M. & Karras, P., 2017, Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 565-574 10 s.

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

Åben adgang
Fil
Social influence
NP-hard
Approximation
Social networks
Propagation
112 Downloads (Pure)

Context-Free Session Types for Applied Pi-Calculus

Aagaard, J., Hüttel, H., Steen Jakobsen, M. & Kettunen, M., 24 aug. 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.. Open Publishing Association, Bind 276. s. 3-18 16 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

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

Åben adgang
Fil
π-calculus
Type Systems
Equivalence
Constant term
Bisimulation
2 Citationer (Scopus)
97 Downloads (Pure)

Continuity in Multi-Device Interaction: An Online Study

Raptis, D., Kjeldskov, J. & Skov, M., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016. Association for Computing Machinery, 29

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

Fil
Blogs
Surveying
Websites
4 Citationer (Scopus)

Continuity Properties of Distances for Markov Processes

Jaeger, M., Mao, H., Larsen, K. G. & Mardare, R. I., 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Norman, G. & Sanders, W. (red.). Springer, Bind 8657. s. 297-312 (Lecture Notes in Computer Science).

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

Distance Function
Markov Process
Kullback-Leibler Distance
Trace
Metric

Continuous Improvement of the Configuration Management Process

Bendix, L. G., 2000, Proceedings of the Conference Views on Software Development in the New Millennium, August 2000. s. 50-55

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

9 Citationer (Scopus)

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Cardelli, L., Larsen, K. G. & Mardare, R., 2011, CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 12. s. 144-158 15 s.

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

1 Citation (Scopus)

Continuous Monitoring of Exclusive Closest Pairs

U, L. H., Mamoulis, N. & Yiu, M. L., 2007, Proceedings of the 10th International Symposium on Spatial and Temporal Databases (SSTD). Springer, s. 1-19 19 s. (Lecture Notes in Computer Science; Nr. 4605).

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

171 Citationer (Scopus)

Continuous Nearest Neighbor Monitoring in Road Networks

Mouratidis, K., Yiu, M. L., Papadias, D. & Mamoulis, N., 2006, Proceedings of the 32nd International Conference on Very Large Data Bases. Association for Computing Machinery, s. 43-54 12 s.

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

2 Citationer (Scopus)

Continuous Query Processing for Actual and Predicted Object Flow in Symbolic Space

Christensen, K. F., Christiansen, L. L., Pedersen, T. B. & Pihl, J., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, s. 217-226 (I E E E International Conference on Mobile Data Management. Proceedings).

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

Continuous Range Queries over Multi-Attribute Trajectories

Xu, J., Bao, Z. & Lu, H., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, s. 1610-1613 (Proceedings of the International Conference on Data Engineering).

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

Trajectories
Scalability
Experiments

Controllers with Minimal Observation Power (Application to Timed Systems)

Bulychev, P., Cassez, F., David, A., Larsen, K. G., Raskin, J-F. & Reynier, P-A., okt. 2012, Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Springer, Bind 7561. s. 223-237 15 s. (Lecture Notes in Computer Science, Bind 7561).

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

Set theory
Cost functions
Controllers
Costs

Convergence of even simpler robots without position information

Pattanayak, D., Mondal, K., Mandal, P. S. & Schmid, S., 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. Springer, Bind 10299 LNCS. s. 69-85 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10299 LNCS).

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

Robots
Stabilization

Converting XML Data to UML Diagrams for Conseptual Data Integration

Jensen, M. R., Møller, T. H. & Pedersen, T. B., 2001, Proceedings of the First International Workshop on Data Integration Over the Web. s. 17-31

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

Convolutional Adversarial Latent Factor Model for Recommender System

Costa, F. S. D. & Dolog, P., 2019, Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019.. Barták, R. & Brawner, K. W. (red.). AAAI Press, s. 419-424 6 s.

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

Åben adgang
Fil
Recommender systems
Feedback
Image processing
Sampling
Neural networks
225 Downloads (Pure)

Cooking Together: A Digital Ethnography

Paay, J., Kjeldskov, J., Skov, M. B. & O'Hara, K., 2012, Proceedings of the ACM CHI 2012 Conference on Human Factors in Computing Systems: Extended Abstracts. Association for Computing Machinery, s. 1883-1888

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

Fil

Corporate Intranet Implementation: Managing Emergent Technologies and Organizational Practices

Bansler, J. P., Damsgaard, J., Havn, E., Thommesen, J. & Scheepers, R., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (red.). Copenhagen Business School Press, s. 750-757

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

Correctness Proof for Single Point Algorithms in Linkage Analysis

Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Ninth International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Gran Canaria, s. 156-159

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

11 Citationer (Scopus)

Correlated Time Series Forecasting using Multi-Task Deep Neural Networks

Cirstea, R-G., Micu, D-V., Muresan, G-M., Guo, C. & Yang, B., 17 okt. 2018, CIKM '18 Proceedings of the 27th ACM International Conference on Information and Knowledge Management. Paton, N., Candan, S., Wang, H., Allan, J., Agrawal, R., Labrinidis, A., Cuzzocrea, A., Zaki, M., Srivastava, D., Broder, A. & Schuster, A. (red.). Association for Computing Machinery, s. 1527-1530 4 s.

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

Time series
Recurrent neural networks
Neural networks
Analog to digital conversion
Deep neural networks
330 Downloads (Pure)

Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

Bogomolov, S., Greitschus, M., Jensen, P. G., Larsen, K. G., Mikučionis, M., Strump, T. & Tripakis, S., 2015, 11th International Modelica Conference Proceedings. Linköping University Electronic Press, s. 159-169 17. (Linköping Electronic Conference Proceedings; Nr. 118).

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

Åben adgang
Fil
Hybrid systems
Model checking
Engines
Heating
Composite materials
815 Downloads (Pure)

Co-sourcing in software development offshoring: A case study of risk perception and alleviation

Schlichter, B. R. & Persson, J. S., 2013, eProceedings of the 8th International Research Workshop on Information Technology Project Management (IRWITPM). AIS Special Interest Group on Information Technology Project Management, s. 5-14 10 s.

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

Åben adgang
Fil
Risk perception
Software engineering
8 Citationer (Scopus)

Cost Modeling and Estimation for OLAP-XML Federations

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Proceedings of the Fourth International Conference on Data Warehousing and Knowledge Discovery (DaWaK'02), Aix-en-Provence, September 4-6, 2002: Lecture Notes in Computer Science. 2454 udg. Springer, s. 245-254

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

3 Citationer (Scopus)

CPO Models for a Class of GSOS Languages

Aceto, L. & Ingolfsdottir, A., 1995, Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science. Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.) (red.). 915 udg. IEEE Computer Society Press, s. 439-453

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

Cracking the Code: The Dynamics of Professional Knowledge

Mathiassen, L., Robertson, M. & Swan, J., 2003, OKLC 2003, April 13.14 2003, University of Navarra, Barcelona, Spain. IESE Business School

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

190 Downloads (Pure)

Creating Realistic Laboratory Settings: Comparative Studies of Three Think-Aloud Usability Evaluations of a Mobile System

Kjeldskov, J. & Skov, M. B., 2003, Proceedings of the 9th IFIP TC13 International Conference on Human-Computer Interaction (Interact2003). IOS Press, s. 663-670

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

Fil
8167 Downloads (Pure)

Creativity support at the workplace

Dolog, P., Lin, Y., Grube, P. P. & Schmid, K., 2009, e-Learning Baltics 2009: Proceedings of the 2nd International eLBa Science Conference. Hambach, S., Martens, A., Urban, B. & Tavangarian, D. (red.). Fraunhofer Verlag

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

Åben adgang
Fil

Cross-Device Interaction with Large Displays in Public: Insights from both Users’ and Observers’ Perspectives

Paay, J., Kjeldskov, J., Raptis, D., Skov, M., Penchev, I. S. & Ringhauge, E., 2017, OZCHI '17 Proceedings of the 29th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, s. 87-97 11 s.

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

CrowdRankEval: A Ranking Function Evaluation Framework for Spatial Keyword Queries

Keles, I., Jensen, C. S. & Saltenis, S., 2016, 2016 17th IEEE International Conference on Mobile Data Management. IEEE

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

2 Citationer (Scopus)

Crowdsourcing Based Evaluation of Ranking Approaches for Spatial Keyword Querying

Chen, J., Lu, H., Keles, I. & Jensen, C. S., 29 jun. 2017, Proceedings of the 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 62-71 10 s. 7962437

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

1 Citation (Scopus)

Current, Legacy, and Invalid Tuples in Conditionally Evolving Databases

Jensen, O. G. & Bøhlen, M. H., 2002, Yakhno, T. (Ed.): Lecture notes in computer science. 2457 udg. IEEE Computer Society Press, s. 65-

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

Cutting Influence Diagrams Down to the Core

Nielsen, T. D. & Jensen, F. V., 2001, Seventh Scandinavian Conference on Artificial Intelligence : SCAI'01: Frontiers in Artificial Intelligence and Applications. Lund, H. H. : Mayoh, B. : Perram, J. (eds.) (red.). Vol. 66 udg. IOS Press, s. 159-160

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

CyclAir: A Bike Mounted Prototype for Real-Time Visualization of CO2 Levels While Cycling

Schneiders, E. & Skov, M. B., 25 aug. 2019, Human-Computer Interaction – INTERACT 2019 - 17th IFIP TC 13 International Conference, Proceedings. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (red.). Springer, s. 678-687 10 s. (Lecture Notes in Computer Science, Bind 11747).

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

Air quality
Visualization
Air pollution
Carbon footprint
Greenhouse gases
4 Citationer (Scopus)

Cyclic executive for safety-critical Java on chip-multiprocessor

Ravn, A. P. & Schoeberl, M., 2010, ACM International Conference Proceeding Series. Association for Computing Machinery, s. 63-69 7 s.

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

Model checking
Real time systems
Processing
Costs

CyNC - a method for Real Time Analysis of Systems with Cyclic Data Flows

Schiøler, H., Nielsen, J. F. D., Larsen, K. G. & Jessen, J. J., 2005, Proceedings of 13 th. RTS Conference on Embedded Systems.

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

Graphical user interfaces
MATLAB
Specifications
Processing

CyNC - towards a General Tool for Performance Analysis of Complex Distributed Real Time Systems

Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Proccedings of 17th Euromicro Conference on Real-Time Systems (ECRTS 05).

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

Real time systems
Flow control
15 Citationer (Scopus)

CAAL: Concurrency Workbench, Aalborg Edition

Reimer Andersen, J., Andersen, N., Enevoldsen, S., Munk Hansen, M., Larsen, K. G., Reedtz Olesen, S., Srba, J. & Wortmann, J. K., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Netherlands: Springer, s. 573-582 10 s. (Lecture Notes in Computer Science; Nr. 9399).

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

modeling
simulation
analysis
1 Citation (Scopus)
137 Downloads (Pure)

DARA: Assisting Drivers to Reflect on How They Hold the Steering Wheel

Raptis, D., Iversen, J., Mølbak, T. H. & Skov, M., 29 sep. 2018, NordiCHI 2018: Revisiting the Life Cycle - Proceedings of the 10th Nordic Conference on Human-Computer Interaction. s. 1-12 12 s.

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

Fil
Palmprint recognition
Wheels
Feedback
Learning systems
Railroad cars

Data Always and Everywhere: Management of Mobile, Ubiquitous, Pervasive, and Sensor Data

Alonso, G., Jensen, C. S. & Mitschang, B., 2006, Dagstuhl Seminar Proceedings. 6 s.

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

6 Citationer (Scopus)

Database Publication Practices

Bernstein, P. A., DeWitt, D., Heuer, A., Ives, Z., Jensen, C. S., Meyer, H., Özsu, M. T., Snodgrass, R. T., Whang, K-Y. & Widom, J., 2005, Proceedings of the Thirtyfirst International Conference on Very Large Data Bases. s. 1241-1246

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

transaction
7 Citationer (Scopus)

Database techniques for linked data management

Harth, A., Hose, K. & Schenkel, R., 28 jun. 2012, SIGMOD '12 - Proceedings of the International Conference on Management of Data. s. 597-600 4 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

Information management
Query processing
1 Citation (Scopus)
13 Downloads (Pure)

Database Technology for Processing Temporal Data

Böhlen, M. H., Dignös, A., Gamper, J. & Jensen, C. S., 1 okt. 2018, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018. Norvag, K., Penczek, W. & Alechina, N. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 120. 7 s. 2. (Leibniz International Proceedings in Informatics, Bind 120).

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

Åben adgang
Fil
Processing
Relational database systems
Time series

Data Management for Moving Objects

Jensen, C. S., 2003, Procedings of the 2003 International Telematics and LBS Workshop. s. 163-180

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

Data Management Infrastructure for the Mobile Web

Jensen, C. S., 2009, Semantics, Knowledge and Grid, 2009. SKG 2009. Fifth International Conference. IEEE Computer Society Press, s. 1-1 1 s.

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

Information management
Internet
Mobile devices
21 Citationer (Scopus)
530 Downloads (Pure)

Data Management in the MIRABEL Smart Grid System

Boehm, M., Dannecker, L., Doms, A., Dovgan, E., Filipič, B., Fischer, U., Lehner, W., Pedersen, T. B., Pitarch, Y., Siksnys, L. & Tušar, T., 2012, Proceedings of the 2012 Joint EDBT/ICDT Workshops, Berlin, Germany, March 30, 2012.. Association for Computing Machinery, s. 95-102

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

Fil
18 Citationer (Scopus)

Data Modeling for Mobile Services in the Real World

Jensen, C. S., Pedersen, T. B., Speicys, L. & Timko, I., 2003, Proceedings of the Eighth International Symposium on Spatial and Temporal Databases, Santorini, Greece, July 24–27: Lecture Notes in Computer Science. 2750 udg. s. 1-9

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

Data Representation and Indexing in Location-Enabled M-Services

Jensen, C. S. & Saltenis, S., 2002, National Science Foundation Workshop on Context-Aware Mobile Database Management, Providence, RI, USA, January 24-25. s. 3

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

3 Citationer (Scopus)

Day-ahead Trading of Aggregated Energy Flexibility

Valsomatzis, E., Pedersen, T. B. & Abelló, A., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. New York, NY, USA: Association for Computing Machinery, s. 134-138 5 s. (e-Energy '18).

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

Electric vehicles
Cost reduction
Agglomeration
Electricity
Power markets

DB2KB: A framework to publish a database as a knowledge base

Bhuiyan, M. H., Bhattacharjee, A. & Nath, R. P. D., 1 dec. 2017, 2017 20th International Conference of Computer and Information Technology (ICCIT). IEEE, s. 1-7 7 s.

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

Decentralized Indexing over a Network of RDF Peers

Aebeloe, C., Montoya, G. & Hose, K., 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. 3-20 18 s. (Lecture Notes in Computer Science, Bind 11778).

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

Query processing
Servers
Semantic Web
Availability
Experiments