• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2020
78 Downloads (Pure)

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 jan. 2020, Distributed Simulation and Real-Time Applications. IEEE Press, s. 1-10 10 s.

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

Åben adgang
Fil
Scheduling

Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas

Kjærup, M., 2020, (Accepteret/In press) Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas. Association for Computing Machinery

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

19 Downloads (Pure)

Efficient Search for Multi-Scale Time Delay Correlations in Big Time Series

Ho, N. T. T., Pedersen, T. B., Ho, L. V. & Vu, M., 2020, (Accepteret/In press) Proceedings - The 23rd International Conference on Extending Database Technology (EDBT), March 30-April 2, 2020. Association for Computing Machinery

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

Åben adgang
Fil
Time series
Time delay
Information theory
Redundancy
Sensors

Example-based Search: a New Frontier for Exploratory Search

Mottin, D., Lissandrini, M., Palpanas, T. & Velegrakis, Y., 2020, Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2019.

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

Åben adgang
Query languages
Semantics
12 Downloads (Pure)

pgFMU: Integrating Data Management with Physical System Modelling

Rybnytska, O., Siksnys, L., Pedersen, T. B. & Neupane, B., 2020, (Accepteret/In press) EDBT: 23rd International Conference on Extending Database Technology.

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

Åben adgang
Fil
2019
2 Citationer (Scopus)

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Springer, Bind 11427. s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).

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

Åben adgang
Model checking
Concretes

A charging scheduling system for electric vehicles using vehicle-To-grid

Breum, N. K., Joergensen, M. N., Knudsen, C. A., Kristensen, L. B. & Yang, B., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 351-352 2 s. 8788738. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

Electric vehicles
Scheduling
Electricity
Wind power
Costs
5 Downloads (Pure)

A Decentralized Architecture for Sharing and Querying Semantic Data

Aebeloe, C., Montoya, G. & Hose, K., 25 maj 2019, The Semantic Web. Fernández, M., Zaveri, A., Hitzler, P., Haller, A., Janowicz, K., Hammar, K., Gray, A. J. G. & Lopez, V. (red.). Portorož, Slovenia: Springer, Bind 11503. s. 3-18 16 s. (Lecture Notes in Computer Science).

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

Fil
Servers
Semantics
Semantic Web

Analysis of the Effect of Query Shapes on Performance over LDF Interfaces

Montoya, G., Keles, I. & Hose, K., 2019, Proceedings of the QuWeDa 2019: 3rd Workshop on Querying and Benchmarking the Web of Data co-located with 18th International Semantic Web Conference (ISWC 2019). CEUR Workshop Proceedings, Bind 2496. s. 51-66 16 s. (CEUR Workshop Proceedings).

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

Åben adgang
Query processing
Semantic Web
Testbeds
Servers

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Essays on the Occasion of Bernhard Steffen's 60th Birthday: Models, Mindsets, Meta: The What, the How, and the Why Not?.. Springer, Bind 11200. s. 27-35 (Lecture Notes in Computer Science).

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

Åben adgang
Spreadsheets
Model checking
Parallel programming
Scalability
Derivatives

Analyzing trajectories using a path-based API

Waury, R., Dolog, P., Jensen, C. S. & Torp, K., 19 aug. 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. Association for Computing Machinery, s. 198-201 4 s.

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

Application programming interfaces (API)
Trajectories
Data privacy
Travel time
Fuel consumption

An MBR-Oriented Approach for Efficient Skyline Query Processing

Zhang, J., Wang, W., Jiang, X., Ku, W-S. & Lu, H., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, s. 806-817 (Proceedings of the International Conference on Data Engineering).

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

Query processing
Sorting
Computational complexity
Costs
Statistical Models

An Open Source Dataset and Ontology for Product Footprinting

