Adresse
  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Find os her

Søgeresultater

  • Bidrag til bog/antologi

    Learning to Select a Time-aware Retrieval Model

    Kanhabua, N., Berberich, K. & Nørvåg, K., 2012, Proceedings of the 35th International ACM SIGIR Conference on Research and Development in Information Retrieval. New York, NY, USA: Association for Computing Machinery, s. 1099-1100 2 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    2 Citationer (Scopus)
  • Lessons from Being There: Interface Design for Mobile Augmented Reality

    Kjeldskov, J., 2004, Virtual Applications : Applications With Virtual Inhabited 3D Worlds. Andersen P. B. and Qvortrup L. (eds.) (red.). London: Springer

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Fil
    286 Downloads (Pure)
  • Leveraging Wikipedia concept and category information to enhance contextual advertising

    Wu, Z., Xu, G., Pan, R., Zhang, Y., Hu, Z. & Lu, J., 2011, Proceedings of the 20th ACM international conference on Information and knowledge management. Berendt, B., Vries, A. D., Fan, W., Macdonald, C., Ounis, I. & Ruthven, I. (red.). New York, NY, USA: Association for Computing Machinery, s. 2105-2108 4 s. (CIKM '11).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil
    7 Citationer (Scopus)
    655 Downloads (Pure)
  • Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

    Olderog, E-R., Ravn, A. P. & Wisniewski, R., 2017, Provably Correct Systems. Springer, s. 95-120 (NASA Monographs in Systems and Software Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Location-Based Services - A Database Perspective

    Jensen, C. S., Friis-Christensen, A., Pedersen, T. B., Pfoser, D., Saltenis, S. & Tryfona, N., 2014, Breaking New Ground - Dedicated to Finn Kjærsdam. Aalborg: Aalborg Universitetsforlag, s. 82-93

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Making Sense of Project Management

    Kjærgaard, A., Kautz, K. & Nielsen, P. A., 2008, Software processes and knowledge: beyond conventional software process improvement. Nielsen, P. A. & Kautz, K. (red.). Aalborg: Software Innovation Publisher, s. 71-88

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Managerial and Organizational Assumptions in the CMM's

    Rose, J., Aaen, I. & Nielsen, P. A., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (red.). Aalborg: Software Innovation Publisher, s. 9-28 19 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Managing the ERP Journey

    Jensen, P. K. & Rose, J., 2003, Organizing for Networked Information Technologies: Cases in Process Integration and Transformation . Damsgaard, J., Hørlück, J., Kræmmergaard, P. & Rose, J. (red.). Aalborg Universitetsforlag, s. 58-74 17 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiFormidling

  • Mapping social networks in software process improvement: An action research study

    Tjørnehøj, G. & Nielsen, P. A., 2005, Business Agility and Information Technology Diffusion. Baskerville, R. L., Mathiassen, L., PriesHeje, J. & DeGross, J. I. (red.). Springer, Bind 180. s. 73-90 18 s. (International Federation for Information Processing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    2 Citationer (Scopus)
  • Mapping SPI Ideas and Practices

    Aaen, I., Arent, J., Mathiassen, L. & Ngwenyama, O., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (red.). Boston: Addison-Wesley, (The agile software development series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • MCC’2017: The Seventh Model Checking Contest

    Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    3 Citationer (Scopus)
  • Means of Coordination

    Andersen, P. B., Carstensen, P. & Nielsen, M., 2002, Coordination and Communication Using Signs. Liu, K. (ed.) : Clarke, R. J. (ed.) : Andersen, P. B. (ed.) : Stamper, R. K. (ed.) (red.). Kluwer: Kluwer Academic Publishers, (Studies in organisational semiotics; Nr. 2).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Measure

    Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems,. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Medical Information Retrieval Enhanced with User’s Query Expanded with Tag-Neighbors

    Durao, F., Bayyapu, K. R., Xu, G., Dolog, P. & Lage, R. G., 2013, Handbook of Medical and Healthcare Technologies. Furht, B. & Agarwal, A. (red.). Springer Publishing Company, s. 17-40

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    1 Citationer (Scopus)
  • Mini Project Programming Exams

    Nørmark, K., Thomsen, L. L. & Torp, K., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (red.). Berlin Heidelberg: Springer, s. 228-242 (Lecture Notes in Computer Science : Programming and Software Engineering; Nr. 4821).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    1 Citationer (Scopus)
  • MIRABEL DW: Managing Complex Energy Data in a Smart Grid

    Siksnys, L., Thomsen, C. & Pedersen, T. B., 17 jul. 2015, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI: Selected Papers from DaWaK 2012. Hameurlain, A., Küng, J., Wagner, R., Cuzzocrea, A. & Dayal, U. (red.). Springer, s. 48-72 (Lecture Notes in Computer Science, Bind 9260).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Mobile Computing

    Kjeldskov, J., 2013, The Encyclopedia of Human-Computer Interaction. Soegaard, M. & Dam, R. F. (red.). The Interaction Design Foundation

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil
    118 Downloads (Pure)
  • Mobile Technologies for Parent/Child Relationships

    Yarosh, S., Davis, H., Modlitba, P., Skov, M. B. & Vetere, F., 2009, Mobile Technology for Children: Designing for Interaction and Learning. Druin, A. (red.). Morgan Kaufmann, s. 289-310 21 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    5 Citationer (Scopus)
  • Modal I/O Automata for Interface and Product Line Theories

    Larsen, K. G., Nyman, U. & Wasowski, A., 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. De Nicola, R. (red.). IEEE Computer Society Press, s. 64-79 16 s. (Lecture Notes in Computer Science; Nr. 4421).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil
    183 Citationer (Scopus)
    407 Downloads (Pure)
  • Modallogik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (red.). Aalborg: Aalborg Universitet

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Model-based Framework for Schedulability Analysis Using Uppaal 4.1

    David, A., Rasmussen, J. I., Larsen, K. G. & Skou, A., 2009, Model-Based Design for Embedded Systems. Nicolescu, G. & J. Mosterman, P. (red.). 1 udg. CRC Press, s. 93-119 32 s. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Model-based vercation, optimization, synthesis and performance evaluation of real-time systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Thrane, C., 19 jun. 2013, Engineering Dependable Software Systems. IOS Press, Bind 34. s. 235-273 39 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Model Checking Feature Interactions

    Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (red.). Springer, s. 307-325 (Communications in Computer and Information Science, Bind 586).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Model Checking Real-Time Systems

    Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, s. 1001-1046 46 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    12 Citationer (Scopus)
  • Modeling and Analysis of Component Faults and Reliability

    Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., maj 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (red.). CRC Press, s. 45-60 (Computational Science Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Modeling Moving Machines

    Andersen, P. B. & Nowack, P., 2004, Virtual Applications : Applications with Virtual Inhabited 3d Worlds. Lars Qvortrup & Peter Bøgh Andersen (Eds.) (red.). London: IEEE Computer Society Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Modelling with Relational Calculus of Object and Component Systems - rCOS

    Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L. & Zhan, N., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (red.). Berlin/Heidelberg: Springer, s. 116-145 (Lecture Notes in Computer Science; Nr. 5153).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    9 Citationer (Scopus)
  • Models for Embedded Real-Time Systems

    Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (red.). Wiley, s. 1-38 38 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Models for Real-Time Embedded Systems

    Lime, D., Roux, O. H. & Srba, J., 13 feb. 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (red.). Wiley, s. 1-37 37 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Model-Theoretic Expressivity Analysis

    Jaeger, M., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (red.). Berlin/Heidelberg: Springer, s. 325-339 (Lecture Notes In Artificial Intelligence; Nr. 4911).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    8 Citationer (Scopus)
  • Modification

    Leung, T. Y. C., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Montague-semantik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (red.). Aalborg: Aalborg Universitet

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Monte Carlo methods for preference learning

    Viappiani, P., 1 jan. 2012, Learning and Intelligent Optimization: 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers. Hamadi, Y. & Schoenauer, M. (red.). Springer Publishing Company, s. 503-508 6 s. (Lecture Notes in Computer Science, Bind 7219).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    2 Citationer (Scopus)
  • Multi-currency Influence Diagrams

    Nielsen, S. H., Nielsen, T. D. & Jensen, F. V., 2007, Advances in Probabilistic Graphical Models. Lucas, P., Gamez, J. & Salmeron, A. (red.). Springer, Bind 213. s. 275-294 (Studies in Fuzziness and Soft Computing, Bind 213).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    Fil
    3 Citationer (Scopus)
    331 Downloads (Pure)
  • Multidimensional Databases

    Pedersen, T. B. & Jensen, C. S., 2005, Industrial Information Technology Handbook. Zurawski, R. (red.). CRC Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Multidimensional Modeling

    Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Multimedia Systems Development Methodologies: Experiences and Requirement

    Eriksen, L. B., Skov, M. & Stage, J., 2000, Narrative and Interactive Learning Environments. Leeds University, s. 75-82

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Multiple Image Segmentation

    Smets, J. & Jaeger, M., 2015, Pattern Recognition Applications and Methods: Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Fred, A., De Marsico, M. & Tabbone, A. (red.). Springer, s. 3-18 16 s. (Lecture Notes in Computer Science, Bind 9443).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • MUNIN: an expert EMG assistant

    Andreassen, S., Jensen, F. V., Andersen, S. K., Falck, B., Kjærulff, U., Woldbye, M., Sørensen, A. R., Rosenfalck, A. & Jensen, F., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (red.). Pergamon Press, s. 255-277

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • NEER: An Unsupervised Method for Named Entity Evolution Recognition

    Tahmasebi, N., Gossen, G., Kanhabua, N., Holzmann, H. & Risse, T., 2012, Proceedings the 24th International Conference on Computational Linguistics. ACL, s. 2553-2568 16 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    25 Citationer (Scopus)
  • New Results on Timed Specifications

    Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 feb. 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (red.). Springer, s. 175-192 18 s. (Lecture Notes in Computer Science, Bind 7137).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    407 Downloads (Pure)
  • News from Product to Service

    Eriksen, L. B., Ihlström, C. & Palmer, J., 2000, Planet Internet. Braa, K. : Sørensen, C. : Dahlbom, B. (eds.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Now

    Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowitz, T. & Jensen, C. S., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Now in TSQL2

    Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowits, T. & Jensen, C. S., 1994, The TSQL2 Language Specification. s. 12

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • On the Relationship between LTL Normal Forms and Büchi Automata

    Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Bind 8051. s. 256-270 (Lecture Notes in Computer Science, Bind 8051).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    3 Citationer (Scopus)
  • On the Total Variation Distance of Semi-Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    11 Citationer (Scopus)
  • Optimal Bounds for Multiweighted and Parametrised Energy Games

    Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Bind 8051. s. 244-255 (Lecture Notes in Computer Science, Bind 8051).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    23 Citationer (Scopus)
  • Organizational Intranets: Cultivating Information Technology for the People by the People

    Scheepers, R. & Rose, J., 2001, Managing Internet and Intranet Technologies in Organizations : Challenges and Opportunities. Dasgupta, S. (red.). Hershey: Idea Group Publishing

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Personalized route recommendation using big trajectory data

    Dai, J., Yang, B., Guo, C. & Ding, Z., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, s. 543-554 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    91 Citationer (Scopus)
  • Prescriptive Analytics

    Siksnys, L. & Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 3 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review