• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2003

Time-Optimal Test Cases for Real-Time Systems

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Bind 2791. s. 234-245

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

To Store or Not to Store

Behrmann, G., Larsen, K. G. & Pelánek, R., 2003, Proceedings of CAV 2003: Lecture Notes in Computer Science. 2725 udg. s. 433-445

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

8 Citationer (Scopus)

Towards a Structurational Theory of Information Systems: a substantive case analysis

Rose, J. & Hackney, R. H., 2003, Hawaii International Conference on Systems Science, Hawaii..

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

Towards Reliable Integrated Services for Dependable Systems

Schiøler, H., Ravn, A. P., Izadi-Zamanabadi, R., Nielsen, K. M., Madsen, O. B. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on Real Time Lans in the Internet Age (RTLIA) Porto, Portugal, July 2003.

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

Translation of Network Configurations - A Case Study of System Implementation in a Hospital

Nilsson, A., Grissot, M. & Mathiassen, L., 2003, IFIP WG 8.6 Conference (2003).

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

12 Citationer (Scopus)

Undecidability of Weak Bisimilarity for PA-Processes

Srba, J., 2003, Proceedings of 6th International Conference on Developments in Language Theory (DLT'02): LNCS,. 2450 udg. Springer, s. 197-208

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

168 Downloads (Pure)

Unification & sharing in timed automata verification

David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2003, 10th International SPIN Workshop 2003. IEEE Computer Society Press, s. 225-229 (Lecture Notes in Computer Science; Nr. 2648).

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

Åben adgang
Fil
Data structures
Computer operating systems
Model checking
Managers
Pipelines

Unit Testing Using Design by Contract and Equivalence Partitions, Extreme Programming and Agile Processes in Software Engineering

Madsen, P., 2003, 4th International Conference, XP 2003, Genova, Italy May: Lecture Notes in Computer Science,. 2675 udg. IEEE Computer Society Press, s. 425-426

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

Unsupervised Feature Subset Selection

Søndberg-Madsen, N., Thomsen, C. & Pena, J., 2003, Proceedings on the Workshop on Probabilistic Graphical Models for Classification: (within ECML/PKDD 2003). s. 71-82 11 s.

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

Unsupervised learning

XML transformation in Scheme with LAML - a minimalistic approach

Bidragets oversatte titel: {XML} transformation in {Scheme} with {LAML} - a minimalistic approachNørmark, K., 2003, Association of Lisp Users. Association of Lisp Users

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

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

Unified Modeling Language
Location based services
Consumer electronics
Global positioning system
Railroad cars
229 Downloads (Pure)

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
Robotics

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

Orthogonal frequency division multiplexing
Decoding
Electric power utilization
Chemical analysis
582 Downloads (Pure)

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
Robots
Recovery
Fault detection
Risk assessment
Artificial intelligence

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

842 Citationer (Scopus)

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

Flavors
12 Citationer (Scopus)
296 Downloads (Pure)

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
Data warehouses
Location based services
Data structures

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

Color
Specifications
Stop watches
Color vision
Actuators
199 Downloads (Pure)

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
Bayesian networks
Differentiating circuits
Networks (circuits)
6 Citationer (Scopus)

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

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

Semantics
Industry
1 Citation (Scopus)

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

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

7 Citationer (Scopus)

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

Homotopy
Automata
Homology
High-dimensional
42 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

Processing
Metadata
73 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

Location based services
Consumer electronics
Global positioning system
Railroad cars
Communication
10 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

Global positioning system
Electronic equipment
Communication

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

169 Downloads (Pure)

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

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

27 Downloads (Pure)

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

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

20 Citationer (Scopus)

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

XML
Algebra
World Wide Web
Semantics
Engines

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

diagram
modeling
information system

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

Software engineering
Feedback
Industry

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

124 Downloads (Pure)

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
Bayesian networks
Experiments
42 Citationer (Scopus)

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

5 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

Process Algebra
Equivalence
Basic Algebra
Pushdown Automata
Preorder
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

Competitive intelligence
Industry
Data mining
Data warehouses
Processing

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

Human computer interaction
User interfaces

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

Incremental Observer Relative Data Extraction

Bukauskas, L. & Bøhlen, M. H., 2004, Key Technologies for Data Management: Lecture Notes in Computer Science. Howard Williams, Lachlan MacKinnon (red.). 3112-2004 udg. Springer, s. 165 - 177

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

Visualization
Visibility
Caves
Data storage equipment
Communication
54 Citationer (Scopus)
1101 Downloads (Pure)

Instant Data Analysis: Evaluating Usability in a Day

Kjeldskov, J., Skov, M. B. & Stage, J., 2004, Proceedings of NordiCHI 2004. Association for Computing Machinery, s. 233-240 8 s.

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

Fil
361 Downloads (Pure)

Integrating an UML tool in an Industrial Development Process: a Case Study

Knudsen, J., Gøttler, R., Jacobsen, M., Jensen, M. W., Rye-Andersen, J. G. & Ravn, A. P., 2004, UML'04 satellite workshop proceedings. Jürens, J., Fernandez, E. B., France, R. & Rumpe, B. (red.).

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

Åben adgang
Fil
33 Citationer (Scopus)

Integrating the web and the world: contextual trails on the move

Bidragets oversatte titel: Integration af web og verden: kontekstuelle spor i bevægelseHansen, F. A., Bouvin, N. O., Christensen, B. G., Grønbæk, K., Pedersen, T. B. & Gagach, J., 2004, Proceedings of the Fifteenth ACM International Conference on Hypertext and Hypermedia. Association for Computing Machinery, s. 98-107 10 s.

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

Integrating Usability Design and Evaluation: Training Software Developers in Usability Testing

Skov, M. B. & Stage, J., 2004, Proceedings of Workshop on Improving the Interplay between Usability Evaluation and User Interface Design.

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

18 Citationer (Scopus)

Integrating XML Data in the TARGIT OLAP System

Bidragets oversatte titel: Integration af XML data i TARGIT OLAP systemetPedersen, D., Pedersen, J. & Pedersen, T. B., 2004, Proceedings of the Twentieth International Conference on Data Engineering. IEEE Computer Society Press

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

XML
Query languages
Data structures
World Wide Web
117 Citationer (Scopus)
177 Downloads (Pure)

Is it Worth the Hassle? Exploring the Added Value of Evaluating the Usability of Context-Aware Mobile Systems in the Field

Kjeldskov, J., Skov, M. B., Als, B. S. & Høegh, R. T., 2004, Proceedings of Mobile HCI 2004: Lecture Notes in Computer Science (LNCS). Brewster, S. & Dunlop, M. (red.). 3160 udg. Springer, s. 61-73 13 s.

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

Fil