• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2017
2 Citationer (Scopus)
298 Downloads (Pure)

Identifying Basketball Plays from Sensor Data; towards a Low-Cost Automatic Extraction of Advanced Statistics

Sangüesa, A. A., Moeslund, T. B., Bahnsen, C. H. & Iglesias, R. B., 17 nov. 2017, 2017 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, (IEEE International Conference on Data Mining Workshops (ICDMW)).

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

Åben adgang
Fil
Statistics
Sensors
Costs
Support vector machines
Cameras
2 Citationer (Scopus)

IMaxer: A unified system for evaluating influence maximization mechanisms in location-based social networks

Saleem, M. A., Kumar, R., Calders, T., Xie, X. & Pedersen, T. B., 6 nov. 2017, CIKM 2017 - Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2523-2526 4 s. (Conference on Information and Knowledge Management).

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

Marketing
Application programming interfaces (API)
Demonstrations
Visualization
Pipelines
3 Citationer (Scopus)

Impedance Control of a Redundant Parallel Manipulator

Méndez, J. D. D. F., Schiøler, H., Madsen, O. & Bai, S., 26 jul. 2017, Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics: Volume 1: ICINCO. SCITEPRESS Digital Library, s. 104-111 (Proceedings of the International Conference on Informatics in Control, Automation and Robotics).

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

Åben adgang
Manipulators
Torque
Kinematics
Actuators
Damping
253 Downloads (Pure)

Improving a real-time object detector with compact temporal information

Ahrnbom, M., Jensen, M. B., Åström, K., Nilsson, M., Ardö, H. & Moeslund, T. B., 2017, 2017 IEEE International Conference on Computer Vision Workshop (ICCVW): Computer Vision for Road Scene Understanding and Autonomous Driving workshop. IEEE, s. 190-197 8 s. (IEEE International Conference on Computer Vision Workshops (ICCVW)).

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

Åben adgang
Fil
Detectors
Neural networks
Processing
Object detection
4 Citationer (Scopus)
310 Downloads (Pure)

Indoor Localization Accuracy Estimation from Fingerprint Data

Nikitin, A., Laoudias, C., Chatzimilioudis, G., Karras, P. & Zeinalipour-Yazti, D., 31 maj 2017, 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Åben adgang
Fil
Wi-Fi
Bluetooth
Interpolation
Sensors
Uncertainty
116 Downloads (Pure)

Inferring types for parallel programs

Martins, F., Vasconcelos, V. T. & Hüttel, H., 8 apr. 2017, Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software . Vasconcelos, V. T. & Haller, P. (red.). Open Publishing Association, Bind 246. s. 28-36 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 246).

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

Åben adgang
Fil
Message passing
Set theory
Network protocols
122 Downloads (Pure)

Infinite-dimensionality in quantum foundations: W∗-algebras as presheaves over matrix algebras

Rennela, M., Staton, S. & Furber, R., 1 jan. 2017, Proceedings 13th International Conference on Quantum Physics and Logic . Duncan, R. & Heunen, C. (red.). Open Publishing Association, s. 161-173 13 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 236).

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

Åben adgang
Fil
Presheaves
W-algebras
Matrix Algebra
Dimensionality
Completely Positive Maps
3 Citationer (Scopus)
12 Downloads (Pure)

In-Memory Spatial Join: The Data Matters!

Nobari, S., Qu, Q. & Jensen, C. S., mar. 2017, Proceedings of the 20th International Conference on Extending Database Technology. OpenProceedings.org, 4 s. (Advances in Database Technology).

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

Åben adgang
Fil
4 Citationer (Scopus)

Integrated design and modelling of an electro-magnets driven spherical parallel manipulator

Li, X., Bai, S., Chen, W. & Liu, J., 21 aug. 2017, 2017 IEEE International Conference on Advanced Intelligent Mechatronics, AIM 2017. IEEE, s. 1209-1214 6 s. 8014183

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

Manipulators
Magnets
Magnetic fields
Torque
Stators
1 Citation (Scopus)

Intention detection for dexterous human arm motion with FSR sensor bands

Islam, M. R. U. & Bai, S., 6 mar. 2017, HRI 2017 - Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, s. 139-140 2 s.

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

Resistors
Muscle
Sensors
Patient rehabilitation
Support vector machines
1 Citation (Scopus)

Interactive Intersection Analysis using Trajectory Data

Borresen, J. L., Andersen, O., Jensen, C. S. & Torp, K., nov. 2017, Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems . Association for Computing Machinery, 4 s. 87

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

10 Citationer (Scopus)
108 Downloads (Pure)

Investigating Cross-Device Interaction between a Handheld Device and a Large Display

