• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Konferenceartikel i proceeding
2018
30 Downloads (Pure)

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G. & Nyman, U., 25 jul. 2018, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, s. 51-58 8 s. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

Fil
Scheduling
23 Citationer (Scopus)

Grand challenges in Shape-changing interface research

Alexander, J., Roudaut, A., Steimle, J., Hornbæk, K., Alonso, M. B., Follmer, S. & Merritt, T., 20 apr. 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, Bind 2018-April.

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

Materials science
Human computer interaction
Computer science
Interfaces (computer)
Robotics
2 Citationer (Scopus)

GridDrones: A self-levitating physical voxel lattice for 3D surface deformations

Braley, S., Rubens, C., Merritt, T. R. & Vertegaal, R., 20 apr. 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, 4 s. D200

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

Drawing (graphics)
Animation
User interfaces
Air
Rendering (computer graphics)
2 Citationer (Scopus)

Griddrones: A self-levitating physical voxel lattice for interactive 3D surface deformations

Braley, S., Rubens, C., Merritt, T. & Vertegaal, R., 11 okt. 2018, UIST 2018 - Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, s. 87-98 12 s.

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

grids
relief maps
animation
editing
budgets
194 Downloads (Pure)

Happy Bits: Interactive Technologies Helping Young Adults with Low Self-Esteem

Paay, J., Nielsen, H., Larsen, H. H. & Kjeldskov, J., 2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction . Association for Computing Machinery, 10 s.

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

Åben adgang
Fil
3 Citationer (Scopus)
18 Downloads (Pure)

Hybrid Learning Model with Barzilai-Borwein Optimization for Context-aware Recommendations

Da Costa, F. S. & Dolog, P., 21 maj 2018, Proceedings of the Thirtieth-First Florida Artificial Intelligence Research Society Conference. AAAI Publications, s. 456-461 6 s.

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

Åben adgang
Fil
Factorization
Computer music
Application programs
95 Downloads (Pure)

Increasing Confidence through Competence in People with Dementia Through Meaningful Conversations

Paay, J., Bank, M. & Aaen, I., 4 jun. 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, s. 175-178 3 s. 40

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

Åben adgang
Fil

Inference, Learning, and Population Size: Projectivity for SRL Models

Jaeger, M. & Schulte, O., 2018, Eighth International Workshop on Statistical Relational AI: Accepted Papers. Statistical Relational AI (StarAI), 8 s.

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

Åben adgang
population size
learning
prediction
1 Citation (Scopus)
181 Downloads (Pure)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 feb. 2018, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, s. 11-19 9 s.

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

Åben adgang
Fil
Acoustic waves
Controllers
916 Downloads (Pure)

Interactive Technologies Helping Young Adults Manage Low Self-Esteem

Paay, J., Larsen, H. & Nielsen, H., 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, s. 179-182 4 s. 41

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

Åben adgang
Fil
1 Citation (Scopus)
208 Downloads (Pure)

It’s not Complicated: A Study of Non-Specialists Analyzing GSR Sensor Data to Detect UX Related Events

Bruun, A., 1 okt. 2018, NordiCHI 2018: Revisiting the Life Cycle - Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 170-183 14 s.

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

Åben adgang
Fil
Sensors
Human computer interaction

IZone: Efficient influence zone evaluation over geo-Textual Data

Liu, Q., Feng, Z., Xi, X., Xu, J., Lin, X. & Jensen, C. S., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1645-1648 4 s. 8509418

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

Servers
Hotels
Graphical user interfaces
Interfaces (computer)
Computer systems

Latency performance of encoding with random linear network coding

Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 jan. 2018, European Wireless 2018 : 24th European Wireless Conference . VDE Verlag GMBH, s. 120-124 5 s.

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

Linear networks
Network coding
Data storage equipment
12 Citationer (Scopus)

Learning to route with sparse trajectory sets

Guo, C., Yang, B., Hu, J. & Jensen, C. S., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1073-1084 12 s. 8509321. (Proceedings of the International Conference on Data Engineering).

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

Trajectories
Availability
11 Citationer (Scopus)

Location-aware top-κ term publish/subscribe

Chen, L., Shang, S., Zhang, Z., Cao, X., Jensen, C. S. & Kalnis, P., 24 okt. 2018, IEEE International Conference on Data Engineering (ICDE). IEEE, s. 749-760 12 s. 8509294. (Proceedings of the International Conference on Data Engineering).

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

Processing
Experiments

Location Prediction in Social Networks

Liu, R., Cong, G., Zheng, B., Zheng, K. & Su, H., 1 jan. 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, s. 151-165 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10988 LNCS).

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

Learning algorithms
Semantics
Trajectories
Experiments
Deep learning
1 Citation (Scopus)

MeteorQuest - Bringing Families Together Through Proxemics Play In A Mobile Social Game

Rosenqvist, R., Boldsen, J., Papachristou, E. & Merritt, T. R., 2018, CHI PLAY '18 Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play. New York, NY, USA: Association for Computing Machinery, s. 439-450 12 s.

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

