Research Output 1970 2018

Filter
Conference contribution
2018

A modal logic analysis of a line-following robot

Battle, S. & Thompson, M. 2018 Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland: Springer, p. 42-55 14 p. (Communications in Computer and Information Science; vol. 732)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modal Logic
State Space
Robot
Robots
Kripke Models

A Natural Proof System for Herbrand's Theorem

Ralph, B. 2018 Symposium on Logical Foundations in Computer Science 2018. Artemov, S. & Nerode, A. (eds.). Springer, p. 289-308 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proof System
Theorem
First-order Logic
Proof Theory
Propositional Logic

Augmented Skeleton Space Transfer for Depth-based Hand Pose Estimation

Baek, S., Kim, K. I. & Kim, T. K. 19 Feb 2018 (Accepted/In press) Proc. CVPR.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Discriminators
Byproducts
Data acquisition
Cameras
Availability

Deontic Sensors

Padget, J., De Vos, M. & Page, C. 13 Jul 2018 International Joint Conference on Artificial Intelligence 2018: IJCAI-18. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 475-481 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Multi agent systems
Sensors

Exploring Data in Virtual Reality: Comparisons with 2D Data Visualizations

Millais, P., Jones, S. & Kelly, R. 21 Apr 2018 CHI’18 Extended Abstracts. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Data visualization
Virtual reality
Visualization

Fitbit for the Mind?: An Exploratory Study of ‘Cognitive Personal Informatics’

Dudley, C. & Jones, S. 21 Apr 2018 CHI 2018 Extended Abstracts. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Brain
Brain computer interface
Electroencephalography

Foot Contact Timings and Step Length for Sprint Training

Evans, M., Colyer, S., Cosker, D. & Salo, A. 12 Mar 2018 2018 IEEE Winter Conference on Applications of Computer Vision: WACV 2018. IEEE, p. 1652-1660 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Biomechanics
Takeoff
Landing
Computer vision
Gold

Governing narrative events with tropes as institutional norms

Thompson, M., Padget, J. & Battle, S. 2018 Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland: Springer, p. 133-137 5 p. (Communications in Computer and Information Science; vol. 732)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Norm
Social Norms
Narrative
Arc of a curve
Modeling

High-order Tensor Regularization with Application to Attribute Ranking

Kim, K. I., Park, J. & Tompkin, J. 19 Feb 2018 (Accepted/In press) Proc. CVPR.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tensors
Geometry
Derivatives

Improving Shape Deformation in Unsupervised Image-to-Image Translation

Gokaslan, A., Ramanujan, V., Ritchie, D., Kim, K. I. & Tompkin, J. 3 Jul 2018 (Accepted/In press) Proc. of European Conference on Computer Vision (ECCV).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Interactive Feedforward for Improving Performance and Maintaining Intrinsic Motivation in VR Exergaming

Barathi, S. C., Finnegan, D. J., Farrow, M., Whaley, A., Heath, P., Buckley, J., Dowrick, P. W., Wünsche, B. C., Bilzon, J. L. J., O'Neill, E. & Lutteroth, C. 21 Apr 2018 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. New York, U. S. A.: ACM and Addison-Wesley, 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Methodologies of Symbolic Computation

Davenport, J. Sep 2018 AISC 2018: Proceedings. Fleuriot, J. (ed.). Cham: Springer, Cham

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Algebra
Computational complexity

Multi-Task Deep Networks for Depth-Based 6D Object Pose and Joint Registration in Crowd Scenarios