Paay, J., Raptis, D., Kjeldskov, J., Skov, M., Ruder, E. V. & Lauridsen, B. M., 2017, CHI '17, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 6608-6619

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

Fil
Display devices
Smartphones
Human computer interaction
Air

Investigating the Effect of Scaffolding in Modern Game Design

Jensen, K. H. & Kraus, M., 2017, Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, ArtsIT 2016 and First International Conference, DLI 2016. Springer, (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Bind 196).

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

Experiments
1 Citation (Scopus)

Ladda: SPARQL Queries in the Fog of Browsers

Grall, A., Folz, P., Montoya, G., Skaf-Molli, H., Molli, P., Vander Sande, M. & Verborgh, R., 2017, The Semantic Web: ESWC 2017 Satellite Events: ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers. Springer, s. 126-131 (Lecture Notes in Computer Science, Bind 10577).

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

Åben adgang
Fog
Servers
Program processors
Throughput
Engines
3 Citationer (Scopus)
8 Downloads (Pure)

Late Fusion in Part-based Person Re-identification

Lejbølle, A. R., Nasrollahi, K. & Moeslund, T. B., jun. 2017, Proceedings of the 9th International Conference on Machine Learning and Computing . Association for Computing Machinery, s. 385-393 (ACM International Conference Proceedings Series).

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

Electric fuses
Learning algorithms
Fusion reactions
Lighting
Cameras
485 Downloads (Pure)

LiDAR-based 2D Localization and Mapping System using Elliptical Distance Correction Models for UAV Wind Turbine Blade Inspection

Nikolov, I. A. & Madsen, C. B., 2017, Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SCITEPRESS Digital Library

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

Åben adgang
Fil
Unmanned aerial vehicles (UAV)
Wind turbines
Turbomachine blades
Inspection
Wind power
178 Downloads (Pure)

Literature Survey on Interaction Design and Existing Software Applications for Dyslectic Users

Vangeli, P. & Stage, J., 1 dec. 2017, Interactive Mobile Communication Technologies and Learning: Proceedings of the 11th IMCL Conference. Auer, M. E. & Tsiatsos, T. (red.). Springer, s. 331-344 (Advances in Intelligent Systems and Computing, Bind 725).

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

Åben adgang
Fil
Application programs
4 Citationer (Scopus)

Load-Optimal Local Fast Rerouting for Resilient Networks

Pignolet, Y. A., Schmid, S. & Tredan, G., 30 aug. 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. IEEE, s. 345-356 12 s. 8023135

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

Routing algorithms
Computer networks
Parallel algorithms
Communication
15 Citationer (Scopus)

Location influence in location-based social networks

Saleem, M. A., Kumar, R., Calders, T., Xie, X. & Pedersen, T. B., 2 feb. 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 621-630 10 s.

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

Data structures
Data storage equipment
Experiments

Low Cost Video Animation of People using a RGBD Sensor

Thomsen, C. J., Moeslund, T. B. & Jensen, T. H. P., 2017, Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 1: GRAPP. SCITEPRESS Digital Library, Bind 1. s. 244-249

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

Åben adgang
Animation
Sensors
Costs
Color
Optical flows
58 Downloads (Pure)

MAIME: A Maintenance Manager for ETL Processes

Butkevicius, D., Freiberger, P. D., Halberg, F. M., Hansen, J. B., Jensen, S., Tarp, M., Huang, H. X. & Thomsen, C., 15 mar. 2017, Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017). CEUR Workshop Proceedings, 10 s. 8. (CEUR Workshop Proceedings, Bind 1810).

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

Åben adgang
Fil
Managers
Mathematical transformations
Servers
Competitive intelligence
Industry

Measuring energy expenditure in sports by thermal video analysis

Gade, R., Larsen, R. G. & Moeslund, T. B., 24 aug. 2017, Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE

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

Sports
Oxygen
Experiments
Energy Metabolism
Hot Temperature
1 Citation (Scopus)

Measuring the Latency of an Augmented Reality System for Robot-Assisted Minimally Invasive Surgery

Jørgensen, M. K. & Kraus, M., 2017, Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications: GRAPP, (VISIGRAPP 2017). SCITEPRESS Digital Library, Bind 1. s. 321-326

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

Augmented reality
Surgery
Robots
Photons
Visual communication
5 Citationer (Scopus)

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

Liebel, G., Anjorin, A., Knauss, E., Lorber, F. & Tichy, M., 2017, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (red.). Portugal: SCITEPRESS Digital Library, Bind 1. s. 427-434

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

Multi-Agent Pathfinding with n Agents on Graphs with n Vertices: Combinatorial Classification and Tight Algorithmic Bounds

Förster, K-T., Groner, L., Hoefler, T., König, M., Schmid, S. & Wattenhofer, R., 17 apr. 2017, Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings. Springer, s. 247 13 s. (Lecture Notes in Computer Science, Bind 10236).

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

217 Downloads (Pure)

Multimodal Neural Network for Overhead Person Re-identification

Lejbølle, A. R., Nasrollahi, K., Krogh, B. & Moeslund, T. B., 2017, 16th International Conference of the Biometrics Special Interest Group. IEEE, (Lecture Notes in Informatics, Bind 2017).

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

Åben adgang
Fil
Cameras
Neural networks
Textures
Lighting
Color
7 Citationer (Scopus)

Mutation-Based Test-Case Generation with Ecdar

Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 apr. 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, s. 319-328 10 s. 7899077

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

Testing
Specifications
Alarm systems
Railroad cars
2 Citationer (Scopus)

Online multi-target learning of inverse dynamics models for computed-torque control of compliant manipulators

Polydoros, A. S., Boukas, E. & Nalpantidis, L., 13 dec. 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2017. IEEE, Bind 2017-September. s. 4716-4722 7 s. 8206344. (I E E E International Conference on Intelligent Robots and Systems. Proceedings).

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

Torque control
Manipulators
Dynamic models
Robots
Robotics
1 Citation (Scopus)

Online tree caching

Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 jul. 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Bind Part F129316. s. 329-338 10 s.

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

2 Citationer (Scopus)

On the axiomatizability of quantitative algebras

Mardare, R. I., Panagaden, P. & Plotkin, G., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

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

Horn clause
Algebra
Quasivariety
Equational Theory
Model Theory
4 Citationer (Scopus)

On the Consistent Migration of Unsplittable Flows: Upper and Lower Complexity Bounds

Förster, K-T., dec. 2017, Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. IEEE

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

Dynamic programming
Switches
Hardness
Scheduling

Opening up Danish FCD - Exploration of movement FCD data: A case study of GeoVisual analytics for four-legged intersections

Kveladze, I., Agerholm, N. & Lahrmann, H. S., 19 jun. 2017, 12th ITS European Congress: ITS Beyond Borders. ERTICO - ITS Europe, 14 s.

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

automobile
temporal distribution
2 Citationer (Scopus)

Optimal control of a wave energy converter

Hendrikx, R. W. M., Leth, J., Andersen, P. & Heemels, W. P. M. H., 6 okt. 2017, 1st Annual IEEE Conference on Control Technology and Applications, CCTA 2017. IEEE, Bind 2017-January. s. 779-786 8 s.

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

Torque control
Maximum principle
Electricity
Trajectories

Optimization design of a bionic lower limb rehabilitation robot with dynamic analysis

Zhou, L., Chen, W., Wang, J., Liu, J., Chen, W. & Bai, S., 1 dec. 2017, 2017 IEEE International Conference on Robotics and Biomimetics (ROBIO). IEEE, s. 718-723 6 s.

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

3 Citationer (Scopus)

Optimizing Grippers for Compensating Pose Uncertainties by Dynamic Simulation

Wolniakowski, A., Kramberger, A., Gams, A., Chrysostomou, D., Hagelskjær, F., Thulesen, T. N., Kiforenko, L., Buch, A. G., Bodenhagen, L., Petersen, H. G., Madsen, O., Ude, A. & Krüger, N., 23 feb. 2017, IEEE International Conference on Simulation, Modelling, and Programming for Autonomous Robots (SIMPAR). IEEE, s. 177-184 7 s.

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

Grippers
Computer simulation
Robotics
Experiments
Switches
5 Citationer (Scopus)

Outsmarting Network Security with SDN Teleportation

Thimmaraju, K., Schiff, L. & Schmid, S., 28 jun. 2017, Proceedings - 2017 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, s. 563-578 16 s. 7962003

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

Network security
Telecommunication networks
Switches
Software defined networking
11 Citationer (Scopus)

O'zapft is: Tap your network algorithm's big data!

Blenk, A., Kalmbach, P., Kellerer, W. & Schmid, S., 7 aug. 2017, Big-DAMA 2017 - Proceedings of the 2017 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2017. Association for Computing Machinery, s. 19-24 6 s.

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

Learning systems
Big data
Computer networks
Planning
4 Citationer (Scopus)
170 Downloads (Pure)

Pain Expression as a Biometric: Why Patients’ Self-Reported Pain doesn’t Match with the Objectively Measured Pain?

