• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

11 Citationer (Scopus)

A heuristic-based approach for planning federated SPARQL queries

Montoya, G., Vidal, M. E. & Acosta, M., 1 dec. 2012, I : CEUR Workshop Proceedings. 905, 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Engines
Planning
Information management
Semantics
Bandwidth
2 Citationer (Scopus)

A Heuristic Method for Diagnosing Multiple Diseases in Complex Medical Domains Modelled by Causal Probabilistic Networks

Olesen, K. G. & Andreassen, S., 1996, Medical Informatics Europe'96. Brender, J., Christensen, J. P., Scherrer, J-R. & McNair, P. (red.). IOS Press, s. 614-618 (Studies in Health Technology and Informatics, Bind 34).

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

1 Citation (Scopus)
417 Downloads (Pure)

A Hierarchical Model for Continuous Gesture Recognition Using Kinect

Jensen, S. K., Moesgaard, C., Nielsen, C. S. & Viesmose, S. L., 2013, Twelfth Scandinavian Conference on Artificial Intelligence. Jaeger, M., Nielsen, T. D. & Viappiani, P. (red.). IOS Press, Bind 257. s. 145-154 (Frontiers in Artificial Intelligence and Applications, Bind 257).

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

Fil

A Highly Available Grid Metadata Catalog

Jensen, H. T. & Kleist, J., 2009, I : Advanced Information Networking and Applications. s. 419-426

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

HTTP
Metadata
Access control
Data structures
Synchronization
10 Citationer (Scopus)

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Zhao, H., Zhan, N., Kapur, D. & Larsen, K. G., 2012, FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Bind 7436. s. 471-485 (Lecture Notes in Computer Science).

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

24 Citationer (Scopus)

A Hybrid Approach To Web Usage Mining

Jespersen, S., Thorhauge, J. & Pedersen, T. B., 2002, Aalborg: Department of Computer Science, Aalborg University. 19 s. (Technical Report / Department of Computer Science; Nr. R-02-5002).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

24 Citationer (Scopus)

A Hybrid Approach To Web Usage Mining

Jespersen, S., Thorhauge, J. & Pedersen, T. B., 2002, Proceedings of the Fourth International Conference on Data Warehousing and Knowledge Discovery: Lecture notes in computer science. Kambayashi, Yahiko (ed.) : Winiwater, Werner (ed.) : Arikawa, Masatoshi (ed.) (red.). 2454 udg. IEEE Computer Society Press, s. 73-82

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

3 Citationer (Scopus)

A hybrid procedure for efficient link dimensioning

Schmidt, R. D. O., Sadre, R., Sperotto, A., Van Den Berg, H. & Pras, A., 4 jul. 2014, I : Computer Networks. 67, s. 252-269 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Hyperstructure Programming Environment for Clos

Nørmark, K., 1991, Technology of Object-Oriented Languages and Systems. Bézivin, Jean : Meyer, Bertrand (red.). Prentice-Hall, s. 127-140

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

64 Downloads (Pure)

A Java Toolbox for Analysis of MassIve Data STreams using Probabilistic Graphical Models

Masegosa, A., Martinez, A. M., Ramos-López, D., Langseth, H., Nielsen, T. D., Salmerón, A., Cabanas, R. & Madsen, A. L., 2016.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterForskningpeer review

Fil
9 Citationer (Scopus)

A Journey from IFC Files to Indoor Navigation

Svendstrup Boysen, M., de Haas, C., Lu, H. & Xie, X., 2014, Web and Wireless Geographical Information Systems - 13th International Symposium, W2GIS 2014. Springer, Bind 8470. s. 148-165 18 s. (Lecture Notes in Computer Science).

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

Akkreditering koster dyrt i bureaukrati

Thomsen, L. L. & Andersen, O., 7 sep. 2012, I : Ingenioeren. 1 s.

Publikation: Bidrag til tidsskriftBidrag til avis - KronikFormidling

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor i informationsteknologi

Studienævn for Datalogi, Aalborg Universitet, 2011, 30 s.

Publikation: Bog/antologi/afhandling/rapportRapportRådgivning

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor- og kandidatuddannelsen i informatik

Studienævn for Datalogi, Aalborg Universitet, 2011, 38 s.

Publikation: Bog/antologi/afhandling/rapportRapportRådgivning

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor i datalogi, Kandidat i datalogi

Studienævn for Datalogi, Aalborg Universitet, 2011, 41 s.

Publikation: Bog/antologi/afhandling/rapportRapportRådgivning

Akkrediteringsrapport for de eksisterende uddannelser: Kandidat i datateknik

Studienævn for Datalogi, Aalborg Universitet, 2011, 32 s.

Publikation: Bog/antologi/afhandling/rapportRapportRådgivning

A Kleene Theorem for Lindenmayerian Algebraic Power Series

Esik, Z. & Kuich, W., 2000, I : Journal of Automata, Languages and Combinatorics. 5, 2, s. 109-122

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Knowledge Acquisition Tool for Bayesian-Network Troubleshooters