Ghose, A., Hose, K., Lissandrini, M. & Weidema, B. P., 2019, The Semantic Web: ESWC 2019 Satellite Events - ESWC 2019 Satellite Events, Revised Selected Papers. Hitzler, P., Kirrane, S., Hartig, O., de Boer, V., Schlobach, S., Vidal, M-E., Maleshkova, M., Hammar, K., Lasierra, N., Stadtmüller, S., Hose, K. & Verborgh, R. (red.). Springer, s. 75-79 5 s. (Lecture Notes in Computer Science, Bind 11762).

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

life cycle
industrial ecology
footprint
product
environmental impact

Answering Why-Not Group Spatial Keyword Queries (Extended Abstract)

Zheng, B., Zheng, K., Jensen, C. S., Hung, N. Q. V., Su, H., Li, G. & Zhou, X., 2019, 2019 IEEE 35th International Conference on Data Engineering. s. 2155-2156

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

Experiments

A NUMA-aware Trajectory Store for Travel-Time Estimation

Waury, R., Jensen, C. S. & Torp, K., 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, s. 209-218

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

Travel time
Trajectories
Data storage equipment

A practical delivery route planning system

Gitz-Johansen, A., Holm, M. E., Kirkeby, L. V., Kristiansen, D., Ostenfeld, A. S., Schou, M. K. & Yang, B., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 349-350 2 s. 8788747. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

Planning
Logistics
Industry
Scheduling
Costs

A Proposal for a Two-Way Journey on Validating Locations in Unstructured and Structured Data

Keles, I., Qawasmeh, O., Tietz, T., Marinucci, L., Reda, R. & Van Erp, M., 2019, 2nd Conference on Language, Data and Knowledge (LDK 2019). Eskevich, M., de Melo, G., Fath, C., McCrae, J. P., Buitelaar, P., Chiarcos, C., Klimek, B. & Dojchinovski, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 13:1-13:8 8 s. 13. (Open Access Series in Informatics, Bind 70).

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

Åben adgang
Fil
Natural language processing systems
Processing
Joining
Statistical methods

ARDI: Automatic Generation of RDFS Models from Heterogeneous Data Sources

Nigatu, S. T., Gomez, C., Romero, O., Hose, K. & Rabbani, K., 2019, 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC). IEEE Press, s. 190-196 (IEEE International Enterprise Distributed Object Computing Conference (EDOC)).

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

Data integration
XML
Data structures

Arrowhead Framework services for condition monitoring and maintenance based on the open source approach

Campos, J., Sharma, P., Albano, M., Jantunen, E., Baglee, D. & Ferreira, L. L., 23 apr. 2019, 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Paris, France: IEEE, s. 697-702 6 s. 8820366. (International Conference on Control, Decision and Information Technologies (CoDIT)).

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

Bearings (structural)
Condition monitoring
Open systems
Health
Signal systems

Collective embedding for neural context-aware recommender systems

Costa, F. S. D. & Dolog, P., 2019, Proceedings of the 13th ACM Conference on Recommender Systems, RecSys 2019, Copenhagen, Denmark, September 16-20, 2019.. Bogers, T., Said, A., Brusilovsky, P. & Tikk, D. (red.). Association for Computing Machinery, s. 201-209 9 s.

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

Recommender systems
Neural networks
Fusion reactions
Industry
Experiments

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. (Leibniz International Proceedings in Informatics, Bind 140).

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

Åben adgang
Fil

Continuous Range Queries over Multi-Attribute Trajectories

Xu, J., Bao, Z. & Lu, H., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, s. 1610-1613

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

Trajectories
Scalability
Experiments

Continuous-Time Models for System Design and Analysis

Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, Bind 10000. s. 452-477

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

Åben adgang
Systems analysis
Pacemakers
Temporal logic
Controllers
Monitoring

Convolutional Adversarial Latent Factor Model for Recommender System

Costa, F. S. D. & Dolog, P., 2019, Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019.. Barták, R. & Brawner, K. W. (red.). AAAI Press, s. 419-424 6 s.

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

Recommender systems
Feedback
Image processing
Sampling
Neural networks

CyclAir: A Bike Mounted Prototype for Real-Time Visualization of CO2 Levels While Cycling

