• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
2005

Spatio-Temporal Rule Mining: Issues and Techniques

Gidofalvi, G. & Pedersen, T. B., 2005, Proceedings of the Seventh International Conference on Data Warehousing and Knowledge Discovery. Springer, Bind 3589. s. 275-284

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

13 Citationer (Scopus)

Supporting Problem Identification in Usability Evaluations

Skov, M. B. & Stage, J., 2005, Proceedings of the Australian Computer-Human Interaction Conference 2005 (OzCHI’05). 10 s.

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

SynchroMate: A Phatic Technology for Mediating Intimacy

Gibbs, M., Vetere, F., Bunyan, M. & Howard, S., 2005, Proceedings of Designing User eXperience. Association for Computing Machinery

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

Synthesis of Optimal Strategies Using HyTech

Bouyer, P., Cassez, F., Larsen, K. G. & Fleury, E., 2005, Proceedings of the Workshop on Games in Design and Verification. Elsevier, s. 11-31 (Electronic Notes of Theoretical Computer Science; Nr. 1, Bind 119).

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

10 Citationer (Scopus)

Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study

Mikucionis, M., Larsen, K. G., Nielsen, B. & Skou, A., 2005, Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, s. 299-306 8 s.

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

107 Citationer (Scopus)

The Converged Appliance: "I Love It... But I Hate It"

Murphy, J., Kjeldskov, J., Howard, S., Shanks, G. & Hartnell-Young, E., 2005, Proceedings of OzCHI 2005. CHISIG, 10 s.

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

Fil
87 Downloads (Pure)

The Distributed-SDF Domain

Cuadrado, D. L., Ravn, A. P. & Koch, P., 2005, The Sixth Biennial Ptolemy Miniconference Proceedings. EECS Department, University of California

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

The Islands Approach to Nearest Neighbor Querying in Spatial Networks

Huang, X., Jensen, C. S. & Saltenis, S., 2005, Advances in Spatial and Temporal Databases: Proceedings of 9th International Symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005. Medeiros, C. B., Egenhofer, M. & Bertino, E. (red.). 3633 udg. IEEE Computer Society Press, s. 73-90 18 s. (Lecture Notes in Computer Science; Nr. 3633).

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

53 Citationer (Scopus)

The secret life of domestic objects

Choi, Y., Dave, B. & Howard, S., 2005, Proceedings of OZCHI 2005, Canberra, November 2005.. Association for Computing Machinery

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

The serendipity shuffle

Leong, T., Vetere, F. & Howard, S., 2005, Proceedings of OZCHI 2005, Canberra, November 2005. Association for Computing Machinery

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

The USE Project: Bridging the Gap between Usability Evaluation and Software Development

Als, B. S., Frøkjær, E., Hornbæk, K., Høegh, R. T., Jensen, J. J., Nørgaard, M., Skov, M. B., Stage, J. & Uldall-Espersen, T., 2005, Proceedings of the 5th Human Computer Interaction Research Symposium. Clemmensen, T. & Nielsen, L. (red.). Copenhagen Business School Press, s. 110-114 5 s. (Working paper (wp) / INF; Nr. 2005-012).

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

Toward Documentation of Program Evolution

Vestdam, T. & Nørmark, K., 2005, Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005. ICSM'05. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 505 - 514 10 s.

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

1 Citationer (Scopus)

Types for Access Control in a Calculus of Mobile Resources

Hüttel, H. & Kühnrich, M., 2005, Electronic Notes in Theoretical Computer Science: Proceedings of SecCo'05. 13 s.

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

Understanding and Managing Process Interaction in IS Development Projects

Bygstad, B. & Nielsen, P. A., 2005, Ikke angivet. Høgskolen i Agder

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

Understanding Situated Social Interactions in Public Places

Jeni, P. & Kjeldskov, J., 2005, Proceedings of Human-Computer Interaction - INTERACT 2005: IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Costabile, M. F. & Paternò, F. (red.). IEEE Computer Society Press, s. 496- (Lecture Notes in Computer Science; Nr. 3585).

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

Fil
2 Citationer (Scopus)
140 Downloads (Pure)

Using the Lock Manager to Choose Timestamps

Lomet, D., Snodgrass, R. T. & Jensen, C. S., 2005, Proceedings of the Nineth International Database Engineering and Applications Symposium. s. 357-368

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

3 Citationer (Scopus)

Using UPPAAL to Analyze an MPEG-2 Algorithm