Skaanning, C., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Morgan Kaufmann, s. 549-557

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

329 Downloads (Pure)

A latent model for collaborative filtering

Langseth, H. & Nielsen, T. D., 2009, Aalborg Universitet: Department of Computer Science, Aalborg University, 24 s.

Publikation: Working paperForskning

Åben adgang
Fil
Collaborative filtering
Recommender systems
30 Citationer (Scopus)
904 Downloads (Pure)

A latent model for collaborative filtering

Langseth, H. & Nielsen, T. D., jun. 2012, I : International Journal of Approximate Reasoning. 53, 4, s. 447–466 20 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
Collaborative filtering
Collaborative Filtering
Recommender systems
Recommender Systems
Dimensionality Reduction
20 Downloads (Pure)

A Lens for Evaluating Genetic Information Governance Models: Balancing Equity, Efficiency and Sustainability

Skorve, E., Vassilakopoulou, P., Aanestad, M. & Grünfeld, T., 2017, Informatics for Health: Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & Scott, P. J. (red.). IOS Press, s. 298-302 (Studies in Health Technology and Informatics, Bind 235).

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

Åben adgang
Fil
5 Citationer (Scopus)
529 Downloads (Pure)

Alert Systems for production Plants: A Methodology Based on Conflict Analysis

Nielsen, T. D. & Jensen, F. V., 2005, Proceedings of the Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. IEEE Computer Society Press, s. 76-87 (Lecture Notes in Computer Science; Nr. 3571).

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

Åben adgang
Fil
Fault detection
Power plants
Coal
Oils

Algebra-Based Optimization of XML-Extended OLAP Queries

Yin, X. & Pedersen, T. B., 2006, Proceedings of the Thirteenth International Conference on Management of Data. Lakshmanan, L. V. S., Roy, P. & Tung, A. K. H. (red.). McGraw-Hill, s. 197-200 4 s.

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

XML
Algebra

Algebra-Based Optimization of XML-Extended OLAP Queries

Yin, X. & Pedersen, T. B., 2006, Aalborg: Aalborg Universitetsforlag. 52 s. (DB Tech Reports; Nr. DBTR-17).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

XML
Algebra
Engines
World Wide Web
Semantics
16 Citationer (Scopus)

Algebras for Hazard Detection

Esik, Z., Brzozowski, J. & Iland, Y., 2001, 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland. IEEE Computer Society Press, s. 3-12

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

6 Citationer (Scopus)

Algorithm-data driven optimization of adaptive communication networks

He, M., Kalmbach, P., Blenk, A., Kellerer, W. & Schmid, S., 21 nov. 2017, 2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE, 8117592

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

Telecommunication networks
Learning systems
Learning algorithms
Resource allocation
Labels
1 Citation (Scopus)
297 Downloads (Pure)

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

Sloth, C. & Wisniewski, R., 2011, I : I F A C Workshop Series. s. 4546-4551 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Lyapunov functions
Linear systems
Dynamical systems
Trajectories
48 Citationer (Scopus)

Algorithmic Issues in Modeling Motion

Agarwal, P. K., Guibas, L. J., Edelsbrunner, H., Erickson, J., Isard, M., Har-Peled, S., Hershberger, J., Jensen, C. S., Kavraki, L. E., Koehl, P., Lin, M., Manocha, D., Metaxas, D., Mirtich, B., Mount, D., Muthukrishnan, S., Pai, D. K., Sacks, E., Snoeyink, J., Suri, S. & 1 flere, Wolfson, O., 2003, I : ACM Computing Surveys. 34, 4, s. 550-572

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Algorithmic Strategies for Adapting 802.11 Location Fingerprinting to Environmental Changes

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2010, Abstract Volume of the 2010 International Conference on Indoor Positioning and Indoor Navigation, Zurich, Switzerland, September 15-17, 2010. IEEE Press, s. 1-10 10 s.

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

9 Citationer (Scopus)

Aliasing Models for Mobile Objects

Huttel, H., Kleist, J., Nestmann, U. & Merro, M., 2002, I : Information and Computation. 175, 1, s. 3-33

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

5 Citationer (Scopus)

Aliasing Models for Object Migration

Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Euro-Par'99 - Parallel Processing: 5th International Euro-Par Conference. Amestoy, P., Berger, P., Daydé, M., Duff, I., Fraysee, V., Giraud, L. & Ruiz, D. (red.). 1685 udg. Springer, s. 1353-1368 (Lecture Notes in Computer Science).

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

189 Downloads (Pure)

ALICE - ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2007. 1 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterForskning

Åben adgang
Fil
Information management
Gluing
Middleware
Processing

ALICE-ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2008, I : Journal of Physics - Conference Series. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

connectors
resources
data management
grids
modules

A Lisp Abstracted Markup Language for WWW Authoring

Nørmark, K., 1998