Schneiders, E. & Skov, M. B., 25 aug. 2019, Human-Computer Interaction – INTERACT 2019 - 17th IFIP TC 13 International Conference, Proceedings. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (red.). Springer, s. 678-687 10 s. (Lecture Notes in Computer Science, Bind 11747).

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

Air quality
Visualization
Air pollution
Carbon footprint
Greenhouse gases

Decentralized Indexing over a Network of RDF Peers

Aebeloe, C., Montoya, G. & Hose, K., 2019, The Semantic Web - ISWC 2019. Springer, (Lecture Notes in Computer Science).

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

Query processing
Servers
Semantic Web
Availability
Experiments

Demonstration of ModelarDB: Model-Based Management of Dimensional Time Series

Jensen, S. K., Pedersen, T. B. & Thomsen, C., 2019, Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, s. 1933-1936 4 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

Time series
Demonstrations
Sensors

Designing a Machine Learning-Based System to Augment the Work Processes of Medical Secretaries

Johansen, P. S., Jacobsen, R. M., Bysted, L. B. L., Skov, M. B. & Papachristos, E., 2019, Adjunct Proceedings of the 17th IFIP Conference on Human-Computer Interaction (Interact’19). Springer

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

Learning systems
Human computer interaction

Drivelab: An experimental platform for telematics

Pedersen, K. F. & Torp, K., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 252-259 8 s. 8788727. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

Application programs
Servers
Feedback
Smartphones
Insurance
2 Citationer (Scopus)

Effective and Efficient Reuse of Past Travel Behavior for Route Recommendation

Chen, L., Shang, S., Jensen, C. S., Yao, B., Zhang, Z. & Shao, L., 2019, KDD '19: Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining. Association for Computing Machinery, s. 488-498

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

Location based services
Parallel algorithms
Scalability
Availability
Planning

Efficient and Incremental Clustering Algorithms on Star-Schema Heterogeneous Graphs

Chen, L., Gao, Y., Zhang, Y., Jensen, C. S. & Zheng, B., 2019, 2019 IEEE 35th International Conference on Data Engineering. s. 256-267

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

Clustering algorithms
Stars
Game theory
Entropy
Experiments

Efficient Bottom-Up Discovery of Multi-Scale Time Series Correlations Using Mutual Information

Ho, T. T. N., Pedersen, T. B., Vu, M., Van, H. L. & Biscio, C. A. N., 8 apr. 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, s. 1734-1737 4 s. 8731434. (Proceedings of the International Conference on Data Engineering).

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

Time series
Information theory
Experiments

Efficiently Mining Maximal Diverse Frequent Itemsets

Wu, D., Luo, D., Jensen, C. S. & Huang, J. Z., 2019, International Conference on Database Systems for Advanced Applications: DASFAA 2019: Database Systems for Advanced Applications. Springer Nature Switzerland AG, Bind 11447. s. 191-207

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

Exploiting Ratings, Reviews and Relationships for Item Recommendations in Topic Based Social Networks

Li, P., Lu, H., Zheng, G., Zheng, Q., Yang, L. & Pan, G., 2019, Proceedings of the 30th Web Conference (WWW). Association for Computing Machinery, s. 995-1005

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

Recommender systems
Factorization
Feedback

Exploiting Symmetry of Independence in d-Separation

Butz, C. J., dos Santos, A. E., Oliveira, J. & Madsen, A. L., 2019, Advances in Artificial Intelligence. Canadian AI 2019. Cham: Springer Nature, s. 42-54 (Lecture Notes in Computer Science, Bind 11489).

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

Experiments

Exploring the Data Wilderness through Examples

Mottin, D., Lissandrini, M., Palpanas, T. & Velegrakis, Y., 2019, Proceedings of the 2019 International Conference on Management of Data (SIMGOD/PODS). Association for Computing Machinery, s. 2031-2035 5 s.

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

Query languages
Semantics

Flexibility Modeling, Management, and Trading in Bottom-up Cellular Energy Systems

Siksnys, L., Pedersen, T. B., Aftab, M. & Neupane, B., 18 jun. 2019, Proceedings of the Tenth ACM International Conference on Future Energy Systems, e-Energy 2019. Association for Computing Machinery, s. 170-180 11 s.

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

