Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2006

    Model Checking Timed Automata with Priorities using DBM Subtraction

    David, A., Larsen, K. G., Pettersson, P. & Håkansson, J., 2006, Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06). Asarin, E. & Bouyer, P. (eds.). Springer, p. 128-142 15 p. (Lecture Notes in Computer Science; No. 4202).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    22 Citations (Scopus)

  • Modeling perceived value of color in web sites

    Papachristos, E., Tselios, N. & Avouris, N., 2006, Advances in Artificial Intelligence - 4th Helenic Conference on AI, SETN 2006, Proceedings. Physica-Verlag, p. 567-570 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3955 LNAI).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

    Delzanno, G., Esparza, J. & Srba, J., 2006, Automated Technology for Verification and Analysis: Proceedings of the 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. IEEE Computer Society Press, p. 415-429 15 p. (Lecture Notes in Computer Science; No. 4218).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Multi-Dimensional Aggregation for Temporal Data

    Böhlen, M. H., Gamper, J. & Jensen, C. S., 2006, Proceedings of the Tenth International Conference on Extending Database Technology. Springer, p. 257-275 19 p. (Lecture Notes in Computer Science; No. 3896).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    55 Citations (Scopus)

  • Multiple k Nearest Neighbor Query Processing in Spatial Network Databases

    Xuegang, H., Jensen, C. S. & Saltenis, S., 2006, Advances in Databases and Information Systems: Proceedings of 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006. IEEE Computer Society Press, p. 266-281 16 p. (Lecture Notes in Computer Science; No. 4152).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    17 Citations (Scopus)

  • Music Warehouses: Challenges for the Next Generation of Music Search Engines

    Deliege, F. & Pedersen, T. B., 2006, Learning the Semantics of Audio Signals. Cano, P., Nurnberger, A., Stober, S. & Tzanetakis, G. (eds.). <Forlag uden navn>, p. 95-105 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    452 Downloads (Pure)

  • Negotiating Presence in Absence: Contact, Context and Content

    Howard, S., Kjeldskov, J., Skov, M. B., Garnæs, K. & Grunberger, O., 2006, Proceedings of the SIGCHI conference on Human Factors in computing systems. Association for Computing Machinery, p. 909-912 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    18 Citations (Scopus)
    484 Downloads (Pure)

  • Online Route Prediction for Automotive Applications

    Brillingaite, A. & Jensen, C. S., 2006, Proceedings of the Thirteenth World Congress & Exhibition on Intelligent Transport Systems and Services. 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)

  • On testing the missing at random assumption

    Jaeger, M., 2006, Machine Learning: ECML 2006: 17th European Conference on Machine Learning. Berlin, Germany, September 2006. Proceedings. p. 671-678 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    15 Citations (Scopus)

  • On the axiomatizability of priority

    Aceto, L., Chen, T., Fokkink, W. & Ingolfsdottir, A., 2006, Automata, Languages and Programming. p. 480-491

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)

  • Opting for Innovation in Mobile Applications

    Hosbond, J. H., Nielsen, P. A. & Aaen, I., 2006, Proceedings of IRIS29. Dittrich, Y. (ed.). IT University

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Pre-Aggregation with Probability Distributions

    Timko, I., Dyreson, C. E. & Pedersen, T. B., 2006, Data Warehousing and OLAP: Proceedings of the 9th ACM international workshop on Data warehousing and OLAP 2006,  Arlington, Virginia, USA. Association for Computing Machinery, p. 35-42 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)

  • Randomness as a resource for design

    Leong, T., Vetere, F. & Howard, S., 2006, Procedings of Designing Interactive Systems (DIS) 2006. Association for Computing Machinery, p. 132-139

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    27 Citations (Scopus)

  • Reverse Nearest Neighbors Search in Ad-hoc Subspaces

    Yiu, M. L. & Mamoulis, N., 2006, Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006. IEEE Computer Society Press, p. 76 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Roadmap for the ARC Grid Middleware

    Kleist, J., Eerola, P., Ekelöf, T., Ellert, M., Grønager, M., Renner Hansen, J., Haug, S., Konstantinov, A., Kónya, B., Ould-Saada, F., Smirnova, O., Szalai, F. & Wäänänen, A., 2006, Ikke angivet. Springer, Vol. 4699. p. 471-479 (Lecture Notes in Computer Science; No. 4699).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Robust B+ -Tree-Based Indexing of Moving Objects

    Jensen, C. S., Tiesyte, D. & Tradisauskas, N., 2006, Proceedings of the Seventh International Conference on Mobile Data Management. IEEE Computer Society Press, 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    20 Citations (Scopus)

  • Sandboxing in a Distributed Pi-Calculus

    Hüttel, H. & Kühnrich, M., 2006, WITS 2006. Gollmann, D. & Jürjens, J. (eds.). p. 114-128 15 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    379 Downloads (Pure)

  • Sensor Fusion using Dynamic Bayesian Networks in Livestock Production Buildings

    Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Int. Conf. on Computational Intelligence for Modelling Control and Automation, CIMCA'06. Mohammadian, M. (ed.). IEEE Computer Society Press, 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • 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

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 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, Vol. 32. p. 1243-1246

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Simple and Realistic Data Generation

    Houkjær, K., Torp, K. & Wind, R., 2006, VLDB 2006 - Proceedings of the 32nd International Conference on Very Large Data Bases. Association for Computing Machinery, p. 1243-1246 4 p. (VLDB 2006 - Proceedings of the 32nd International Conference on Very Large Data Bases).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    98 Citations (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, p. 66- 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    146 Citations (Scopus)

  • ST–ACTS: A Spatio-Temporal Activity Simulator

    Gidofalvi, G. & Pedersen, T. B., 2006, Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. Association for Computing Machinery, p. 155-162 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Storytelling in Projects: Transforming Project Plans into Stories

    Munk-Madsen, A. & Andersen, P. B., 2006, Proceedings of European Academy of Management Conference 2006. Strønen, F. H. (ed.). BI Norwegian School of Management

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • The AI&M procedure for learning from incomplete data

    Jaeger, M., 2006, Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI-06). Association for Uncertainty in Artificial Intelligence, p. 225-232 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • The COST Benchmark: Comparison and Evaluation of Spatio-Temporal Indexes

    Jensen, C. S., Tiesyte, D. & Tradisauskas, N., 2006, Proceedings of the Eleventh International Conference on Database Systems for Advanced Applications. Springer, p. 125-140 16 p. (Lecture Notes in Computer Science; No. 3882).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • The OLAP-XML Federation System

    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. (eds.). McGraw-Hill, p. 239-242 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • The USE Project: Experience with Usability Evaluation Techniques in Software Development Organizations

    Frøkjær, E., Hornbæk, K., Høegh, R. T., Jensen, J. J., Nørgaard, M., Skov, M. B. & Stage, J., 2006, Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium. p. 110-114

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Transactions Concurrency Control in Web Service Environment

    Alrifai, M., Dolog, P. & Nejdl, W., 2006, 4th European Conference on Web Services, 2006. ECOWS '06. IEEE Press, 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    31 Citations (Scopus)

  • Type extension trees: a unified framework for relational feature construction

    Jaeger, M., 2006, Proceedings of the International Workshop on Mining and Learning with Graphs: in conjunction with ECML/PKDD 2006. p. 49-60 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Undecidability Results for Bisimilarity on Prefix Rewrite Systems

    Jancar, P. & Srba, J., 2006, Foundations of Software Science and Computation Structures: Proceedings of the 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. IEEE Computer Society Press, p. 277-291 15 p. (Lecture Notes in Computer Science; No. 3921).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • UPPAAL 4.0

    David, A., Larsen, K. G., Behrmann, G., Håkansson, J., Pettersson, P., Yi, W. & Hendriks, M., 2006, Third International Conference on the Quantitative Evaluation of SysTems (QEST) 2006. IEEE Computer Society Press, p. 125-126 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Value expressiveness

    Smith, S., Johnston, R., Howard, S. & Vetere, F., 2006, Proceedings on European Conference on Information Systems, ECIS 2006. Association for Informations Systems, AIS

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

    Srba, J., 2006, Computer Science Logic: Proceedings of 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. IEEE Computer Society Press, p. 89-103 15 p. (Lecture Notes in Computer Science; No. 4207).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    14 Citations (Scopus)

  • Web Services for the Management of Persistent Online Game Factions

    Deliege, F. & Zimanyi, E., 2006, 2nd Int. Conf. on Web Information Systems and Technologies. Institute for Systems and Technologies of Information, Control and Communication, p. 441-446 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    478 Downloads (Pure)

  • When Attitudes Don't Predict Behavior: A Study of Attitude Strength

    Bhattacherjee, A. & Sanford, C. C., 2006, Proceedings of the Twelfth Americas Conference on Information Systems. Universidad Autónoma Metropolitana, 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • ZoneLib: A simulink library for modeling zone divided climate dynamics

    Jessen, J. J. & Schiøler, H., 2006, 19th International Conference on Computer Applications in Industry and Engineering, CAINE 2006. p. 199-204 6 p. (19th International Conference on Computer Applications in Industry and Engineering, CAINE 2006).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 2005

    A category of higher-dimensional automata

    Fahrenberg, U., 2005, Foundations of Software Science and Computation Structures. Sassone, V. (ed.). IEEE Computer Society Press, p. 187-201 (Lecture Notes in Computer Science; No. 3441).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    21 Citations (Scopus)

  • Accurate electricity load forecasting with artificial neural networks

    Ortiz-Arroyo, D., Skov, M. K. & Huynh, Q., 1 Dec 2005, Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet. Vol. 1. p. 94-99 6 p. 1631248

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    20 Citations (Scopus)

  • Advanced Tracking of Vehicles

    Jensen, C. S., Li, K-J., Pakalnis, S. & Saltenis, S., 2005, Proceedings of the Fifth European Congress and Exhibition on Intelligent Transport Systems. 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A framework for job management in the NorduGrid ARC middleware

    Jensen, H. T., Kleist, J. & Ryge Leth, J., 2005, Advances in Grid Computing - EGC 2005. Sloot, P. M. A., Hoekstra, A. G., Priol, T., Reinefeld, A. & Bubak, M. (eds.). IEEE Computer Society Press, p. 861-871 (Lecture Notes in Computer Science; No. 3470).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 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, p. 76-87 (Lecture Notes in Computer Science; No. 3571).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    6 Citations (Scopus)
    761 Downloads (Pure)

  • An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol

    Diaz, G., Larsen, K. G., Pardo, J. & Valero, V., 2005, Proceedings of The 20th Annual ACM Symposium on Applied Computing, E-Coomerce Track. New Mexico Institute of Mining and Technology, Socorro, NM

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A Relevance-Extended Multi-dimensional Model for a Data Warehouse Contextualized with Documents

    Perez, J. M., Pedersen, T. B., Berlanga, R. & Aramburu, M. J., 2005, Proceedings of the ACM Eighth International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    28 Citations (Scopus)

  • A review of research methods in children's technology design

    Jensen, J. J. & Skov, M. B., 1 Dec 2005, Proceedings of: Interaction Design and Children 2005, IDC 2005. p. 80-87 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    82 Citations (Scopus)

  • A survey of open source tools for business intelligence

    Thomsen, C. & Pedersen, T. B., 2005, Data Warehousing and Knowledge Discovery, Proceedings. Springer, p. 74-84

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    23 Citations (Scopus)

  • Augmenting the City: The Design of a Context-Aware Mobile Web Site

    Kjeldskov, J. & Paay, J., 2005, Designing for User eXperience, DUX 2005. Association for Computing Machinery, 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    63 Downloads (Pure)

  • Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness

    Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Bisimilarity is not finitely based over BPA with interrupt

    Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2005, Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005. Luiz Fiadeiro, J., Harman, N., Roggenbach, M. & Rutten, J. (eds.). IEEE Computer Society Press, p. 54-68 (Lecture Notes in Computer Science; No. 3629).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Broadening Stakeholder involvement in UCD: Designers’ perspectives on child-centred design

    Pardo, S., Vetere, F. & Howard, S., 2005, Proceedings of OZCHI 2005. Association for Computing Machinery

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review