Publikation: Bog/antologi/afhandling/rapportBogForskning

142 Citationer (Scopus)

Allegro Version 2

Ingolfsdottir, A., Gudbjartsson, D. F., Thorvaldsson, T., Kong, A. & Gunnarsson, G., 2005, I : Nature Genetics. 37, 10, s. 1015-1016

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

All Roads Lead To Rome: New Search Methods for Optimal

Ottosen, T. J. & Vomlel, J., 2010, Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM-2010). Myllymäki, P., Roos, T. & Jaakkola, T. (red.). Helsinki: HIIT Publications, Bind 2010-2.

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

Triangulation
Lead
Bayesian networks
5 Citationer (Scopus)

All roads lead to Rome: New search methods for the optimal triangulation problem

Ottosen, T. J. & Vomlel, J., 2012, I : International Journal of Approximate Reasoning. 53, 9, s. 1350-1366

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Almost Optimal Strategies in One Clock Priced Timed Automata

Bouyer, P., Larsen, K. G., Markey, N. & Rasmussen, J. I., 2007, Logical Foundations of Computer Science. Springer, Bind 4514. (Lecture Notes in Computer Science; Nr. 4514).

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

10 Citationer (Scopus)

A Local Constant Factor MDS Approximation for Bounded Genus Graphs

Amiri, S., Schmid, S. & Siebertz, S., 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 227-233 7 s.

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

2 Citationer (Scopus)

A Local Information Passing Clustering Algorithm for Tagging Systems

Zong, Y., Xu, G., Jin, P., Dolog, P. & Jiang, S., 1 apr. 2011, I : Lecture Notes in Computer Science. 6637, s. 333-343 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

40 Citationer (Scopus)
429 Downloads (Pure)

A Location Privacy Aware Friend Locator

Siksnys, L., Thomsen, J. R., Saltenis, S., Yiu, M. L. & Andersen, O., 2009, I : Lecture Notes in Computer Science. 5644, s. 405-410 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Location Privacy
Location based services
Mobile phones
Proximity
Global positioning system
1 Citation (Scopus)

A logical approach to security in the context of Ambient Calculus

Mardare, R. I. & Priami, C., 2004, I : Electronical Notes in Theoretical Computer Science. 99, s. 3 29 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Computer science
Computer Science
Calculus
Electronics
Context
4 Citationer (Scopus)

A Logical Characterisation of Static Equivalence

Bidragets oversatte titel: En logisk karakterisation af statisk ækvivalensHüttel, H. & Pedersen, M. D., 2007, Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII). Fiore, M. (red.). Pergamon Press, s. 139-159 (Electronic Notes in Theoretical Computer Science; Nr. 173).

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

A Logical Characterization of Robustness, Mutants and Species in Colonies of Synchronizing Agents

Mardare, R. I., Cavaliere, M. & Sedwards, S., 2008, I : International Journal of Foundations of Computer Science. 5, 19, s. 1199 1221 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

6 Citationer (Scopus)

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

Bauer, S. S., Juhl, L., Larsen, K. G., Srba, J. & Legay, A., 1 jan. 2012, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, s. 77-84 8 s.

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

Specifications
Computability and decidability
Model checking
Semantics
6 Citationer (Scopus)

A logic for inductive probabilistic reasoning

Jaeger, M., 2005, I : Synthese. 144, 2, s. 181-248

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

36 Citationer (Scopus)
313 Downloads (Pure)

A longitudinal review of Mobile HCI research Methods

Kjeldskov, J. & Paay, J., sep. 2012, Proceedings of Mobile HCI 2012. Association for Computing Machinery, s. 69-78

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

Fil
31 Citationer (Scopus)
481 Downloads (Pure)

A Longitudinal Study of Usability in Health Care: Does Time Heal?

Kjeldskov, J., Skov, M. B. & Stage, J., jun. 2010, I : International Journal of Medical Informatics. 79, 6, s. e135-e143

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Health Information Systems
Longitudinal Studies
Delivery of Health Care
Nurses
8 Citationer (Scopus)
578 Downloads (Pure)

A Longitudinal Study of Usability in Health Care - Does Time Heal?

Kjeldskov, J., Skov, M. B. & Stage, J., 2007, Information Technology in Health Care 2007: Proceedings of the 3rd International Conference on Information Technology in Health Care: Socio-technical Approaches. Westbrook, J. I., Coiera, E. W., Callen, J. L. & Aarts, J. (red.). IOS Press, s. 181-192 11 s.

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

Åben adgang
Fil
Health Information Systems
Longitudinal Studies
Nurses
Delivery of Health Care
3 Citationer (Scopus)

Alternation-Free Weighted Mu-Calculus: Decidability and Completeness

Larsen, K. G., Mardare, R. I. & Xue, B., 21 dec. 2015, I : Electronic Notes in Theoretical Computer Science. 319, s. 289-313 25 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Computability and decidability
μ-calculus
Alternation
Decidability
Completeness