Åben adgang
Fil
Model predictive control
Energy management
Energy storage
Learning systems
Chemical activation

Full-Band Music Genres Interpolations with Wasserstein Autoencoders

Borghuis, T., Tibo, A., Conforti, S., Brusci, L. & Frasconi, P., 2019, Ital-IA.

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

Fil
music
interpolation
acids
acoustics
18 Downloads (Pure)

Graph Convolutional Networks for Road Networks

Skovgaard Jepsen, T., Jensen, C. S. & Nielsen, T. D., 5 nov. 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. s. 460-463 4 s.

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

Åben adgang
Fil
Learning systems
Fusion reactions
Neural networks

How Diverse Are Federated Query Execution Plans Really?

Jakobsen, A. L., Montoya, G. & Hose, K., 2019, The Semantic Web: ESWC 2019 Satellite Events. Springer, s. 105-110 6 s. (Lecture Notes in Computer Science, Bind 11762).

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

Engines
Demonstrations

How new is the (RDF) news? Assessing knowledge graph completeness over news feed entities

Sagi, T., Wolf, Y. & Hose, K., 13 maj 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 714-721 8 s.

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

Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

Panum, T. K., Hageman, K. D., Pedersen, J. M. & Hansen, R. R., 2 sep. 2019, 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT). IEEE, 3 s. (International Conference on Advanced Learning Technologies (ICALT)).

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

Education
Students
Computer networks
Automation
Virtualization
1 Citation (Scopus)

Indexing Trajectories for Travel-Time Histogram Retrieval

Waury, R., S. Jensen, C., Koide, S., Ishikawa, Y. & Xiao, C., 29 mar. 2019, Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings. Reinwald, B., Binnig, C., Kaoudi, Z., Galhardas, H., Herschel, M. & Fundulaki, I. (red.). OpenProceedings.org, s. 157-168 12 s. (Advances in Database Technology).

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

Travel time
Trajectories
Probability distributions
Global positioning system
Availability
30 Downloads (Pure)

Indoor Top-k Keyword-aware Routing Query

Feng, Z., Liu, T., LI, HUAN., Lu, H., Shou, L. & Xu, J., 2 okt. 2019, (Accepteret/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). IEEE

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

Åben adgang
Fil
Topology
Planning
Experiments

In Good Company: Efficient Retrieval of the Top-k Most Relevant Event-Partner Pairs

Wu, D., Zhu, Y. & Jensen, C. S., 2019, International Conference on Database Systems for Advanced Applications: DASFAA 2019: Database Systems for Advanced Applications. Springer Nature Switzerland AG, Bind 11447. s. 519-535 (Lecture Notes in Computer Science (LNCS), Bind 11447).

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

Industry

Interaction Design for Domestic Sound Zones

Lundgaard, S. S., Nielsen, P. A. & Kjeldskov, J., 2019, Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound, AM 2019. Association for Computing Machinery, s. 248–251 4 s.

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

Acoustic waves
Human computer interaction
50 Downloads (Pure)

Investigating EV Driving as Meaningful Practice

Jensen, R. H., Svangren, M. K., Skov, M. B. & Kjeldskov, J., dec. 2019, Proceedings of the 31th Australian Conference on Computer-Human Interaction: OzCHI '19. Association for Computing Machinery

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

Åben adgang
Fil
Electric vehicles
Human computer interaction

Investigating the Use of an Online Peer-to-Peer Car Sharing Service

Svangren, M. K., Brereton, M., Skov, M. B. & Kjeldskov, J., dec. 2019, Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III. Lecture Notes in Computer Science: Springer Publishing Company, Bind 11748.

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

Kraaler: A User-Perspective Web Crawler

Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 aug. 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). IEEE, 8 s.

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

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 sep. 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (red.). s. 651-669 19 s. (Lecture Notes in Computer Science, Bind 11800).

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

Learning algorithms
Sampling
Formal languages
Model structures
Testing