Navigation
Smartphones
Luminance
Lenses
Communication
1 Citation (Scopus)

Model-Based Mutation Testing of Real-Time Systems via Model Checking

Lorber, F., Larsen, K. G. & Nielsen, B., apr. 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 59-68

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

Model checking
Real time systems
Testing
Specifications
Gears
1 Citation (Scopus)

Modeling and Managing Energy Flexibility Using FlexOffers

Pedersen, T. B., Siksnys, L. & Neupane, B., 29 okt. 2018, IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids: SmartGridComm 2018. IEEE, s. 1-7 7 s.

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

Agglomeration
Energy management
Costs
Life cycle
Internet of things

Modeling travel behavior similarity with trajectory embedding

Yang, W., Zhao, Y., Zheng, B., Liu, G. & Zheng, K., 1 jan. 2018, Database Systems for Advanced Applications - 23rd International Conference, DASFAA 2018, Proceedings. Springer, s. 630-646 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10827 LNCS).

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

Trajectories
Global positioning system
Communication
Experiments

Motivations and practices for cheating in Pokémon Go

Paay, J., Kjeldskov, J., Iternicola, D. & Thomassen, M., 3 sep. 2018, MobileHCI 2018 Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 13 s. a35

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

Computer games
2 Citationer (Scopus)
27 Downloads (Pure)

MOVE: A Mobile App Designed for Social Health Relations in Residential Areas

Kanstrup, A. M., Bertelsen, P. S., Nunez, H. C., Jonasen, T. S. & Stage, J., 2018, Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth. Klein, G. O., Karlsson, D., Moen, A. & Ugon, A. (red.). IOS Press, Bind 247. s. 496-500 5 s. (Studies in Health Technology and Informatics).

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

Åben adgang
Fil
Application programs
Health
Health risks
1 Citation (Scopus)

NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 aug. 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, s. 21-26 6 s.

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

Industry
Virtual machine

Neural Explainable Collective Non-negative Matrix Factorization for Recommender Systems

Costa, F. & Dolog, P., 2018, Proceedings of the 14th International Conference on Web Information Systems and Technologies, WEBIST 2018, Seville, Spain, September 18-20, 2018.. Escalona, M. J., Mayo, F. J. D., Majchrzak, T. A. & Monfort, V. (red.). SCITEPRESS Digital Library, s. 35-45 11 s.

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

Node selection in large networks

Logins, A., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1689-1693 5 s. 8509437. (Proceedings of the International Conference on Data Engineering).

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

Logistics
Marketing
Computational complexity
Planning
Uncertainty
2 Citationer (Scopus)

On and off the table: Re-imagining food and wine interactions

Davis, H., Paay, J., Kjeldskov, J. & Dolejšová, M., 4 dec. 2018, OzCHI '18 Proceedings of the 30th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, s. 612-617 6 s.

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

wines
music
functional foods
researchers
fermentation

On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, s. 3421-3430 10 s.

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

Learning systems
Availability
2 Citationer (Scopus)
23 Downloads (Pure)

On the Verification of Weighted Kripke Structures Under Uncertainty

Bacci, G., Hansen, M. & Larsen, K. G., 1 jan. 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (red.). Springer, s. 71-86 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).

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

Åben adgang
Fil
Random variables
Experiments
Uncertainty
1 Citation (Scopus)

Optimal and robust controller synthesis: Using energy timed automata with uncertainty

Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 jan. 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (red.). Springer, s. 203-221 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10951 LNCS).

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

Computability and decidability
Hydraulics
Pumps
Controllers
Uncertainty
2 Citationer (Scopus)

Origin-destination trajectory diversity analysis: Efficient top-k diversified search

He, D., Ruan, B., Zheng, B. & Zhou, X., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 135-144 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Trajectories
Costs
13 Citationer (Scopus)

Outlier detection for multidimensional time series using deep neural networks

Kieu, T., Yang, B. & Jensen, C. S., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 125-134 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Time series
Deep neural networks
Neural networks
Analog to digital conversion
Accelerometers
96 Downloads (Pure)

Parametric Multi-Channel Separation and Re-Panning of Harmonics Sources

Hansen, M. W., Hjerrild, J. M., Christensen, M. G. & Kjeldskov, J., 4 sep. 2018, Proceedings of the 21st International Conference on Digital Audio Effects (DAFx-18), Aveiro, Portugal, September 4–8, 2018. Universidade de Aveiro, Comissão Editorial, 8 s. (International Conference on Digital Audio Effects).

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

Åben adgang
Fil
Loudspeakers
Demonstrations
2 Citationer (Scopus)

Passenger trip planning using ride-sharing services

Svangren, M. K., Skov, M. B. & Kjeldskov, J., 20 apr. 2018, CHI 2018 - In proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, Bind 2018-April. 480

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

Human computer interaction
Planning
Traffic congestion
Air pollution
Railroad cars
7 Citationer (Scopus)

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

Schmid, S. & Srba, J., 2018, IEEE INFOCOM 2018 - IEEE Conference on Computer Communications. IEEE, s. 1799-1807 9 s. (I E E E Infocom. Proceedings).

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

