Adresse
  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding

Chameleon: a General Platform for Performing Intellimedia

Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, The 9th Irish Conference on Artificial Intelligence, IACS'98, August 1998, Dublin, Ireland. s. 73-90

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

Channel properties of asynchronously composed Petri nets

Haddad, S., Hennicker, R. & Møller, M. H., 8 jul. 2013, Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Colom, J-M. & Desel, J. (red.). Springer Publishing Company, s. 369-388 20 s. (Lecture Notes in Computer Science, Bind 7927).

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

9 Citationer (Scopus)

Characteristics of Social Networking Services

Medaglio, R., Rose, J., Nyvang, T. & Sæbø, Ø., 2009, Proceedings of the 4th MEDITERRANEAN CONFERENCE ON INFORMATION SYSTEMS. Poulymenakou, A., Poloudi, N. & Pramatari, K. (red.). Athens University of Economics and Business

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

Characterizing digital disruption in the general theory of disruptive innovation

Haase, L. M., Gertsen, F., Johansen, S. S. & Rosenstand, C. A. F., 2017, ISPIM Innovation Symposium. ISPIM Conference, 9 s.

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

Åben adgang
Fil
1893 Downloads (Pure)

Checking and Distributing Statistical Model Checking

Bulychev, P. E., David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 3 apr. 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (red.). Springer, Bind 7226. s. 449-463 15 s. (Lecture Notes in Computer Science, Bind 7226).

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

27 Citationer (Scopus)

CHI 2039: Speculative research visions

Baumer, E. P. S., Hordatt, C., Ross, S. I., Ahn, J., Krüger, A., Rust, K., Bie, M., Maidenbaum, S., Schöning, J., Bonsignore, E. M., Malu, M., Silberman, M. S., Börütecene, A., McNally, B., Tomlinson, B., Buruk, O. T., Muller, M., Yip, J., Clegg, T., Norooz, L. & 8 flere, Druin, A., Norton, J., Echtler, F., Özcan, O., Gruen, D., Patterson, D. J., Guha, M. L. & Riener, A., 2014, CHI EA 2014: One of a ChiNd - Extended Abstracts, 32nd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 761-769 9 s. (Conference on Human Factors in Computing Systems - Proceedings).

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

12 Citationer (Scopus)

Child-Computer Interaction SIG: Ubiquity and Big Data - A Changing Technology Landscape for Children

Hourcade, J. P., Zeising, A., Iversen, O., Skov, M., Antle, A., Anthony, L., Fails, J. & Walsh, G., 2018, Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 5 s. SIG07

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

3 Citationer (Scopus)

Child-Computer Interaction SIG: Ethics and Values

Hourcade, J. P., Zeising, A., Iversen, O., Pares, N., Eisenberg, M., Quintana, C. & Skov, M., 2017, Proceedings of ACM CHI 2017 Conference on Human Factors in Computing Systems. Association for Computing Machinery

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

4 Citationer (Scopus)

Choosing which message to publish on social networks: A Contextual bandit approach

Lage, R., Denoyer, L., Gallinari, P. & Dolog, P., 1 aug. 2013, Proceedings of ASONAM 2013: International Conference on Advances in Social Networks Analysis and Mining. Rokne, J. G. & Faloutsos, C. (red.). New York: Association for Computing Machinery, s. 620-627 8 s.

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

8 Citationer (Scopus)

Chronus: Consistent Data Plane Updates in Timed SDNs

Zheng, J., Chen, G., Schmid, S., Dai, H. & Wu, J., 13 jul. 2017, Proceedings - IEEE 37th International Conference on Distributed Computing Systems, ICDCS 2017. IEEE, s. 319-327 9 s. 7979978. (Proceedings of the International Conference on Distributed Computing Systems).

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

14 Citationer (Scopus)

Classification of SOA Contract Specification Languages

Okika, J. C. & Ravn, A. P., 2008, Proceedings of the 2008 IEEE International Conference on Web Services - Volume 00. 00 udg. IEEE Computer Society Press, s. 433-440

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

8 Citationer (Scopus)

Classification Using Markov Blanket for Feature Selection

