• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding
54 Citationer (Scopus)

Using Conditional Random Fields to Extract Contexts and Answers of Questions from Online Forums

Ding, S., Cong, G., Lin, C-Y. & Zhu, X., 2008, Proceedings of ACL-08: HLT. Moore, J. D., Teufel, S., Allan, J. & Furui, S. (red.). Association for Computational Linguistics, s. 710-718 9 s.

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

151 Downloads (Pure)

Using Cultural Probes to Explore Mediated Intimacy

Kjeldskov, J., Gibbs, M., Vetere, F., Howard, S., Pedell, S., Mecoles, K. & Bunyan, M., 2004, Proceedings of OzCHI 2004. CHISIG

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

Fil
3 Citationer (Scopus)

Using Fuzzy Lists for Playlist Management

Deliege, F. & Pedersen, T. B., 2008, Advances in Multimedia Modeling: 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008. Proceedings. Satoh, S., Nack, F. & Etoh, M. (red.). Springer, s. 198-209 (Lecture Notes in Computer Science; Nr. 4903).

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

Recommender systems
Algebra
Concretes
16 Citationer (Scopus)

Using Internet Technology within the Organization: a Structural Analysis of Intranets

Scheepers, R. & Damsgaard, J., 1997, Group'97 : Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work "The Integration Challenge". Hayne, C. S. : Prinz, W. (eds.) (red.). Association for Computing Machinery, s. 9-18

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

Using Intranet Technology to Foster Organizational Knowledge Creation

Damsgaard, J. & Scheepers, R., 2001, Proceedings of the 9th European Conference on Information Systems : Global Co-Operation in the New Millennium, Bled, Slovenia, June 2001.

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

Using Lisp as a Markup Language: the LAML Approach

Nørmark, K., 1999, European Lisp User Group Meeting. Franz Inc.

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

Using machine learning and object detection for signal-controlled intersections

Lahrmann, H. S., Eriksen, A. B., Taankvist, J. H., Hansen, M. F. & Larsen, K. G., 2018, ITS 2018 Conference Proceedings: Transport network operations. Copenhagen: ITS World, Bind 6. 10 s. EU-TP1618

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

Learning systems
Controllers
Travel time
Fuel consumption
Railroad cars
8 Citationer (Scopus)
113 Downloads (Pure)

Using Mobile Phones for Promoting Water Conservation

Pathmanathan, R., Pearce, J., Kjeldskov, J. & Smith, W., 2011, Proceedings of OzCHI 2011, Canberra, 28 November - 2 December 2011. Association for Computing Machinery, s. 243-252 10 s.

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

Fil
53 Citationer (Scopus)
162 Downloads (Pure)

Using Mobile Phones to Support Sustainability: A Field Study of Residential Electricity Consumption

Kjeldskov, J., Skov, M. B., Paay, J. & Pathmanathan, R., 2012, Proceedings of the ACM CHI 2012 Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 2347-2356

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

Fil

Using Nested Surfaces to Detect Structures in Databases

Mazeika, A., Böhlen, M. H. & Mylov, P., 2001, Proc. of the Int. Workshop on Visual Data Mining, Freiburg, Germany, September 2001.

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

Using ROBDDs for Inference in Bayesian Networks with Troubleshooting as an Example

Nielsen, T. D., Wuillemin, P-H., Jensen, F. V. & Kjærulff, U. B., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence: UAI '00. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Morgan Kaufmann, s. 426-435

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

Using Short Videos in an Introductory Programming Course

Bidragets oversatte titel: Brug af korte videoer i et introducerende programmeringskursusNørmark, K., 12 sep. 2014, International Conference on E-learning. University of La Laguna, Spain, s. 254 - 260 7 s.

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

2 Citationer (Scopus)

Using Smartwatch Inertial Sensors to Recognize and Distinguish Between Car Drivers and Passengers

Cano Hald, T., Junker, D. H., Mårtensson, M., Skov, M. & Raptis, D., 23 sep. 2018, Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. Association for Computing Machinery, s. 74-84 11 s.

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

Smartphones
Accelerometers
Application programs
Learning systems
Railroad cars
4 Citationer (Scopus)

Using Tag-Neighbors for Query Expansion in Medical Information Retrieval

Durao, F., Bayyapu, K. R., Xu, G., Lage, R. G. & Dolog, P., 2011, 2011 International Conference on Information Science and Applications (ICISA). IEEE Computer Society Press, 9 s.

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

1 Citation (Scopus)

Using T-Drive and BerlinMod in Parallel SECONDO for Performance Evaluation of Geospatial Big Data Processing

Ashfaq, M., Tahir, A., Orakzai, F. M., McArdle, G. & Bertolotto, M., 2017, Spatial Data Handling in Big Data Era. Zhou, C., Su, F., Harvey, F. & Xu, J. (red.). Springer, s. 3-19 16 s. (Advances in Geographic Information Science).

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

3 Citationer (Scopus)

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

Managers
Semantics

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

