• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding

Shortest Path Queries for Indoor Venues with Temporal Variations

Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., dec. 2019, (Accepteret/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). IEEE, 4 s.

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

Location based services
Topology
Experiments

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

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

8 Citationer (Scopus)

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. (red.). Physica-Verlag, s. 2-12 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 575 LNCS).

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

Åben adgang
Bisimulation
Decidability
Branching
Equivalence
Class
24 Citationer (Scopus)

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, s. 105-114

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

Travel time
Trajectories
Logistics
Data storage equipment

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, Bind 32. s. 1243-1246

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

1 Citation (Scopus)
15 Downloads (Pure)

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, Bind 2062. 6 s. (CEUR Workshop Proceedings, Bind 2062).

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

Åben adgang
Fil

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, Bind 72. s. 260-271 (The Proceedings of Machine Learning Research).

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

Åben adgang
4 Citationer (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, s. 143-163 (Lecture Notes in Computer Science, Bind 10877).

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

Model checking
Petri nets
Explosions

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, s. 30-39

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

43 Citationer (Scopus)

Simulation-based abstractions for software product-line model checking

Cordy, M., Classen, A., Perrouin, G., Schobbens, P. Y., Heymans, P. & Legay, A., 1 jan. 2012, Proceedings - International Conference on Software Engineering. IEEE, s. 672-682 11 s. (Proceedings of the International Conference on Software Engineering).

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

Model checking
Explosions
Byproducts
Costs
Life cycle
1 Citation (Scopus)

Single Point Algorithms in Genetic Linkage Analysis

Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Revised Selected Papers: Lecture Notes in Computer Science. 2809 udg. s. 372-383

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

Situation Awareness and Early Recognition of Traffic Maneuvers

Weidl, G., Madsen, A. L., Tereshchenko, V., Zhang, W., Wang, S. & Dietmar, K., 2016, Proceedings of the 9th EUROSIM Congress on Modelling and Simulation. IEEE, s. 7-16 10 s.

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

Åben adgang
132 Citationer (Scopus)

Skyline Queries Against Mobile Lightweight Devices in MANETs

Huang, Z., Jensen, C. S., Lu, H. & Ooi, B. C., 2006, Proceedings of the 22nd International Conference on Data Engineering, 2006. ICDE '06. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 66- 11 s.

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

Mobile devices

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

Sleep Mode Operation of a Routing Protocol In Mobile Ad Hoc Networks

Qayyum, A., Toor, Y., Jacquet, P., Muhlethaler, P. & Clausen, T. H., 2002, Networks: the proceedings of the joint International Conference on Wireless LANs and Home Networks (ICWLHN 2002) and Networking (ICN 2002). Bing, B. & Lorenz, P. (red.). World Scientific

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

2 Citationer (Scopus)

Slicing for Uppaal

Thrane, C. R. & Sørensen, U., 2008, 2008 Annual IEEE Student Paper Conference Proceedings. IEEE, s. 27-31

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

Slide Reprints from the Workshop on Process Algebra: Open Problems and Future Directions

Aceto, L. . ., Hansen, J. A. . ., Ingolfsdottir, A. . ., Johnsen, J. . . & Knudsen, J. . ., 2003, BRICS Note: BRICS Note. 03-3 udg. Department of Computer Science, Aarhus University

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

5 Citationer (Scopus)

SM4AM: A Semantic Metamodel for Analytical Metadata

Varga, J., Romero, O., Pedersen, T. B. & Thomsen, C., 2014, Proceedings of the 17th International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, s. 57-66 10 s.

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

Metadata
Semantics
1 Citation (Scopus)
51 Downloads (Pure)

SM4MQ: A Semantic Model for Multidimensional Queries

Varga, J., Dobrokhotova, E., Romero, O., Pedersen, T. B. & Thomsen, C., 16 maj 2017, The Semantic Web: 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I. Springer, s. 449-464 16 s. ( Lecture Notes in Computer Science, Bind 10249).

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

Åben adgang
Fil
Semantics
Processing
Semantic Web
Metadata
Data structures
15 Citationer (Scopus)

SmartCampusAAU: An Open Platform Enabling Indoor Positioning and Navigation

Hansen, R., Thomsen, B., Thomsen, L. L. & Adamsen, F. S., jun. 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Volume 2. IEEE Computer Society Press, Bind 2. s. 33-38 6 s. (I E E E International Conference on Mobile Data Management. Proceedings, Bind 2).

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

3 Citationer (Scopus)

Social and Behavioral Aspects of a Tag-Based Recommender System

Durao, F. & Dolog, P., 2009, Proceedings of the 2009 Ninth International Conference on Intelligent Systems Design and Applications. IEEE Computer Society Press, s. 294-299

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

Recommender systems
Websites
Experiments
3 Citationer (Scopus)

Social NUI: Social perspectives in natural user interfaces

Vetere, F., O'Hara, K., Paay, J., Ploderer, B., Harper, R. & Sellen, A., jun. 2014, Proceedings of DIS 2014 - companion publication on Designing Interactive Systems. Association for Computing Machinery, s. 215-218

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

Software Configuration Management Problems and Solutions to Software Variability Management

Bendix, L. G., 2003, Proceedings of the ICSE-2003 Workshop on Software Variability Management, Portland, Oregon, May 3.

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

2 Citationer (Scopus)

Software Innovation - Values for a Methodology: Values for a Methodology - Software Innovationer

Aaen, I., aug. 2013, Nordic Contributions in IS Research: 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings. Aanestad, M. & Bratteteig, T. (red.). Heidelberg: Springer Publishing Company, Bind 156. s. 72-86 15 s. (Lecture Notes in Business Information Processing, Bind 156).

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

Software Packages: What you always wanted to know when buying software but were afraid to ask

Damsgaard, J. & Karlsbjerg, J., 2002, Proceedings of IFIP Working Group 8.4 : Second Conference on E-business : multidisciplinary research and practice, Copenhagen, Denmark.

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

Software Process Improvement: What Management Tends to Forget

Aaen, I. & Damsgaard, J., 1998, Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, December 1998. (eds.), L. T. J. . L. L. . D. J. I. (red.). s. 89-110

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

Software Process Improvement Defined

Aaen, I., 2002, ICEIS - Fifth International Conference on Enterprise Information Systems, Angers, France. Escola Superior de Technologia do Instituto Politecnico de Setubal

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

5 Citationer (Scopus)

Software Process Maturity and Organizational Politics

Nielsen, P. A. & Nørbjerg, J., 2001, Realigning Research and Practice in Information Systems Development : The Social and Organizational Perspective : ITIP TC8/WG8.2 Working Conference ..., July 27-29, 2001, Boise, Idaho, USA. Russo, N. L. : Fitzgerald, B. : DeGross, J. I. (eds.) (red.). Kluwer Academic Publishers, Bind 66. s. 221-239

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

Software thinking improvement learning performance improving lessons

Pedersen, K., 2004, Software Process Improvement, Proceedings.

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

SolveDB: Integrating Optimization Problem Solvers Into SQL Databases

Siksnys, L. & Pedersen, T. B., 2016, Proceedings of the 28th International Conference on Scientific and Statistical Database Management. Association for Computing Machinery, 12 s. 14

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

Software packages
Information management
Productivity
Specifications
Experiments

Solving Influence Diagrams with Simple Propagation

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2019, Advances in Artificial Intelligence - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Rudzicz, F. & Meurs, M-J. (red.). Cham: Springer, s. 68-79 12 s. (Lecture Notes in Computer Science, Bind 11489).

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

Message passing
Bayesian networks

Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata

Dierks, H., Behrmann, G. & Larsen, K. G., 2002, AIPS 2002 Workshop on Planning via Model Checking.

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

Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks

Xiang, Y., Olesen, K. G. & Jensen, F. V., 1999, Proceedings of the Twelfth International Florida AI Research Society Conference. Kumar, A. N. & Russell, I. (red.). AAAI Press

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

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, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Heidelberg: Springer, s. 147-164 18 s. (Lecture Notes in Computer Science, Bind 11785).

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

Decision trees
Embedded systems
Cost functions
5 Citationer (Scopus)

Soundness of Timed-Arc Workflow Nets

Mateo, J. A., Srba, J. & Sørensen, M. G., 2014, Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN'14). Springer Publishing Company, Bind 8489. s. 51-70 20 s. (Lecture Notes in Computer Science (LNCS)).

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

Computability and decidability
Petri nets
Brakes
Blood
Aircraft

Spamming, phishing and spoofing. E-mail security: A survey among end-users

Hoonakker, P., Carayon, P. & Bornoe, N., 2009, International Ergonomics Association (IEA) 2009 17th World Congress on Ergonomics. Beijing, China

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

1 Citation (Scopus)

SPARQling Pig - Processing Linked data with Pig Latin

Hagedorn, S., Hose, K. & Sattler, K-U., 2015, Datenbanksysteme für Business, Technologie und Web (BTW), 16. Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme (DBIS), 4.-6.3.2015 in Hamburg, Germany. Proceedings. Gesellschaft für Informatik (GI), s. 279-298 20 s. (Lecture Notes in Informatics, Bind 241).

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

Åben adgang
Query languages
Query processing
Data structures
Big data

Spatial Keyword Querying of Geo-Tagged Web Content

Jensen, C. S., 2013, Proceedings of the Seventh International Workshop on Ranking in Databases. Association for Computing Machinery, 4 s. 1

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

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

Spatio-Temporal Database Support for Legacy Applications

Böhlen, M., Jensen, C. S. & Skjellaug, B., 1998, Proceedings of the 1998 ACM Symposium on Applied Computing, February 27-March 1, 1998, Atlanta, Georgia. s. 226-234

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

14 Citationer (Scopus)

Spatiotemporal Data Cleansing for Indoor RFID Tracking Data

Baba, A., Lu, H., Xie, X. & Pedersen, T. B., 2013, IEEE 14th International Conference on Mobile Data Management. IEEE Computer Society Press, Bind 1. s. 187-196 (I E E E International Conference on Mobile Data Management. Proceedings, Bind 1).

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

3 Citationer (Scopus)
254 Downloads (Pure)

Spatio-Temporal Ensemble Prediction on Mobile Broadband Network Data

Samulevicius, S., Pitarch, Y., Pedersen, T. B. & Sørensen, T. B., 2 jun. 2013, Vehicular Technology Conference (VTC Spring), 2013 IEEE 77th. IEEE, 5 s. (I E E E V T S Vehicular Technology Conference. Proceedings).

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

Åben adgang
Fil
Broadband networks
Mobile devices
Quality of service
23 Citationer (Scopus)

Spatio-Temporal Joins on Symbolic Indoor Tracking Data

Lu, H., Yang, B. & Jensen, C. S., 2011, 2011 IEEE 27th International Conference on Data Engineering (ICDE). IEEE Computer Society Press, s. 816-827 12 s.

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

Spatio-temporal models and languages: An approach based on data types

Güting, R. H., Vazirgiannis, M., Böhlen, M., Erwig, M., Forlizzi, L., Jensen, C. S., Lorentzos, N., Nardelli, E. & Schneider, M., 2003, Spatiotemporal Databases: The Chorochronos Approach. Sellis, T., Koubarakis, M., Frank, A., Grumbach, S., Guting, R. H., Jensen, C. S., Lorentzos, N. & Manolopoulos, Y. (red.). IEEE Computer Society Press, s. 117-176 (Lecture Notes in Computer Science; Nr. 2520).

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

13 Citationer (Scopus)

Spatio-Temporal Rule Mining: Issues and Techniques

Gidofalvi, G. & Pedersen, T. B., 2005, Proceedings of the Seventh International Conference on Data Warehousing and Knowledge Discovery. Springer, Bind 3589. s. 275-284

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

Location based services
Data mining
Communication
Association rules
Taxonomies

Specification-Based Data Reduction in Dimensional Data Ware-houses

Skyt, J., Jensen, C. S. & Pedersen, T. B., 2002, Proceedings of the 18th International Conference on Data Engineering(ICDE 2002), San José, USA, Feb. 26 - March 1 2002. IEEE Computer Society Press, s. 278-

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

6 Citationer (Scopus)

Specification of asynchronous component systems with modal I/O-Petri nets

Haddad, S., Hennicker, R. & Møller, M. H., 1 jan. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8358 LNCS. s. 219-234 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8358 LNCS).

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

Petri nets
Specifications
Chemical analysis
Labels
Communication

Specifying OLAP Cubes on XML Data

Jensen, M. R., Møller, T. H. & Pedersen, T. B., 2001, Proceedings of the Thirteenth International Conference on Scientific and Statistical Database Management, SSDBM 2001. IEEE Computer Society Press, s. 101-112

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

SPI and Organizational Change

Nielsen, P. A. & Nørbjerg, J., 2001, OASIS 2001 : Workshop on Organizations and Society, New Orleans, December, 2001. (eds.), N. J. E. A. (red.).

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

116 Downloads (Pure)

Spooning in the Kitchen

Paay, J., Kjeldskov, J., Skov, M. B. & O'Hara, K., nov. 2011, Proceedings of Workshop on The Body In Design. Loke, L. & Robertson, T. (red.). University of Technology, Sydney, s. 30-33 4 s.

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

Åben adgang
Fil