Sock, J., Kim, K. I., Sahin, C. & Kim, T. K. 2 Jul 2018 (Accepted/In press) Proc. of British Machine Vision Conference (BMVC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Multi-task Learning by Maximizing Statistical Dependence

Alami Mejjati, Y., Cosker, D. & Kim, K. I. 19 Feb 2018 (Accepted/In press) Proceedings of CVPR.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Random variables
Deep neural networks

Orthogonal tropical linear prevarieties

Vorobjov, N. & Grigoriev, D. 5 Jun 2018 (Accepted/In press) The 20th International Workshop on Computer Algebra in Scientific Computing. Springer, 10 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proof nets for bi-intuitionistic linear logic

Bellin, G. & Heijltjes, W. 1 Jul 2018 3rd International Conference on Formal Structures for Computation and Deduction: Leibnitz International proceedings in Informatics. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17 17 p. 10

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Proof Nets
Linear Logic
Intuitionistic Logic
Correctness
Tensor

Ranking CGANs: Subjective Control over Semantic Image Attributes

Saquil, Y., Kim, K. I. & Hall, P. 2 Jul 2018 (Accepted/In press) Proc. of British Machine Vision Conference (BMVC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Supporting Credibility Assessment of News in Social Media using Star Ratings and Alternate Sources

Kenning, M., Kelly, R. & Jones, S. 21 Apr 2018 CHI’18 Extended Abstracts. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
News
Rating
Credibility
Social media
Augmentation
2017
1 Citations

A case study on the parametric occurrence of multiple steady states

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A. 23 Jul 2017 ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Protein Kinase
Biological Networks
Symbolic Computation
Numerics
Positivity

A Generalised Successive Resultants Algorithm

Davenport, J. H., Petit, C. & Pring, B. 9 Mar 2017 Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Revised Selected Papers. Springer Verlag, Vol. 10064 LNCS, p. 105-124 20 p. (Lectures Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10064 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Polynomials

A little bit of frustration can go a long way

Boulton, A., Hourizi, R., Jefferies, D. & Guy, A. 2017 Advances in Computer Games - 15th International Conferences, ACG 2017, Revised Selected Papers. Springer Verlag, p. 188-200 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10664 )

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Frustration
Human computer interaction
Video Games
Game
Gaming
1 Citations

A Manifesto for Conscientious Design of Hybrid Online Social Systems

Noriega, P., Verhagen, H., D’Inverno, M. & Padget, J. 31 Aug 2017 Coordination, Organizations, Institutions, and Norms in Agent Systems XII. Cranefield, S., Mahmoud, S., Padget, J. & Rocha, A. P. (eds.). Springer International Publishing, (Lecture Notes in Artificial Intelligence; vol. 10315)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An Approach to Reducing Distance Compression in Audiovisual Virtual Environments

Finnegan, D., O'Neill, E. & Proulx, M. 19 Mar 2017 2017 IEEE 3rd VR Workshop on Sonic Interactions for Virtual Environments (SIVE) . IEEE, 7901607

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Virtual reality
Headphones
Photography
Display devices
Experiments

An Investigation of Design Parameters for Constructive Online Discussion Environment

Yu, B. 8 Aug 2017 Proceedings of 15th European Conference on Computer-Supported Cooperative Work - Doctoral Colloquium. European Society for Socially Embedded Technologies (EUSSET), 4 p. (Reports of the European Society for Socially Embedded Technologies; vol. 1, no. 4)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Digital storage
Human computer interaction

Automatic Generation of User Interface Layouts for Alternative Screen Orientations

Zeidler, C., Weber, G., Stuerzlinger, W. & Lutteroth, C. Sep 2017 Human-Computer Interaction - Interact 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25 - 29, 2017, Proceedings, Part 1. Bernhaupt, R., Dalvi, G., Joshi, A., Bakrishnan, D. K., O'Neill, J. & Winckler, M. (eds.). Springer, Vol. 10513, p. 13-35 23 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Balancing Different Fitness Levels in Competitive Exergames based on Heart Rate and Performance

Tece Bayrak, A., AhMu, D., Hohepa, J., Kumar, R., Shaw, L. A., Lutteroth, C. & Wünsche, B. C. Nov 2017 (Accepted/In press) Proceedings of the 29th Australian Conference on Human-Computer Interaction (OzCHI). Association for Computing Machinery, 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Criteria Sliders: Learning Continuous Database Criteria via Interactive Ranking

Tompkin, J., Kim, K. I., Pfister, H. & Theobalt, C. 2017 Proc. British Machine Vision Conference, 2017.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unsupervised learning
Metadata
Labels
Geometry
Experiments

Demanding by design: supporting effortful communication practices in close personal relationships

Kelly, R., Gooch, D., Patil, B. & Watts, L. 25 Feb 2017 CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 70-83 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

communication
communication technology
mediation
new technology
artifact

Designing Commenting Mechanisms for Dynamic Media: Synchronous Overlay and Adjacent Scrollable

Yu, B. & Watts, L. Jun 2017 DIS '17 Companion Proceedings of the 2017 ACM Conference Companion Publication on Designing Interactive Systems . New York, U. S. A.: Association for Computing Machinery, p. 18-22 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
interaction
political speech
video clip

Efficient program analyses using deductive and semantic methodologies

Selvaraj, G., Weber, G. & Lutteroth, C. 14 Nov 2017 Proceedings - 13th IEEE International Conference on eScience, eScience 2017. IEEE, p. 440-441 2 p. 8109166

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
semantics
methodology
Research
Ontology

Enjoyment, Immersion, and Attentional Focus in a Virtual Reality Exergame with Differing Visual Environments

Abernathy, M., Shaw, L. A., Lutteroth, C., Buckley, J., Corballis, P. M. & Wünsche, B. C. 2017 Proceedings of the International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments (ICAT/EGVE). Eurographics Digital Library, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Virtual reality

Evaluating sensory feedback for immersion in exergames

Shaw, L. A., Wuensche, B. C., Lutteroth, C., Buckley, J. & Corballis, P. 30 Jan 2017 Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2017. Association for Computing Machinery, Vol. Part F126226, a11

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sensory feedback
Feedback
Acoustic waves
Display devices

GlGetFeedback - Towards automatic feedback and assessment for OpenGL 3D modelling assignments

Hodgkinson, B., Lutteroth, C. & Wunsche, B. 3 Jan 2017 Proceedings of the 2016 International Conference on Image and Vision Computing New Zealand, IVCNZ 2016. IEEE, 7804418

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Feedback
Computer graphics
Computer programming
Computer science
Pipelines

Identifying affordances for modelling second-order emergent phenomena with the WIT framework

Noriega, P., Sabater-Mir, J., Verhagen, H., Padget, J. & D’Inverno, M. 24 Jun 2017 (Accepted/In press) AAMAS 2017 Workshops Visionary Papers. Sukthankar, G. & Rodriguez, J. A. (eds.). Springer International Publishing, Vol. 10643, (Lecture Notes in Artificial Intelligence)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modelling information acquisition and its impact on social structure

Fedorec, A. J. H. & Bryson, J. J. 2017 Proceedings of AISB Annual Convention 2017. Bryson, J., De Vos, M. & Padget, J. (eds.). The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB), p. 306-311 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Animals
Finite automata
Agglomeration
Costs

On the Length of Medial-Switch-Mix Derivations

Bruscoli, P. & Strassburger, L. Jun 2017 Logic, Language and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18–21, 2017: Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Berlin, Germany: Springer Verlag, p. 68-79 (Lecture Notes in Computer Science; vol. 10388)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Inference Rules
Proof System
Switch
Switches
Associativity

Predictor Combination at Test Time

Kim, K. I., Tompkin, J. & Richardt, C. 22 Oct 2017 Proceedings of the International Conference on Computer Vision (ICCV), 2017. IEEE, p. 3553-3561 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning algorithms
1 Citations

Real-Time online action detection forests using spatio-Temporal contexts

Baek, S., Kim, K. I. & Kim, T. K. 11 May 2017 Proceedings - 2017 IEEE Winter Conference on Applications of Computer Vision (WACV), 2017. IEEE, p. 158-167 10 p. 7926608

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Classifiers
Statistics
Neural networks
Testing
Processing

SceneCtrl: Mixed Reality Enhancement via Efficient Scene Editing

Yue, Y-T., Yang, Y., Ren, G. & Wang, W. 2017 (Accepted/In press) ACM Symposium on User Interface Software and Technology (UIST). Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics

Gowers, W. J. & Laird, J. 31 May 2017 Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science. Bonchi, F. & König, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (LIPIcs)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Game Semantics
Coalgebra
Game
Functor
Transformer

The potential and challenges of CAD with equational constraints for SC-square

Davenport, J. H. & England, M. 2017 Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Germany: Springer Verlag, p. 280-285 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 )

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modulo
Decomposition
Decompose
Quantifier Elimination
Polynomial Systems