Model checking
Parallel algorithms
1 Citation (Scopus)

Using Weighted Graphs for Computationally Efficient WLAN Location Determination

Thomsen, B. & Hansen, R., 2007, Proceedings of the 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking&Services (MobiQuitous. IEEE Computer Society Press, Bind 00. s. 1-5

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

Wireless local area networks (WLAN)
Mobile devices
Location based services
Computational efficiency
Global positioning system
4 Citationer (Scopus)

Utilizing Device-level Demand Forecasting for Flexibility Markets

Neupane, B., Pedersen, T. B. & Thiesson, B., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 108-118 11 s.

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

Demand forecasting
Demand response
Forecast accuracy
Uncertainty
Household
18 Citationer (Scopus)

Utilizing partial policies for identifying equivalence of behavioral models

Zeng, Y., Doshi, P., Pan, Y., Mao, H., Chandrasekaran, M. & Luo, J., 2011, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. Burgard, W. & Roth, D. (red.). AAAI Press, s. 1083-1088 6 s.

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

Decision making

UX in Agile before and during development

Larusdottir, M., Nielsen, L., Bruun, A., Larsen, L. B., Nielsen, P. A. & Persson, J. S., 29 sep. 2018, NordiCHI '18: Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 984-987 4 s.

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

Project management
Software engineering
Human computer interaction

UX Requirements to Public Systems for All: Formalisation or Innovation

Billestrup, J., Bruun, A. & Stage, J., 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC. 13 International Conference on Human-Computer Interaction. Beckmann, C. & Gross, T. (red.). University of Bamberg Press, s. 407-427 (Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friederich-Universität Bamberg, Bind 22).

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

Åben adgang

Validating Timed Component Contracts

Le Guilly, T., Liu, S., Olsen, P., Ravn, A. P. & Skou, A. J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, s. 245-249

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

Testing
Software testing
Synchronization
3 Citationer (Scopus)

Validation, synthesis and optimization for cyber-physical systems

Larsen, K. G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer, Bind 10205 LNCS. s. 3-20 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10205 LNCS).

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

Acoustic waves
Cyber Physical System

Validation of Continuous-Time Markov Systems

Larsen, K. G., Baier, C. & Brinksma, E., 1999, Proceedings of PROBMIV'99, Probabilistic Methods in Verification.

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

Value creation in SaaS development

Aaen, I. & Gjerløff, N., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (red.). Springer, s. 258-271 14 s. (Lecture Notes in Business Information Processing, Bind 210).

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

Software-as-a-Service
Value creation
Business model
Software development
Innovation

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

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

5 Citationer (Scopus)
117 Downloads (Pure)

Value Positions in E-government strategies: Something is (not) changing in the state of Denmark

Persson, J. S., Reinwald, A. K., Skorve, E. & Nielsen, P. A., 5 jun. 2017, Proceedings of the 25th European Conference on Information Systems. The Association for Information Systems (AIS), s. 904-917 (Proceedings / European Conference on Information Systems (ECIS), Bind 2017).

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

Åben adgang
Fil
Denmark
electronic government
Values
information system
public administration
2 Citationer (Scopus)

Vector Space Models for the Classification of Short Messages on Social Network Services

Lage, R. G., Dolog, P. & Leginus, M., 2014, WEB INFORMATION SYSTEMS AND TECHNOLOGIES, WEBIST 2013. Krempels, K. H. & Stocker, A. (red.). Springer Publishing Company, Bind 189. s. 209-224 (Lecture Notes in Business Information Processing, Bind 189).

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

12 Citationer (Scopus)

Vehicle Routing With User-Generated Trajectory Data

Ceikute, V. & Jensen, C. S., jun. 2015, Proceedings of the Sixteenth IEEE International Conference on Mobile Data Management. IEEE, Bind 1. s. 14-23

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

Verbal and Artifact based Coordination

Andersen, P. B., Nielsen, M. & Carstensen, P., 2000, Proceedings of the Third International Workshop in Organizational Semiotics, University of Stafford, 4-6-00.

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

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009, Engineering Methods and Tools for Software Safety and Security: NATO Science for Peace and Security Series - D: Information and Communication Security. Broy, M., Sitou, W. & Hoare, T. (red.). IOS Press, Bind 22. 28 s. (NATO Science for Peace and Security Series - D: Information and Communication Security; Nr. 22).

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

Model checking
Real time systems
Scheduling
Controllers
1 Citation (Scopus)

Verification and controller synthesis for resource-constrained real-time systems: case study of an autonomous truck

Li, S. & Pettersson, P., 2010, 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Press, s. 1-8 8 s.

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

3 Citationer (Scopus)

Verification and Performance Analysis for Embedded Systems

Larsen, K. G., 2009, TASE 2009: Third IEEE International Symposium on Theoretical Aspects of Software Engineering. Wei-Ngan, C. & Shengchao, Q. (red.). IEEE Computer Society Press, Bind 3. s. 3-4 2 s. (TASE).

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