Cambronero, M. E., Ravn, A. P. & Valero, V., 2005, Proceedings of the VII Workshop Brasileiro de Tempo Real. s. 73-82 6 s.

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

2004

A Framework for Conceptual Modeling of Geographic Data Quality

Friis-Christensen, A., Christensen, J. V. & Jensen, C. S., 2004, Proceedings of the Eleventh International Symposium on Spatial Data Handling. Springer, s. 605-616

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

A methodology for acquiring qualitative knowledge for probabilistic graphical models

Kjærulff, U. B. & Madsen, A. L., 2004, Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. s. 143-150

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

Fil
234 Downloads (Pure)

An Approach to Quality Estimation in Model-Based Development

Holmegaard, J. P., Koch, P. & Ravn, A. P., 2004, IProceedings of Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2004): TUCS General Publication. 29 udg. Turku Centre for Computer Science, s. 81-92

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

Applications of Probabilistic Graphical Models to Diagnosis and Control of Autonomous Vehicles

Madsen, A. L., Kjærulff, U. B., Kalwa, J., Perrier, M. & Sotelo, M. A., 2004, The Second Bayesian Modeling Applications Workshop.

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

Åben adgang
Fil
598 Downloads (Pure)

A Software Development Process based on Test-Driven Development and Testing by Contract

Madsen, P., 2004, Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques NWPER'2004: TUCS General Publications. Koskimies, Kai and Lilius, Johan and Porres, Ivan and Østerbye, Kasper (red.). 34 udg. Turku Centre for Computer Science, s. 269

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

A Tutorial on UPPAAL

Behrmann, G., David, A. & Larsen, K. G., 2004, Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science (revised lectures). Marco Bernardo, Flavio Corradini (eds.) (red.). 3185 udg. Springer, s. 200-237

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

854 Citationer (Scopus)

Capturing Complex Multidimensional Data in Location-Based Data Warehouses

Timko, I. & Pedersen, T. B., 2004, 12th ACM International Workshop on Geographic Information Systems. Dieter Pfoser, Isabel F. Cruz, Marc Ronthaler (red.). Association for Computing Machinery, s. 147-156

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

Åben adgang
Fil
12 Citationer (Scopus)
300 Downloads (Pure)

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

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
220 Downloads (Pure)

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)

Conceptual Modeling of Time-Varying Information

Gregersen, H. & Jensen, C. S., 2004, Proceedings of the International Conference on Computing, Communications and Control Technologies. s. 248-255

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

Connectivity testing through model-checking

Godskesen, J. C., Nielsen, B. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Bind 3235. s. 167-184

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

1 Citationer (Scopus)

Designing a Drawing Tool for Children: Supporting Social Interaction and Communication