Zeng, Y. & Luo, J., 2009, IEEE International Conference on Granular Computing (GrC '09). IEEE, s. 743-747

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

13 Citationer (Scopus)

Classifying IS Project Problems: An Essay on Meta-Theory

Munk-Madsen, A., 2006, Conference on the 29th Information Systems Research Seminar in Scandinavia - Paradigms Politics Paradoxes. IT University Copenhagen

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

Classifying Short Messages on Social Networks using Vector Space Models

Lage, R., Dolog, P. & Leginus, M., 1 maj 2013, Proceedings of WEBIST 2013: 9th International Conference on Web Information Systems and Technologies. Krempels, K-H. & Stocker, A. (red.). SCITEPRESS Digital Library, s. 413-422 10 s.

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

Cleansing Indoor RFID Data Using Regular Expressions

Baba, A. I., Lu, H., Ku, W-S. & Pedersen, T. B., 2016, Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (GIS). Association for Computing Machinery, s. 77:1-77:4 4 s.

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

1 Citationer (Scopus)

Clinical Data Warehousing - A Survey

Pedersen, T. B. & Jensen, C. S., 1998, Proceedings of the VIII Mediterannean Conference on Medical and Biological Engineering and Computing. University of Cyprus, s. 20

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

Åben adgang
Fil
392 Downloads (Pure)

CloudETL: Scalable Dimensional ETL for Hive

Liu, X., Thomsen, C. & Pedersen, T. B., 2014, Proceedings of the 18th International Database Engineering & Applications Symposium . Association for Computing Machinery, s. 195-206 12 s.

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

14 Citationer (Scopus)

Cloud Intelligence: What is REALLY New?

Darmont, J., Pedersen, T. B. & Middelfart, M., 2012, Proceedings of 1st International Workshop on Cloud Intelligence (colocated with VLDB 2012), Cloud-I '12, Istanbul, Turkey, August 31, 2012.. Association for Computing Machinery

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

CO2NNIE: Personalized Fuel Consumption and CO2 Emissions

Krogh, B. B., Andersen, O., Lewis-Kelham, E. & Torp, K., 2015, 23rd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 92

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

Coaching Coaches

Hedin, G., Bendix, L. G. & Magnusson, B., 2003, Proceedings of the 4th International Conference on eXtreme Programming and Agile Process in Software Engineering, May 25-29 2003, Genova, Italy.

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

Code-level timing analysis of embedded software: emsoft'12 invited talk session outline

Falk, H., Hammong, K., Larsen, K. G., Lisper, B. & Petters, S. M., 2012, EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software . Association for Computing Machinery, s. 163-164 2 s.

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

Codified vs. Personalized - A Vertical Approach to the Dilemma of Knowledge Management Strategies

Nielsen, P. A. & Jahn, K., 2010, 17th EuroSPI Conference: Industrial Proceedings. Hørsholm: DELTA, s. 3.11-3.20

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

Collaboration and Coordination Through Basic Internet Tools: a Case Study

Divitini, M. & Farshchian, B. A., 1999, Proceedings of World Multiconference SCI/ISAS '99.

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

Collaboration Around an Interactive Tabletop Map: Comparing Voice Interactions and a Tangible Shape-changing Controller

Dellana, S. G., Johansson, S. P., Poulsen, S. B., van Oosterhout, A., Skov, M. B. & Merritt, T. R., 22 nov. 2020, (Accepteret/In press) 18th International Conference on Mobile and Ubiquitous Multimedia (MUM '20). Association for Computing Machinery, 11 s.

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

Collaborative Practice Research

Mathiassen, L., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 127-148

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

Collaborative Spatial Data Sharing Among Mobile Lightweight Devices

Huang, Z., Jensen, C. S., Lu, H. & Ooi, B. C., 2007, Advances in Spatial and Temporal Databases: 10th International Symposium, SSTD 2007. Springer Science+Business Media, Bind 4605. s. 366-384 19 s.

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

10 Citationer (Scopus)

Collaborative symptoms interpretation for cardiac patients as diagnostic agents

Kjærup, M., Kouzeli, S., Skov, M., Kjeldskov, J., Skov, C. S. & Søgaard, P., 29 sep. 2018, Proceedings of the 10th Nordic Conference on Human-Computer Interaction (NordiCHI '18). Association for Computing Machinery, s. 549-558 10 s.

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

1 Citationer (Scopus)

Collective embedding for neural context-aware recommender systems

Costa, F. S. D. & Dolog, P., 2019, Proceedings of the 13th ACM Conference on Recommender Systems, RecSys 2019, Copenhagen, Denmark, September 16-20, 2019.. Bogers, T., Said, A., Brusilovsky, P. & Tikk, D. (red.). Association for Computing Machinery, s. 201-209 9 s.

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

Collective travel planning in spatial networks

Shang, S., Chen, L., Wei, Z., Jensen, C. S., Wen, J. R. & Kalnis, P., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 59-60 2 s. 7929932

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

4 Citationer (Scopus)

Colledge: A vision of collaborative knowledge networks

Metzger, S., Hose, K. & Schenkel, R., 1 dec. 2012, Proceedings of the 2nd International Workshop on Semantic Search over the Web, SSW 2012.

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

Color-blind Behavioral Specifications for Transformations of Reactive Synchronous Programs

Larsen, U., Larsen, K. G. & Wasowski, A., 2004, Proceedings of the 16th Nordic Workshop on Programming Theory: Technical report. Pettersson, P. & Yi, W. (red.). 2004-041 udg. Uppsala Sweden, s. 22-24

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

Color-blind Specifications for Transformations of Reactive Synchronous Programs

Larsen, K. G., Larsen, U. & Wasowski, A., 2005, Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Cerioli, M. (red.). IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 3442).

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

Åben adgang
Fil
3 Citationer (Scopus)
377 Downloads (Pure)

Combining Constraint Types From Public Data in Aerial Image Segmentation

Jacobsen, T. S., Jensen, J. J., Jensen, D. R. & Samuelsen, N. N., 2013, Twelfth Scandinavian Conference on Artificial Intelligence. Jaeger, M., Nielsen, T. D. & Viappiani, P. (red.). IOS Press, Bind 257. s. 125-134 (Scandinavian Conference on Artificial Intelligence, Bind 257).

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

Fil
564 Downloads (Pure)

Combining Interaction Techniques and Display Types for Virtual Reality

Kjeldskov, J., 2001, Proceedings of OzCHI 2001:  Annual Conference of the Australian Computer-Human Interaction Special Interest Group. Edith Cowan University Press, s. 77-83

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

Fil
194 Downloads (Pure)

Combining Speech and Vision processing in a platform for Intelligent Multi Media

Brøndsted, T., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, The 7th Danish Conference on Pattern Recognition and Image Analysis, August 1998, Copenhagen, Denmark. <Forlag uden navn>, s. 75-79

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

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 jan. 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (red.). IEEE Press, s. 1-10 10 s. 8958666

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

Fil
100 Downloads (Pure)

Community Detection for Multiplex Social Networks Based on Relational Bayesian Networks

Jiang, J. & Jaeger, M., 2014, Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Andreasen, T., Christiansen, H., Cubero, J-C. & Raś, Z. W. (red.). Springer Publishing Company, Bind 8502. s. 30-39 (Lecture Notes in Computer Science).

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

2 Citationer (Scopus)

Companion - A software toolkit for digitally aided pen-and-paper tabletop roleplaying

Stickert, S., Hiller, H. & Echtler, F., 11 okt. 2018, UIST 2018 Adjunct - Adjunct Publication of the 31st Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, s. 48-50 3 s. (UIST 2018 Adjunct - Adjunct Publication of the 31st Annual ACM Symposium on User Interface Software and Technology).

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

Comparative Evaluation of PL Languages and Systems: A Work-in-Progress Report

Jaeger, M., Lidman, P. & Mateo, J. L., 2007, Proceedings of Mining and Learning with Graphs. 4 s.

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

Comparative Study of Routing Protocols for Mobile Ad-hoc NETworks

Clausen, T. H., Jacquet, P. & Viennot, L., 2002, IFIP Med Hoc Net 2002.

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

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

Srba, J., 2008, Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Springer, s. 15-32 (Lecture Notes in Computer Science; Nr. 5215).

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

26 Citationer (Scopus)

Comparing Usability Evaluations of Mobile Systems

Als, B. S., Høegh, T. H., Kjeldskov, J., Skov, M. B. & Stage, J., 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. Denmark.

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

Comparison of Think-Aloud and Constructive Interaction in Usability Testing with Children

Als, B. S., Jensen, J. J. & Skov, M. B., 2005, Proceedings of the 4th International Conference for Interaction Design and Children. Boulder, Colorado, USA: University of Colorado, 8 s.

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

40 Citationer (Scopus)

Competitive clustering of stochastic communication patterns on a ring

Avin, C., Cohen, L. & Schmid, S., 2017, Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Springer, s. 231-247 17 s. (Lecture Notes in Computer Science, Bind 10299 LNCS).

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

Compiling Relational Bayesian Networks for Exact Inference

Jaeger, M., Chavira, M. & Darwiche, A., 2004, Proceedings of the Second European Workshop on Probabilistic Graphical Models. (Editor), P. L. (red.).

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

Åben adgang
Fil
249 Downloads (Pure)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

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

Åben adgang
3 Citationer (Scopus)

Completeness-preserving dominance techniques for satisficing planning

Torralba, Á., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (red.). International Joint Conferences on Artificial Intelligence, s. 4844-4851 8 s. (IJCAI International Joint Conference on Artificial Intelligence, Bind 2018-July).

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

Åben adgang
1 Citationer (Scopus)

Completeness Results for Undecidable Bisimilarity Problems

Srba, J., 2004, Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03): ENTCS. 98 udg. Netherlands, s. 5-19

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

6 Citationer (Scopus)

Complexity and uncertainty in software design

Mathiassen, L. & Stage, J., 1 dec. 1990, Proc 1990 IEEE Int Conf Comput Syst Software Eng COMPEURO 90. Publ by IEEE, s. 482-489 8 s. (Proc 1990 IEEE Int Conf Comput Syst Software Eng COMPEURO 90).

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

20 Citationer (Scopus)

Complexity of decision problems for mixed and modal specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Amadio, R. (red.). Springer, s. 112-126 (Lecture Notes in Computer Science; Nr. 4962).

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

Åben adgang
Fil
19 Citationer (Scopus)
315 Downloads (Pure)