Tour de Tune -- Auditory-game-motor synchronisation in Exergames

Finlayson, J., Peterson, J., Free, J., Lo, M., Shaw, L. A., Lutteroth, C. & Wünsche, B. C. 2017 Proceedings of the International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments (ICAT/EGVE). Eurographics Digital Library, 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Synchronization
Computer games
1 Citations

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

Huang, Z., England, M., Davenport, J. & Paulson, L. 26 Jan 2017 Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. Davenport, J. (ed.). IEEE, p. 45-52 7829592

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Learning systems
Decomposition
Computational geometry
Support vector machines
Experiments
3 Citations

WireDraw: 3D wire sculpturing guided with mixed reality

Yue, Y-T., Zhang, X., Yang, Y., Ren, G., Choi, Y-K. & Wang, W. 6 May 2017 CHI '17 : CHI Conference on Human Factors in Computing Systems, Denver, CO, USA — May 06 - 11, 2017. New York: Association for Computing Machinery, p. 3693-3704

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
2016

A C++ Programming Model for Heterogeneous System Architecture

Potter, R., Bradford, R., Murray, A. & Dolinsky, U. 6 Oct 2016 High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers. Taufer, M., Mohr, B. & Kunkel, J. M. (eds.). Springer International Publishing, p. 433-450 17 p. (Lecture Notes in Computer Science; vol. 9945)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Virtual addresses
High level languages
Particle accelerators
Codes (standards)
Application programming interfaces (API)

A two-phase dialogue game for skeptical preferred semantics

Shams, Z. & Oren, N. 2016 Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Proceedings. Springer Verlag, p. 570-576 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10021 )

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Labeling
Semantics
1 Citations

Behavioural facial animation using motion graphs and mind maps

Serra, J., Orvalho, V. & Cosker, D. 10 Oct 2016 MIG '16, Proceedings of the 9th International Conference on Motion in Games. New York, U. S. A.: Association for Computing Machinery, p. 161-166 6 p. 2994270

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Animation
Controllers
Costs

Category theoretic semantics for theorem proving in logic programming: embracing the laxness

Komendantskaya, E. & Power, J. 4 Jun 2016 Proceedings of Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Hasuo, I. (ed.). Springer, p. 94-113 (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Theorem Proving
Logic Programming
Logic Programs
Coalgebra
Propositional Logic

Classical extraction in continuation models

Blot, V. 1 Jun 2016 Leibniz International Proceedings in Informatics, LIPIcs, 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52, p. 13.1-13.17 13

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Continuation
Natural numbers
Trick
1 Citations

Conflict nets: efficient locally canonical MALL proof nets

Hughes, D. & Heijltjes, W. 2 Jul 2016 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016. New York, U. S. A.: Association for Computing Machinery, p. 437-446 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Proof Nets
Linear Logic
Multiplicative
Unit
Conflict