Haque, M. A., Nasrollahi, K. & Moeslund, T. B., 13 jun. 2017, IEEE International Conference on Identity, Security and Behavior Analysis (ISBA), 2017 . IEEE, 7947690

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

Fil
Pain
Facial Expression
Facial Pain
Shoulder Pain
Pain Measurement
1 Citation (Scopus)

Parallelizing Federated SPARQL Queries in Presence of Replicated Data

Minier, T., Montoya, G., Skaf-Molli, H. & Molli, P., 2017, The Semantic Web: ESWC 2017 Satellite Events: ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers. Springer, s. 181-196 (Lecture Notes in Computer Science, Bind 10577).

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

Åben adgang
Engines
Servers
Availability
Decomposition
1 Citation (Scopus)
63 Downloads (Pure)

Parameter learning algorithms for continuous model improvement using operational data

Madsen, A. L., Jeppesen, N. S., Jensen, F., Sayed, M. S., Moser, U., Neto, L., Reis, J. & Lohse, N., 2017, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Proceedings. Springer, s. 115-124 10 s. (Lecture Notes In Artificial Intelligence; Nr. 10369).

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

Åben adgang
Fil
Bayesian networks
Learning algorithms
Industrial robots
Software architecture
Robots
2 Citationer (Scopus)

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, s. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Bind 10610).

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

132 Downloads (Pure)

Participatory Design with Dyslectics: Design and Evaluation of an Enhancing Reading Skills Tool

Vangeli, P. & Stage, J., 1 dec. 2017, Interactive Mobile Communication Technologies and Learning: Proceedings of the 11th IMCL Conference. Auer, M. E. & Tsiatsos, T. (red.). Springer, s. 317-330 (Advances in Intelligent Systems and Computing, Bind 725).

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

Åben adgang
Fil
Application programs
Education
1 Citation (Scopus)
5 Downloads (Pure)

PeNeLoop: Parallelizing Federated SPARQL Queries in Presence of Replicated Fragments

Minier, T., Montoya, G., Skaf-Molli, H. & Molli, P., 2017, Joint Proceedings of the 2nd RDF Stream Processing (RSP 2017) and the Querying the Web of Data (QuWeDa 2017) Workshops co-located with 14th ESWC 2017 (ESWC 2017), Portoroz, Slovenia, May 28th - to - 29th, 2017. CEUR Workshop Proceedings, Bind 1870. s. 37-50 14 s. (CEUR Workshop Proceedings, Bind 1870).

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

Åben adgang
Fil
Engines
Availability
Decomposition

Pixel reprojection of 360 degree renderings for small parallax effects

Haurum, J. B., Daugbjerg, C. N., Rohoska, P., Coifman, A. L., Hansen, A. J. & Kraus, M., 2017, Augmented Reality, Virtual Reality, and Computer Graphics: 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I. Springer, s. 253-262 10 s. (Lecture Notes in Computer Science, Bind 10324 LNCS).

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

Pixels
Cameras
Geometry
Virtual reality

Practical controller synthesis for MTL0,∞

Li, G., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 13 jul. 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, s. 102-111 10 s.

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

Temporal logic
Controllers
Model checking
Scalability
20 Citationer (Scopus)

Predicting completeness in knowledge bases

Galárraga, L., Razniewski, S., Amarilli, A. & Suchanek, F. M., 2 feb. 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 375-383 9 s.

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

ProjecTables: Augmented CNC Tools for Sustainable Creative Practices

Rasmussen, T. & Merritt, T., 2017, CAADRIA 2017: 22nd International Conference on Computer-Aided Architectural Design Research in Asia. The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), s. 757-767 11 s.

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

Åben adgang
Augmented reality
Rapid prototyping
Sustainable development
Materials properties
Wood
6 Citationer (Scopus)

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Bind 10580. s. 248-265 18 s. (Lecture Notes in Computer Science).

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

15 Downloads (Pure)

QBOAirbase: The European Air Quality Database as an RDF Cube

Galárraga, L., Ahlstrøm, K. & Hose, K., 2017, Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks: co-located with 16th International Semantic Web Conference (ISWC 2017). CEUR Workshop Proceedings, 4 s. 507. (C E U R Workshop Proceedings, Bind 1963).

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

Åben adgang
Fil
11 Citationer (Scopus)
309 Downloads (Pure)

Quantifying risk of ground impact fatalities of power line inspection BVLOS flight with small unmanned aircraft

La Cour-Harbo, A., 13 jun. 2017, 2017 International Conference on Unmanned Aircraft Systems (ICUAS). IEEE, s. 1352 - 1360 (International Conference on Unmanned Aircraft Systems (ICUAS)).

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

Fil