Real time systems
Embedded systems
Scheduling
Computer simulation
Testing

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

Larsen, K. G., 17 jul. 2014, PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, s. IS-9

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

7 Citationer (Scopus)

Verification and Performance Evaluation of Timed Game Strategies

David, A., Fang, H., Larsen, K. G. & Zhang, Z., 2014, Formal Modeling and Analysis of Timed Systems. Legay, A. & Bozga, M. (red.). Springer, Bind 8711. s. 100-114 15 s. (Lecture Notes in Computer Science).

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

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

Hüttel, H., Kühnrich, M. & Godskesen, J. C., 2009, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008). 229 udg. Elsevier, Bind 2. s. 77-93 16 s. (Electronic Notes in Theoretical Computer Science; Nr. 229, Bind 2).

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

Mobile ad hoc networks
Network protocols
Authentication
Open systems
Cryptography
16 Citationer (Scopus)

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Behrmann, G., Larsen, K. G., Andersen, H. R., Hulgaard, H. & Lind-Nielsen, J., 1999, Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Cleaveland, W. R. (ed.) (red.). 1579 udg. IEEE Computer Society Press, s. 163-177

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

17 Citationer (Scopus)

Verification of large state/event systems using compositionality and dependency analysis

Lind-Nielsen, J., Andersen, H. R., Behrmann, G., Hulgaard, H., Kristoffersen, K. & Larsen, K. G., 1998, Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, 28 March-4 April 1998, Lisbon, Portugal. Steffen, B. (red.). IEEE Computer Society Press, s. 201-216 (Lecture Notes in Computer Science, Bind 1384).

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

14 Citationer (Scopus)

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

Andersen, M., Larsen, H. G., Srba, J., Sørensen, M. & Taankvist, J. H., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Netherlands: Springer Publishing Company, Bind 7721. s. 69-81 13 s. (Lecture Notes in Computer Science).

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

Petri nets
Experiments

Verification of Real-Time Applications Using the Epsilon System

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), s. 41-52

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

6 Citationer (Scopus)

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

Bertolini, C., Liu, Z. & Srba, J., 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers. Weber, J. & Perseil, I. (red.). Netherlands: Springer Publishing Company, Bind 7789. s. 19-36 18 s. (Lecture Notes in Computer Science, Bind 7789).

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

Petri nets
Semantics
Blood

Verifying Duration Properties of Timed Transition Systems

Liu, Z., Ravn, A. P. & Li, X., 1998, Programming Concepts and Methods : PROCOMET '98 : IFIP TC2 WG2.2, 2.3 International Conference in Programming Concepts and Methods 8-12 June 1998, Shelter Island, New York, USA. Gries, D. : Roever, W.-P. de (eds.) (red.). Kluwer Academic Publishers, s. 327-345

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

5 Citationer (Scopus)

VICKEY: Mining Conditional Keys on Knowledge Bases

Symeonidou, D., Prado, L. A. G. D., Pernelle, N., Saïs, F. & Suchanek, F., 4 okt. 2017, International Semantic Web Conference ISWC 2017: The Semantic Web – ISWC 2017. Springer, Bind 10587. s. 661-677 (Lecture Notes in Computer Science).

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

Åben adgang
8 Citationer (Scopus)

Video Microblogging: Your 12 Seconds of Fame

Bornoe, N. & Barkhuus, L., 2010, CHI '10 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, s. 3325-3330 6 s.

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

4 Citationer (Scopus)

VIPTRA: Visualization and Interactive Processing on Big Trajectory Data

Ding, X., Chen, R., Chen, L., Gao, Y. & Jensen, C. S., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, s. 290-291 2 s.

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

Visualization
Trajectories
Processing
Demonstrations
Location based services

Virtual Box: Supporting Mediated Family Intimacy through Virtual and Physical Play

Davis, H., Skov, M. B., Stougaard, M. & Vetere, F., 2007, Proceedings of the Australian Computer-Human Interaction Conference 2007 (OzCHI’07). Association for Computing Machinery, 9 s.

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

12 Citationer (Scopus)

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, s. 89-103 15 s. (Lecture Notes in Computer Science; Nr. 4207).

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

Pushdown Automata
Bisimulation
Preorder
Equivalence
Automata
271 Downloads (Pure)

Visualizing Complex Energy Planning Objects With Inherent Flexibilities

Siksnys, L. & Kaulakiene, D., 2013, Proceedings of the Joint EDBT/ICDT 2013 Workshops. Association for Computing Machinery, s. 249-255 7 s.

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

Fil

Vom Flaggenalphabet zur Vorratsdatenspeicherung: Schülerinnen und Schüler als Multiplikatoren technischer Aspekte der digitalen Welt

Förster, K-T., sep. 2017, INFOS 2017: Informatische Bildung zum Verstehen und Gestalten der digitalen Welt. Diethelm, I. (red.). Gesellschaft für Informatik (GI), s. 171-179 (Lecture Notes in Informatics).

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

Åben adgang