Publikationer pr. år
Publikationer 1987 2020
- 350 - 400 ud af 2.659 resultater
- Udgivelsesår, titel (faldende)
2017
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Marketing
Application programming interfaces (API)
Demonstrations
Visualization
Pipelines
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Manipulators
Torque
Kinematics
Actuators
Damping
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
Wi-Fi
Bluetooth
Interpolation
Sensors
Uncertainty
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
Message passing
Set theory
Network protocols
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
Presheaves
W-algebras
Matrix Algebra
Dimensionality
Completely Positive Maps
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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. 8014183Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Resistors
Muscle
Sensors
Patient rehabilitation
Support vector machines
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. 87Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
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-6619Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Experiments
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fog
Servers
Program processors
Throughput
Engines
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Electric fuses
Learning algorithms
Fusion reactions
Lighting
Cameras
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 LibraryPublikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
Unmanned aerial vehicles (UAV)
Wind turbines
Turbomachine blades
Inspection
Wind power
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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. 8023135Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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-249Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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). IEEEPublikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Sports
Oxygen
Experiments
Energy Metabolism
Hot Temperature
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-326Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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-434Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
Cameras
Neural networks
Textures
Lighting
Color
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. 7899077Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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, 8005102Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Horn clause
Algebra
Quasivariety
Equational Theory
Model Theory
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. IEEEPublikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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. 7962003Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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, 7947690Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil
Pain
Facial Expression
Facial Pain
Shoulder Pain
Pain Measurement
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
Bayesian networks
Learning algorithms
Industrial robots
Software architecture
Robots
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Augmented reality
Rapid prototyping
Sustainable development
Materials properties
Wood
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Fil
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil