Institut for Datalogi

1 - 100 ud af 2576Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2012
  2. Udgivet

    New Results on Timed Specifications. / Bourke, Timothy ; David, Alexandre ; Larsen, Kim Guldstrand ; Legay, Axel ; Lime, Didier ; Nyman, Ulrik ; Wasowski, Andrzej.

    I: Recent Trends in Algebraic Development Techniques 20th International Workshop: WADT 2010 Selected Papers. Vol. 7137/2012 Springer, 2012. s. 175-192.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  3. Udgivet

    Solutions and Heuristics for Troubleshooting with Dependent Actions and Conditional Costs. / Ottosen, Thorsten Jørgen.

    Department of Computer Science, Aalborg University, 2012. 198 s.

    Publikation: Forskning › PhD. afhandling

  4. E-pub ahead of print

    A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments. / Paul, Bastien ; Marcombes, Séverin ; David, Alexandre ; Struijk, Lotte N. S. Andreasen ; Le Moullec, Yannick.

    I: Wireless Personal Communications, 27.03.2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  5. Udgivet

    A latent model for collaborative filtering. / Langseth, Helge ; Nielsen, Thomas Dyhre.

    I: International Journal of Approximate Reasoning, 06.2012, s. 447–466.

    Publikation: Forskning - peer review › Tidsskriftartikel

  6. Accepteret

    A longitudinal review of Mobile HCI research Methods. / Kjeldskov, Jesper ; Paay, Jeni.

    I: Proceedings of Mobile HCI 2012. Association for Computing Machinery, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  7. Accepteret

    Efficient Loading and Querying in the DBMS-Based Triple-Store 3XL. / Xiufeng, Liu ; Thomsen, Christian ; Pedersen, Torben Bach.

    I: WebS. 12th Workshop on Web Semantics and Information Processing, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  8. Udgivet

    A Business Case Method for IT Investments in Danish Municipalities. / Persson, John Stouby ; Nielsen, Peter Axel.

    I: IT Management in Local Government : The DISIMIT Project. red. / Jeremy Rose ; John Stouby Persson ; Pernille Kræmmergaard ; Peter Axel Nielsen. Aalborg : Software Innovation, Aalborg University, 2012. s. 115.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  9. Udgivet

    A Foundation for Efficient Indoor Distance-Aware Query Processing. / Lu, Hua ; Cao, Xin ; Jensen, Christian Søndergaard.

    I: The 28th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  10. In press

    A Modal Specification Theory for Components with Data. / Bauer, Sebastian S. ; Larsen, Kim Guldstrand ; Legay, Axel ; Nyman, Ulrik ; Wasowski, Andrzej.

    I: Formal Aspects of Component Software: 8th International Workshop, FACS 2011. 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  11. E-pub ahead of print

    Agile distributed software development: enacting control through media and context. / Persson, John Stouby ; Mathiassen, Lars ; Aaen, Ivan.

    I: Information Systems Journal, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  12. Udgivet

    Bluetooth Indoor Positioning System using Fingerprinting. / Frost, Christian ; Jensen, Casper Svenning ; Luckow, Kasper Søe ; Thomsen, Bent ; Hansen, Rene.

    I: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  13. Udgivet

    Combining ethnography and object-orientation for mobile interaction design: contextual richness and abstract models. / Kjeldskov, Jesper ; Stage, Jan.

    I: International Journal of Human-Computer Studies, Vol. 70, Nr. 3, 2012, s. 197–217.

    Publikation: Forskning - peer review › Tidsskriftartikel

  14. Afsendt

    Competing Values in Software Process Improvement: A Study of Cultural Profiles. / Mûller, Sune Dueholm ; Nielsen, Peter Axel.

    I: Information Technology and People, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  15. Udgivet

    Compositional Safety Analysis using Barrier Certificates. / Sloth, Christoffer ; Pappas, George J. ; Wisniewski, Rafael.

    I: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, 2012, s. 15-23.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  16. Afsendt

    Compression of bitmaps and values. / Deliege, Francois (Opfinder) ; Pedersen, Torben Bach (Opfinder).

    Patentnummer: 2010/050199. jul 29, 2010.

    Publikation: Forskning › Patent

  17. Udgivet

    Cooking Together: A Digital Ethnography. / Paay, Jeni ; Kjeldskov, Jesper ; Skov, Mikael B. ; O'Hara, Kenton.

    I: Proceedings of the ACM CHI 2012 Conference on Human Factors in Computing Systems: Extended Abstracts. 2012. s. 1883-1888.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  18. Udgivet

    Decidability of Modular Logics for Concurrency. / Mardare, Radu Iulian.

    I: Lecture Notes in Computer Science, Nr. 7162, 2012, s. 270.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  19. E-pub ahead of print

    Decoupling, re-Engaging: managing trust relationships in implementation projects. Information Systems Journal. / Rose, Jeremy ; Schlichter, Bjarne Rerup.

    I: Information Systems Journal, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  20. Accepteret

    Digital Urban Ambience: Mediating Context on Mobile Devices in the City. / Kjeldskov, Jesper ; Skov, Mikael B. ; Nielsen, Glen ; Vestergaard, Michael ; Thorup, Søren.

    I: Pervasive and Mobile Computing, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  21. Accepteret

    Distributed Interaction: A Multi-Device, Multi-User Music Experience. / Sørensen, Henrik ; Kjeldskov, Jesper.

    I: Proceedings of the International Conference on Advanced Visual Interfaces, AVI 2012. Association for Computing Machinery, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  22. Udgivet

    E-government value priorities of Danish local authority managers. / Rose, Jeremy ; Persson, John Stouby.

    I: IT Management in Local Government: the DISIMIT Project. Aalborg : Software Innovation, Aalborg University, 2012. s. 27-56.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  23. Udgivet

    Engaged Problem Formulation of IT Management in Danish Municipalities. / Nielsen, Peter Axel ; Persson, John Stouby.

    I: IT Management in Local Government : The DISIMIT Project. red. / Jeremy Rose ; John Stouby Persson ; Pernille Kræmmergaard ; Peter Axel Nielsen. Aalborg : Software Innovation, Aalborg University, 2012. s. 13.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  24. In press

    Extending Modal Transition Systems with Structured Labels. / Bauer, Sebastian ; Juhl, Line ; Larsen, Kim Guldstrand ; Legay, Axel ; Srba, Jiri.

    I: Mathematical Structures in Computer Science, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  25. Accepteret

    Immediate User Interface Adaptation in Multi-device Environments. / Sørensen, Henrik ; Kjeldskov, Jesper.

    I: Proceedings of PPD'12: Infrastructure and Design Challenges of Coupled Display Visual Interfaces: Held in conjunction with AVI 2012. Association for Computing Machinery, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  26. Udgivet

    Improving IT Project Portfolio Management in Public Sector Organizations. / Pedersen, Keld.

    I: IT Management in Local Government: The DISIMIT Project. 1. udg. Denmark, 2012. s. 57-80.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  27. Udgivet

    Improving Recommendations in Tag-based Systems with Spectral Clustering of Tag Neighbors. / Pan, Rong ; Xu, Guandong ; Dolog, Peter.

    Springer, 2012. 9 s.

    Publikation: Forskning - peer review › Bog

  28. Accepteret

    Improving Tag-Based Recommendation with the Collaborative Value of Wiki Pages for Knowledge Sharing. / Durao, Frederico ; Dolog, Peter.

    I: Journal of Ambient Intelligence and Humanized Computing, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  29. Udgivet

    IT Business Cases in Local Government: An Action Research Study. / Nielsen, Peter Axel ; Persson, John Stouby.

    I: Proceedings of the 45th Annual Hawaii International Conference on System Sciences (HICSS-45). 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  30. Udgivet

    IT Management in Local Government : The DISIMIT Project. / Rose, Jeremy ; Persson, John Stouby ; Kræmmergaard, Pernille ; Nielsen, Peter Axel ; Pedersen, Keld.

    Aalborg : Software Innovation, Aalborg University, 2012. 160 s.

    Publikation: Forskning - peer review › Bog

  31. Accepteret

    Joint Top-K Spatial Keyword Query Processing. / Wu, Dinming ; Yiu, Man Lung ; Cong, Gao ; Jensen, Christian Søndergaard.

    I: IEEE Transactions on Knowledge and Data Engineering, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  32. Accepteret

    Knowledge coordination in distributed software management: An analysis of breakdowns in multimodal virtual meetings. / Persson, John Stouby ; Mathiassen, Lars.

    I: Proceedings of the 20th European Conference on Information systems. 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  33. Udgivet

    Learning Markov models for stationary system behaviors. / Chen, Yingke ; Mao, Hua ; Jaeger, Manfred ; Nielsen, Thomas Dyhre ; Larsen, Kim Guldstrand ; Nielsen, Brian.

    I: NASA Formal Methods Symposium 2012. 2012. s. 216-230.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  34. Afsendt

    M-Eco enhanced Adaptation Service (D5.2). / Dolog, Peter ; Durao, Frederico ; Lage, Ricardo Gomes ; Leginus, Martin ; Pan, Rong.

    2012. 68 s.

    Publikation: Forskning › Rapport

  35. In press

    Modal Transition Systems with Weight Intervals. / Juhl, Line ; Larsen, Kim Guldstrand ; Srba, Jiri.

    I: Journal of Logic and Algebraic Programming, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  36. Accepteret

    Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. / David, Alexandre ; Bulychev, Peter ; Larsen, Kim Guldstrand ; Legay, Axel ; Guangyuan, Li ; Poulsen, Danny Bøgsted ; Stainer, Amelie.

    I: Logic for Programming, Artificial Intelligence and Reasoning, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  37. Udgivet

    More Spooning in the Kitchen. / Paay, Jeni ; Kjeldskov, Jesper ; Skov, Mikael B. ; O'Hara, Kenton.

    I: Proceedings of the Food and Interaction Design Workshop, CHI 2012. Association for Computing Machinery, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  38. Udgivet

    Moving from Specifications to Contracts in Component-based Design. / Bauer, Sebastian ; David, Alexandre ; Hennicker, Rolf ; Larsen, Kim Guldstrand ; Legay, Axel ; Nyman, Ulrik ; Wasowski, Andrzej.

    I: Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012. Vol. 7212 Springer, 2012. s. 43-58.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  39. Udgivet

    Om høringsprocesserne på Aalborg Universitet. / Jensen, Finn V. ; Brodersen, Lars ; Andersen, Lars Vabbersgaard.

    I: UGlen, Nr. 3, 2012, s. 23.

    Publikation: Formidling › Tidsskriftartikel

  40. E-pub ahead of print

    On-Demand Multidimensional Data Integration: Towards A Semantic Foundation for Cloud Intelligence. / Pedersen, Torben Bach ; Pedersen, Dennis ; Riis, Karsten.

    I: Journal of Supercomputing, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  41. Udgivet

    Outsourced Similarity Search on Metric Data Assets. / Yiu, Man Lung ; Assent, Ira ; Jensen, Christian Søndergaard ; Kalnis, Panos.

    I: I E E E Transactions on Knowledge & Data Engineering, Vol. 24, Nr. 2, 2012, s. 338-352.

    Publikation: Forskning - peer review › Tidsskriftartikel

  42. E-pub ahead of print

    Passive Fault-tolerant Control of Discrete-time Piecewise Affine Systems against Actuator Faults. / Tabatabaeipour, Seyed Mojtaba ; Izadi-Zamanabadi, Roozbeh ; Bak, Thomas ; Ravn, Anders Peter.

    I: International Journal of Systems Science, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  43. Accepteret

    Quantitative Models and Analysis for Reactive Systems. / Thrane, Claus.

    2012. 170 s.

    Publikation: Forskning › PhD. afhandling

  44. Accepteret

    SimSpectrum: A Similarity Based Spectral Clustering Approach to Generate a Tag Cloud. / Durao, Frederico ; Dolog, Peter ; Leginus, Martin ; Lage, Ricardo Gomes.

    2012. Paper presented at First International Workshop on Search, Exploration and Navigation of Web Data Sources, .

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  45. Udgivet

    Software Entrepreneurship: course notes. / Rose, Jeremy.

    2012,.

    Publikation: Undervisning › Andet bidrag

  46. Udgivet

    Structured Linear Parameter Varying Control of Wind Turbines. / Adegas, Fabiano Daher ; Sloth, Christoffer ; Stoustrup, Jakob.

    I: Control of Linear Parameter Varying Systems with Applications. Springer Science+Business Media B.V., 2012. s. 303-337.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  47. Udgivet

    TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. / David, Alexandre ; Jacobsen, Lasse ; Jacobsen, Morten ; Jørgensen, Kenneth Yrke ; Møller, Mikael Harkjær ; Srba, Jiri.

    I: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Vol. 7214 Netherlands, 2012. s. 492-497 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  48. In press

    The Agile and the Disciplined Software Approaches: Combinable or just Compatible?. / Heeager, Lise Tordrup.

    2012.

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  49. In press

    Towards a process-centric IT department: a case study. / Siurdyban, Artur ; Nielsen, Peter Axel.

    I: Journals of Cases on Information Technology, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  50. Accepteret

    Towards Effective Group Recommendations for Microblogging Users. / Lage, Ricardo Gomes ; Durao, Frederico ; Dolog, Peter.

    2012. Paper presented at Symposium On Applied Computing, Trento, Italien.

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  51. Udgivet

    Upgrading Uncompetitive Products Economically. / Lu, Hua ; Jensen, Christian Søndergaard.

    I: The 28th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  52. Udgivet

    Using Mobile Phones to Support Sustainability: A Field Study of Residential Electricity Consumption. / Kjeldskov, Jesper ; Skov, Mikael B. ; Paay, Jeni ; Pathmanathan, Rahuvaran.

    I: Proceedings of the ACM CHI 2012 Conference on Human Factors in Computing Systems. Association for Computing Machinery, 2012. s. 2347-2356.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  53. Afsendt

    Using Tag-Neighbors for Query Expansion in Medical Information Retrieval. / Durao, Frederico ; Bayyapu, Karunakar Reddy ; Xu, Guandong ; Lage, Ricardo Gomes ; Dolog, Peter.

    I: Multimedia Tools and Applications, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  54. Accepteret

    WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process. / Lawall, Julia ; Brunel, Julien Pierre Manuel ; Palix, Nicolas Jean-Michel ; Hansen, Rene Rydhof ; Stuart, Henrik ; Muller, Gilles.

    I: Software: Practice & Experience, 2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  55. 2011
  56. Udgivet

    APAC : A tool for reasoning about abstract probabilistic automata. / Delahaye, B. ; Larsen, Kim Guldstrand ; Legay, A. ; Pedersen, M.L. ; Wasowski, A..

    I: Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. 2011. s. 151-152.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  57. Udgivet

    Energy Games in Multiweighted Automata. / Fahrenberg, U. ; Juhl, L. ; Larsen, Kim Guldstrand ; Srba, J..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6916 LNCS Springer, 2011. s. 95-115 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  58. Udgivet

    Modular Markovian logic. / Cardelli, L. ; Larsen, Kim Guldstrand ; Mardare, R..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6756 LNCS 2011. s. 380-391.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  59. Udgivet

    Monitoring dynamical signals while testing timed aspects of a system. / Frehse, G. ; Larsen, Kim Guldstrand ; Mikucionis, Marius ; Nielsen, B..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7019 LNCS 2011. s. 115-130.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  60. Udgivet

    Parametric modal transition systems. / Larsen, Kim Guldstrand ; Møller, M.H. ; Srba, J. ; Beneš, N. ; Křetínský, J..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6996 LNCS Springer, 2011. s. 275-289 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  61. Udgivet

    Quantitative refinement for weighted modal transition systems. / Bauer, S.S. ; Fahrenberg, U. ; Legay, A. ; Juhl, L. ; Larsen, Kim Guldstrand ; Thrane, C..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6907 LNCS 2011. s. 60-71.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  62. Udgivet

    Robust specification of real time components. / Larsen, Kim Guldstrand ; Legay, A. ; Traonouez, Louis-Marie ; Wasowski, Andrzej.

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6919 LNCS 2011. s. 129-144.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  63. Udgivet

    Statistical model checking for networks of priced timed automata. / David, A. ; Larsen, Kim Guldstrand ; Mikucionis, Marius ; Poulsen, D.B. ; Van Vliet, J. ; Legay, A. ; Wang, Z..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6919 LNCS 2011. s. 80-96.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  64. Udgivet

    Time for statistical model checking of real-time systems. / David, A. ; Larsen, Kim Guldstrand ; Mikucionis, Marius ; Legay, A. ; Wang, Z..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6806 LNCS 2011. s. 349-355.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  65. Udgivet

    Timed automata can always be made implementable. / Bouyer, P. ; Markey, N. ; Sankur, O. ; Larsen, Kim Guldstrand ; Thrane, C..

    I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6901 LNCS 2011. s. 76-91.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  66. Udgivet

    Mixtures of truncated basis functions. / Langseth, Helge ; Nielsen, Thomas Dyhre ; Salmerón, Antonio ; Rumí, Rafael.

    I: International Journal of Approximate Reasoning, Vol. 53, Nr. 2, 02.2011, s. 212--227.

    Publikation: Forskning - peer review › Tidsskriftartikel

  67. Udgivet

    Refactoring Real-Time Java Profiles. / Søndergaard, Hans ; Thomsen, Bent ; Ravn, Anders Peter ; Hansen, Rene Rydhof ; Bøgholm, Thomas.

    I: International Symposium on Object-Oriented Real-Time Distributed Computing, 28.03.2011, s. 109 - 116.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  68. Udgivet

    Bites of Lists - mapping and filtering sublists. / Nørmark, Kurt.

    2011. Paper presented at 4th European Lisp Symposium, Hamburg, Tyskland.

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  69. Udgivet

    A Local Information Passing Clustering Algorithm for Tagging Systems. / Zong, Yu ; Xu, Guandong ; Jin, Ping ; Dolog, Peter ; Jiang, Shan.

    I: Database Systems for Adanced Applications - 16th International Conference, DASFAA 2011, International Workshops: GDB, SIM3, FlashDB, SNSMW, DaMEN, DQIS, Proceedings. red. / Jianliang Xu ; Ge Yu ; Shuigeng Zhou ; Rainer Unland. Vol. 6637 Springer, 2011. s. 333-343 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  70. Udgivet

    Blended Interaction Spaces for Distributed Team Collaboration. / O'Hara, Kenton ; Kjeldskov, Jesper ; Paay, Jeni.

    I: ACM Transactions on Computer Human Interaction, Vol. 18, Nr. 1, 04.2011.

    Publikation: Forskning - peer review › Tidsskriftartikel

  71. Udgivet

    Incremental Compilation of Bayesian Networks Based on Maximal Prime Subgraphs. / Flores, M. Julia ; Gámez, Jose A. ; Olesen, Kristian G..

    I: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol. 19, Nr. 2, 04.2011, s. 155-191.

    Publikation: Forskning - peer review › Tidsskriftartikel

  72. Udgivet

    An Improved Contextual Advertising Matching Approach based on Wikipedia Knowledge. / Wu, Zongda ; Xu, Guandong ; Zhang, Yanchun ; Dolog, Peter ; Lu, Chenglang.

    I: Computer Journal, 01.06.2011.

    Publikation: Forskning - peer review › Tidsskriftartikel

  73. Udgivet

    From a logical angle. Some studies in A.N. Prior’s ideas on time, discourse, and metaphysics : Preface. / Øhrstrøm, Peter ; Hasle., Per F. V. ; Sandborg-Petersen, Ulrik.

    I: Synthese, 01.06.2011.

    Publikation: Forskning - peer review › Leder

  74. Udgivet

    Metrics for weighted transition systems : Axiomatization and complexity. / Larsen, Kim Guldstrand ; Fahrenberg, U. ; Thrane, C..

    I: Theoretical Computer Science, Vol. 412, Nr. 28, 01.06.2011, s. 3358-3369.

    Publikation: Forskning - peer review › Tidsskriftartikel

  75. Udgivet

    Quasimodo Year 3 Management Report.. / Nielsen, Brian ; Larsen, Kim Guldstrand.

    2011.

    Publikation: Forskning › Working paper

  76. Udgivet

    Time and knowledge : Some reflections on Prior’s analysis of the paradox of the prisoner. / Øhrstrøm, Peter ; Gram-Hansen, Lasse Burri ; Sandborg-Petersen, Ulrik.

    I: Synthese, 07.06.2011.

    Publikation: Forskning - peer review › Tidsskriftartikel

  77. Udgivet

    Prior’s defence of Hintikka’s theorem. A discussion of Prior’s ‘The logic of obligation and the obligations of the logician. / Øhrstrøm, Peter ; Zeller, Jörg ; Sandborg-Petersen, Ulrik.

    I: Synthese, 08.06.2011.

    Publikation: Forskning - peer review › Tidsskriftartikel

  78. Udgivet

    3XL : Supporting Efficient Operations on Very Large OWL Lite Triple-stores. / Liu, Xiufeng ; Thomsen, Christian ; Pedersen, Torben Bach.

    I: Information Systems, Vol. 36, Nr. 4, 06.2011, s. 765-781.

    Publikation: Forskning - peer review › Tidsskriftartikel

  79. Udgivet

    Probabilistic results for a mobile service scenario. / Møller, Jesper ; Yiu, Man Lung.

    I: Advances in Applied Probability, Vol. 43, Nr. 2, 06.2011, s. 322-334.

    Publikation: Forskning - peer review › Tidsskriftartikel

  80. Udgivet

    Robust and Fault-Tolerant Linear Parameter-Varying Control of Wind Turbines. / Sloth, Christoffer ; Esbensen, Thomas ; Stoustrup, Jakob.

    I: Mechatronics, Vol. 21, Nr. 4, 06.2011, s. 645-659.

    Publikation: Forskning - peer review › Tidsskriftartikel

  81. Udgivet

    Web Mining and Social Networking : Techniques and Applications. / Xu, Guandong ; Zhang, Yanchun ; Li, Lin.

    New York : Springer Science+Business Media B.V., 2011. 201 s. (Web Information Systems Engineering and Internet Technologies Book Series).

    Publikation: Forskning › Bog

  82. Udgivet

    The ETLMR MapReduce-based ETL Framework. / Xiufeng, Liu ; Thomsen, Christian ; Pedersen, Torben Bach.

    2011.

    Publikation: Forskning - peer review › Poster

  83. Udgivet

    Constraint Markov chains. / Caillaud, B. ; Delahaye, B. ; Larsen, Kim Guldstrand ; Legay, A. ; Pedersen, M.L. ; Wa̧sowski, A..

    I: Theoretical Computer Science, Vol. 412, Nr. 34, 01.08.2011, s. 4373-4404.

    Publikation: Forskning - peer review › Tidsskriftartikel

  84. Udgivet

    ETLMR: A Highly Scalable Dimensional ETL Framework based on MapReduce. / Xiufeng, Liu ; Thomsen, Christian ; Pedersen, Torben Bach.

    I: DB Tech Report DBTR 29. 2011.

    Publikation: Forskning › Bidrag til rapport

  85. Udgivet

    Recommending Open Linked Data in Creativity Sessions using Web Portals with Collaborative Real Time Environment. / Dolog, Peter ; Durao, Frederico ; Jahn, Karsten ; Lin, Yujian ; Peitersen, Dennis Kjærsgaard.

    I: Journal of Universal Computer Science, Vol. 17, Nr. 0948-695x, 01.08.2011, s. 1690-1709.

    Publikation: Forskning - peer review › Tidsskriftartikel

  86. Udgivet

    SemRec: A Semantic Enhancement Framework for Tag Based Recommendation. / Xu, Guandong ; Gu, Yanhui ; Dolog, Peter ; Zhang, Yanchun ; Kitsuregawa, Masaru.

    I: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. red. / Wolfram Burgard ; Dan Roth. AAAI Press, 2011.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  87. Udgivet

    A Web Support System for Submission and Handling of Programming Assignments. / Nørmark, Kurt.

    I: Proceedings of the international conference on E-learning and the knowledge society. Bucharest, Romania : ASE Publishing House, 2011. s. 159.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  88. Udgivet

    Message from the Chairs. / Ravn, Anders Peter ; Wellings, Andy.

    I: Proceedings of the 9th The International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, 2011.

    Publikation: Forskning › Forord/efterskrift

  89. Udgivet

    Verification of Continuous Dynamical Systems by Timed Automata. / Sloth, Christoffer ; Wisniewski, Rafael.

    I: Formal Methods in System Design, Vol. 39, Nr. 1, 08.2011, s. 47–82.

    Publikation: Forskning - peer review › Tidsskriftartikel

  90. Udgivet

    On Kernel Information Propagation for Tag Clustering in Social Annotation Systems. / Xu, Guandong ; Zong, Yu ; Pan, Rong ; Dolog, Peter ; Jin, Ping.

    I: Knowlege-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011. red. / Andreas König ; Andreas Dengel ; Knut Hinkelmann ; Koichi Kise ; Robert J. Howlett ; Lakhmi C. Jain. Vol. 6882 Springer, 2011. s. 505-514 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  91. Udgivet

    Quantitative analysis of real-time systems using priced timed automata. / Bouyer, P. ; Markey, N. ; Fahrenberg, U. ; Larsen, Kim Guldstrand.

    I: Communications of the A C M, Vol. 54, Nr. 9, 01.09.2011, s. 78-87.

    Publikation: Forskning - peer review › Tidsskriftartikel

  92. Udgivet

    ETLMR: A Highly Scalable Dimensional ETL Framework Based on MapReduce. / Liu, Xiufeng ; Thomsen, Christian ; Pedersen, Torben Bach.

    I: Proc. of Dawak. Vol. 6862 Springer Publishing Company, 2011. s. 96-111.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  93. Udgivet

    Quasimodo Final Report. / Nielsen, Brian ; Larsen, Kim Guldstrand.

    2011.

    Publikation: Forskning › Working paper

  94. Udgivet

    Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness. / Kulik, Lars (Redaktør) ; Guting, Ralf Hartmut (Redaktør) ; Lu, Hua (Redaktør).

    Association for Computing Machinery, 2011.

    Publikation: Forskning - peer review › Antologi

  95. Udgivet

    A Hardware Abstraction Layer in Java. / Schoeberl, Martin ; Korsholm, Stephan ; Kalibera, Tomas ; Ravn, Anders Peter.

    I: ACM Transactions on Embedded Computing Systems, Vol. 10, Nr. 4, 11.2011.

    Publikation: Forskning - peer review › Tidsskriftartikel

  96. Udgivet

    Spooning in the Kitchen. / Paay, Jeni ; Kjeldskov, Jesper ; Skov, Mikael B. ; O'Hara, Kenton.

    I: Proceedings of Workshop on The Body In Design. red. / Lian Loke ; Toni Robertson. University of Technology, Sydney, 2011.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  97. Udgivet

    Supporting Young Children's Communication with Adult Relatives Across Time Zones. / Vutborg, Rene ; Kjeldskov, Jesper ; Paay, Jeni ; Vetere, Frank ; Pedell, Sonja.

    I: Proceedings of OzCHI 2011, Canberra, 28 November - 2 December 2011. Association for Computing Machinery, 2011.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  98. Udgivet

    MANAGING UNCERTAINTY AND CONFLICT IN IT PROJECT PORTFOLIO MANAGEMENT. / Pedersen, Keld ; Agger Nielsen, Jeppe.

    I: Journal of Information Technology Case and Application Research, Vol. 13, Nr. 4, 12.2011, s. 51.

    Publikation: Forskning - peer review › Tidsskriftartikel

  99. Udgivet

    A Bayesian Concept Learning Approach to Crowdsourcing. / Viappiani, Paolo Renato ; Zilles, Sandra ; Hamilton, Howard J. ; Boutilier, Craiug.

    2011. Paper presented at INTELLIGENT TECHNIQUES FOR WEB PERSONALIZATION & RECOMMENDER SYSTEMS (ITWP'11), Barcelona, Spanien.

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  100. Udgivet

    A rule-based tool for gradual granular data aggregation. / Iftikhar, Nadeem ; Pedersen, Torben Bach.

    I: DOLAP 2011, ACM 14th International Workshop on Data Warehousing and OLAP, Glasgow, United Kingdom, October 28, 2011, Proceedings. Association for Computing Machinery, 2011. s. 1-8.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  101. Udgivet

    A Vertical Approach to Knowledge Management: Codification and Personalization in Software Processes. / Jahn, Karsten ; Nielsen, Peter Axel.

    I: International Journal of Human Capital and Information Technology Professionals, Vol. 2, Nr. 2, 2011, s. 26-36.

    Publikation: Forskning - peer review › Tidsskriftartikel

  102. Udgivet

    Abstract Probabilistic Automata. / Delahaye, Benoit ; Katoen, Joost-Pieter ; Larsen, Kim Guldstrand ; Legay, Axel ; Pedersen, Mikkel Larsen ; Sher, Falak ; Wasowski, Andrzej.

    I: Lecture Notes in Computer Science, Vol. 6538, 2011, s. 324-339.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

Forrige 1 2 3 4 5 6 7 8 ...26 Næste

© Videnbasen, Aalborg Universitet · vbn@aub.aau.dk · Om VBN