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

Robot
Robots
Modal logic
State space
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
First-order logic
Proof theory
Propositional logic
Theorem

Augmented Skeleton Space Transfer for Depth-based Hand Pose Estimation

Baek, S., Kim, K. I. & Kim, T. K. 19 Feb 2018 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. 16 Apr 2018 International Joint Conference on Artificial Intelligence 2018. Lang, J. (ed.). 7 p.

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

Open Access
File
Multi-agent systems
Sensor
Deontic
Route
Certification

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
Virtual reality
Data visualization
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

Social norms
Norm
Arc of a curve
Modeling

High-order Tensor Regularization with Application to Attribute Ranking

Kim, K. I., Park, J. & Tompkin, J. 19 Feb 2018 Proc. CVPR.

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

Higher-order tensor
Tensor
Attribute
Riemannian manifold
Euclidean space

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. 2018 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. ACM and Addison-Wesley, 14 p.

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

Open Access
File

Multi-task Learning by Maximizing Statistical Dependence

Alami Mejjati, Y., Cosker, D. & Kim, K. I. 19 Feb 2018 Proceedings of CVPR.

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

Random variables
Neural networks

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
Stars
Experiments
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

Human computer interaction
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
Distance Perception
Photography

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 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

investment
communication technology
mediation
artifact
recipient

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
media
interaction
political speech
video clip
user

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

Caprylates
Semantics
Acyclic Acids
Accessory Nerve
Impedance Cardiography

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

Feedback
Sensory feedback
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

Computer graphics
Feedback
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 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
Switches

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
Experiments

SceneCtrl: Mixed Reality Enhancement via Efficient Scene Editing

Yue, Y-T., Yang, Y., Ren, G. & Wang, W. 2017 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
Coalgebra
Game semantics
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

Decomposition
Polynomials

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
Groebner basis
Precondition
Decomposition algorithm
Decompose
Machine learning

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
C (programming language)
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

Argumentation
Dung
Correctness
Labeling
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
Logic programs
Coalgebra
Logic programming
Theorem proving
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
Game semantics
Unfolding
Natural number
Model
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
Linear logic
Proof nets
Multiplicative
Unit
Linear time
3 Citations

Design of a virtual trainer for exergaming

Shaw, L. A., Tourrel, R., Wünsche, B. C., Lutteroth, C., Marks, S. & Buckley, J. 2016 Proceedings of the Australasian Computer Science Week Multiconference (ASCW), 2016. New York, U. S. A.: Association for Computing Machinery, 63

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

Sports

Design Space Descriptions for Logical Generation of Content

Smith, T., Padget, J. & Vidler, A. Aug 2016 STAIRS 2016 - Proceedings of the Eighth European Starting AI Researcher Symposium. Pearce, D. & Pinto, H. S. (eds.). IOS Press, Vol. 284, p. 209-214 (Frontiers in Artificial Intelligence and Applications; vol. 284)

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

Open Access
File
Semantics
Computer games
Computer programming
Engines
1 Citations

Factors influencing consumer intention to adopt Consumer Health Informatics applications an empirical study in Malaysia

Krishnan, S. B., Dhillon, J. S. & Lutteroth, C. 2016 Proceedings of the IEEE Student Conference on Research and Development (SCOReD), 2015. IEEE, p. 653-658 6 p.

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

2 Citations

Fixed points in quantitative semantics

Laird, J. Jul 2016 LICS '16, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science . Shankar, N. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 347-356

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

Open Access
File
Fixed point
Semiring
Infinite sum
Denotational semantics
Monoidal category

Game semantics for bounded polymorphism

Laird, J. 22 Mar 2016 Foundations of Software Science and Computation Structures: Proceedings of19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016.. Jacobs, B. & Loding, C. (eds.). The Netherlands: Springer Verlag, p. 55-70 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634)

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

Open Access
File
Semantics
Polymorphism
Computer programming languages
1 Citations

Hybrid realizability for intuitionistic and classical choice

Blot, V. 5 Jul 2016 LICS '16, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science. New York, U. S. A.: IEEE, p. 575-584 10 p.

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

Axiom of choice
Realizability
Classical logic
Recursion
Countable