Telecommunication networks
Polynomials
Automata theory
Complex networks
Transparency

Predicting passenger’s public transportation travel route using smart card data

Yang, C., Chen, W., Zheng, B., He, T., Zheng, K. & Su, H., 1 jan. 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, s. 199-213 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10988 LNCS).

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

Smart cards
Urban planning
Scheduling
Neural networks
Experiments
3 Citationer (Scopus)

Predicting Visitors Using Location-Based Social Networks

Saleem, M. A., Da Costa, F. S., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T., 28 jun. 2018, 19th IEEE International Conference on Mobile Data Management (MDM). IEEE Computer Society Press, Bind 2018-June. s. 245-250 6 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Factorization
Recommender systems
Logistics
Marketing
Experiments
4 Citationer (Scopus)

P-Rex: fast verification of MPLS networks with multiple link failures

Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., 2018, Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, s. 217-227 11 s. (Conference on Emerging Networking EXperiments and Technologies).

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

Switching networks
Labels
Routers
Query languages
Electric network analysis
7 Citationer (Scopus)

Price-and-Time-Aware Dynamic Ridesharing

Chen, L., Zhong, Q., Xiao, X., Gao, Y., Jin, P. & Jensen, C. S., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1061-1072 12 s. 8509320. (Proceedings of the International Conference on Data Engineering).

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

Parking
Travel time
Air pollution
Fuel consumption
Costs
11 Downloads (Pure)

Programmatic ETL

Thomsen, C., Andersen, O., Jensen, S. K. & Pedersen, T. B., 2018, Business Intelligence and Big Data - 7th European Summer School, eBISS 2017, Tutorial Lectures. Zimányi, E. (red.). Cham: Springer Publishing Company, s. 21-50 30 s. (Lecture Notes in Business Information Processing, Bind 324).

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

Åben adgang
Fil
Mathematical transformations
Data warehouses
Graphical user interfaces

QuittyLink: Involving Smokers in the Design of Technology that Supports Individuals in Quitting

Paay, J., Kjeldskov, J., Brinthaparan, U., Lichon, L., Rasmussen, S. & Srikandarajah, N., 4 jun. 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University

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

Åben adgang
Health
Health risks
Smartphones
Smoke
Economics
4 Citationer (Scopus)

REST: A Reference-based Framework for Spatio-temporal Trajectory Compression

Zhao, Y., Shang, S., Wang, Y., Zheng, B., Nguyen, Q. V. H. & Zheng, K., 19 jul. 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. s. 2797-2806 10 s.

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

Trajectories
Query processing
Dynamic programming
Global positioning system
Communication

Reverse top-k query on uncertain preference

Li, G., Chen, Q., Zheng, B. & Zhao, X., 1 jan. 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, s. 350-358 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10988).

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

Experiments
Design optimization
2 Citationer (Scopus)

Riesz Modal logic for Markov processes

Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

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

Riesz Space
Modal Logic
Markov Process
Logic
Monads
1 Citation (Scopus)

Safe and sound program analysis with Flix

Madsen, M. & Lhoták, O., 12 jul. 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (red.). Association for Computing Machinery, s. 38-48 11 s.

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

Static analysis
Functional programming
Logic programming
Surface mount technology
Computer programming languages

Scalable Hypergraph-Based Image Retrieval and Tagging System

Chen, L., Gao, Y., Zhang, Y., Wang, S. & Zheng, B., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 257-268 12 s. 8509253

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

Image retrieval
Scalability
Websites
Experiments

Searching Trajectories by Regions of Interest

Shang, S., Chen, L., Jensen, C. S., Wen, J-R. & Kalnis, P., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. s. 1741-1742 2 s. 8509449

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

Trajectories
Query processing
Planning
Experiments
1 Citation (Scopus)

Sensors: The Enablers for Proactive Maintenance in the Real World

Albano, M., Ferreira, L. L., Di Orio, G., Malo, P., Webers, G., Jantunen, E., Gabilondo, I., Viguera, M., Papa, G. & Novak, F., 10 apr. 2018, 2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018. IEEE, s. 569-574 6 s. (2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018).

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

Sensors
Monitoring
1 Citation (Scopus)
12 Downloads (Pure)

SimpleETL: ETL Processing by Simple Specifications

Andersen, O., Thomsen, C. & Torp, K., 1 jan. 2018, Proceedings of the 20th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data co-located with 10th EDBT/ICDT Joint Conference. CEUR Workshop Proceedings, Bind 2062. 6 s. (CEUR Workshop Proceedings, Bind 2062).

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

Åben adgang
Fil

Simple Propagation with Arc-Reversal in Bayesian Networks

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2018, Proceedings of Machine Learning Research. PMLR Press, Bind 72. s. 260-271 (The Proceedings of Machine Learning Research).

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

Åben adgang
3 Citationer (Scopus)

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 mar. 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, s. 143-163 (Lecture Notes in Computer Science, Bind 10877).

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

Model checking
Petri nets
Explosions