Skov, M. B., Andersen, B. L., Duhn, K., Garnæs, K. N., Grünberger, O., Kold, U., Mortensen, A. B. & Sørensen, J. A. L., 2004, Proceedings of the Australian Computer-Human Interaction Conference 2004 (OzCHI'04). <Forlag uden navn>

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

Directed homology

Fahrenberg, U., 2004, CONCUR 2003: CMCIM and GETCO. Hildebrandt, T., Kurz, A., Goubault, E. & Fahrenberg, U. (red.). s. 111-125

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

7 Citationer (Scopus)

Discovering Multidimensional Structure in Relational Data

Jensen, M. R., Holmgren, T. & Pedersen, T. B., 2004, Proceedings of the Sixth International Conference on Data Warehousing and Knowledge Discovery: Lecture Notes in Computer Science. Yahiko Kambayashi, Mukesh K. Mohania, and Wolfram Wöß (red.). 3181 udg. IEEE Computer Society Press, s. 138-148

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

42 Citationer (Scopus)

Efficient Tracking of Moving Objects with Precision Guarantees

Civilis, A., Jensen, C. S., Nenortaite, J. & Palalnis, S., 2004, Proceedings of the First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services. IEEE Computer Society Press, s. 164-173

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

74 Citationer (Scopus)

Enabling Routes as Context in Mobile Services

Brilingaite, A., Jensen, C. S. & Zokaite, N., 2004, Proceedings of the Twelfth ACM International Symposium on Advances in Geographic Information Systems. Association for Computing Machinery, s. 127-136

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

10 Citationer (Scopus)

Engaging stakeholders in construction and validation of Bayesian belief networks for groundwater protection

Henriksen, H. J., Rasmussen, P., Brandt, G., von Bülow, D. & Jensen, F. V., 2004, IFAC.

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

Envisioning Mobile Information Services: Combining User- and Technology-Centered Design

Kjeldskov, J. & Howard, S., 2004, Proceedings of APCHI 2004: Lecture Notes in Computer Science (LNCS). Springer, s. 180-190

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

Fil
192 Downloads (Pure)

Estimating Selectivity of Approximate String Queries Using Signatures

Mazeika, A., Srivastava, N., Koudas, M., Böhlen, M. & Mylov, P., 2004, IEEE ICDE'05, The 21st International Conference on Data Engineering.

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

Evaluating Computer Games for Children: Exploring Fun through the Concept of Flow

Skov, M. B., Gajos, M. & Thomsen, J. D., 2004, CD-Proceedings of the Australian Computer-Human Interaction Conference 2004 (OzCHI’04). <Forlag uden navn>

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

Evaluating Indexicality: The Importance of Understanding Place

Paay, J. & Kjeldskov, J., 2004, Proceedings of the Workshop on Improving the Interplay between Usability Evaluation and Interface Design: HCI Lab Technical Report. Hornbæk, K and Stage J (red.). 2004/2 udg. Department of Computer Science, Aalborg University, s. 16-19 4 s.

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

Åben adgang
Fil
29 Downloads (Pure)

Evaluating IT Systems for the Healthcare Domain: Longitudinal Usability Studies and Rapid Analysis Techniques

Kjeldskov, J., Skov, M. B. & Stage, J., 2004, Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium: HCI Lab Technical Report. Kjeldskov, J., Skov, M. B. & Stage, J. (red.). Department of Computer Science, Aalborg University, s. 9-12

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

Evaluating XML-Extended OLAP Queries Based on a Physical Algebra

Bidragets oversatte titel: Evaluering af XML-udvidede OLAP forespørgsler baseret på en fysisk algebraYin, X. & Pedersen, T. B., 2004, Proceedings of the seventh International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, s. 73-82

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

20 Citationer (Scopus)

Event-Based Activity Modeling

Bækgaard, L., 2004, ALOIS'04 - Action in Language, Organisation and Information Systems, Linköping, Sweden, return s[par] || par;}.function (par) { return s[par] || par;}.function (par) { return s[par] || par;}. 10 s.

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

Examining the Use of Usability Results in a Software Development Company

Høegh, R. T. & Stage, J., 2004, Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium. Kjeldskov, J. (red.). Department of Computer Science, Aalborg University, s. 41-44 (HCI-Lab Report; Nr. 2004-1).

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

Exploring Context-Awareness as Mean for Supporting Mobile Work at a Hospital Ward

Høegh, R. T. & Skov, M. B., 2004, CD-Proceedings of the 7th International Conference on Work with Computing Systems (WWCS 2004). <Forlag uden navn>

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

Featuring Multiple Local Optima to Assist the User in the Interpretation of Induced Bayesian Network Models.

Dalgaard, J., Pena, J. & Kocka, T., 2004, Proceedings of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004). s. 1683-1690

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

Åben adgang
Fil
127 Downloads (Pure)

Heuristic Evaluation and Mobile Usability: Bridging the Realism Gap

Po, S., Howard, S., Vetere, F. & Skov, M. B., 2004, Mobile Human-Computer Interaction - Mobile HCI 2004: LNCS. 3160 udg. <Forlag uden navn>, s. 49-60

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

42 Citationer (Scopus)

Highly Undecidable Questions for Process Algebras

Srba, J. & Jancar, P., 2004, Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). Kluwer Academic Publishers, s. 507-520

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

5 Citationer (Scopus)

How Is BI Used in Industry?: Report from a Knowledge Exchange Network

Pedersen, T. B., 2004, Proceedings of the Sixth International Conference on Data Warehousing and Knowledge Discovery: Lecture Notes in Computer Science. Yahiko Kambayashi, Mukesh K. Mohania, and Wolfram Wöß (red.). 3181 udg. IEEE Computer Society Press, s. 179-188

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

5 Citationer (Scopus)

Improving the Interplay between Usability Evaluation and User Interface Design

Hornbæk, K. & Stage, J., 2004, Proceedings of the Workshop on Improving the Interplay between Usability Evaluation and User Interface Design, NordiCHI 2004. Stage, J. & Hornbæk, K. (red.). Department of Computer Science, Aalborg University, s. 1-4 (HCI-Lab Report; Nr. 2004-2).

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

Incremental Compilation of Bayesian Networks in Practice

Flores, J., Gamez, J. A. & Olesen, K. G., 2004, Intelligent Systems Design and Applications (ISDA 2004). <Forlag uden navn>

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