Research Output 1970 2018

Filter
Chapter
2018

Communication

Wortham, R. H. & Bryson, J. J. 26 Apr 2018 Living Machines: A handbook of research in biomimetics and biohybrid systems. Prescott, T. J., Lepora, N. & Verschure, P. F. M. J. (eds.). Oxford, U. K.: Oxford University Press

Research output: Chapter in Book/Report/Conference proceedingChapter

Communication
Robots
Biomimetics
Animals
Robotics

InverseFaceNet: Deep Monocular Inverse Face Rendering

Kim, H., Zollhöfer, M., Tewari, A., Thies, J., Richardt, C. & Theobalt, C. 4 Apr 2018 Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE

Research output: Chapter in Book/Report/Conference proceedingChapter

Lighting
Deep neural networks

LIME: Live Intrinsic Material Estimation

Meka, A., Maximov, M., Zollhöfer, M., Seidel, H-P., Richardt, C. & Theobalt, C. 4 Apr 2018 Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE

Research output: Chapter in Book/Report/Conference proceedingChapter

Cloning
Surface properties
Mirrors
Image processing
Lighting

Technologically Enhanced Dating: Augmented Human Relationships, Robots, and Fantasy

Davidson, B., Joinson, A. & Jones, S. 5 Jun 2018 A Networked Self and Love. Papacharissi, Z. (ed.). Routledge, p. 129-155

Research output: Chapter in Book/Report/Conference proceedingChapter

2017

Agent-Based Modelling

Gallagher, E. & Bryson, J. J. 7 Nov 2017 (Accepted/In press) Encyclopedia of Animal Cognition and Behavior. Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

A Non-classical Logical Approach to Social Software

Baskent, C. 2 Mar 2017 Rohit Parikh on Logic, Language and Society. Cham: Springer, Vol. 11, p. 91-109 (Outstanding Contributions to Logic; vol. 11)

Research output: Chapter in Book/Report/Conference proceedingChapter

social media
study program
computer science

Dense motion estimation for smoke

Chen, D., Li, W. & Hall, P. 2017 Computer Vision -ACCV 2016 - 13th Asian Conference on Computer Vision, Revised Selected Papers. Nishino, K., Lai, S-H., Lepetit, V. & Sato, Y. (eds.). Springer Nature, p. 225-239 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10114 )

Research output: Chapter in Book/Report/Conference proceedingChapter

Motion estimation
Smoke
Computer vision
Neural networks

Robot transparency: Improving understanding of intelligent behaviour for designers and users

Wortham, R. H., Theodorou, A. & Bryson, J. J. 20 Jul 2017 Towards Autonomous Robotic Systems: 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017 : Proceedings. Gao, Y., Fallah, S., Jin, Y. & Lakakou, C. (eds.). Berlin: Springer, p. 274-289 (Lecture Notes in Artificial Intelligence; vol. 10454)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Transparency
Robots
Decoding
Decision making

Visual support for complex repair operations in a global aerospace company

Joel-Edgar, S., Shi, L., Emanuel, L., Jones, S., Watts, L., Newnes, L., Payne, S., Hicks, B. & Culley, S. 2017 Visual Analytics for Management: Translational Science and Applications in Practice. Bendoly, E. & Clark, S. (eds.). Abingdon: Routledge, p. 100-112 8

Research output: Chapter in Book/Report/Conference proceedingChapter

repair
project
monitoring
2016

A Logic for the Compliance Budget

Anderson, G., McCusker, G. & Pym, D. 2016 Proceedings, GameSec 2016- Decision and Game Theory for Security: 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. & Casey, W. (eds.). Springer Verlag, p. 370-381 (Lecture Notes in Computer Science; vol. 9996)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Logic
Security policy
Behavioural change
Economic security
Breach
1 Citations

Complexity of integration, special values, and recent developments

Davenport, J. Jul 2016 Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, p. 485-491 (Lecture Notes in Computer Science; vol. 9725)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Values
literature
5 Citations

Dense Wide-Baseline Scene Flow From Two Handheld Video Cameras

Richardt, C., Kim, H., Valgaerts, L. & Theobalt, C. 25 Oct 2016 Proceedings of the 2016 Fourth International Conference on 3D Vision : 25–28 October 2016 Stanford, California, USA. Los Alamitos, CA, USA: IEEE, p. 276-285 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Video cameras
Cameras
Pixels
Sensors
10 Citations

General Automatic Human Shape and Motion Capture Using Volumetric Contour Cues

Rhodin, H., Robertini, N., Casas, D., Richardt, C., Seidel, H-P. & Theobalt, C. 16 Sep 2016 Computer Vision - ECCV 2016: Proceedings of the 14th European Conference, Amsterdam, The Netherlands, October 11–14, 2016. Leibe, B., Matas, J., Sebe, N. & Welling, M. (eds.). Cham, Switzerland: Springer, Vol. Part V, p. 509-526 18 p. (Lecture Notes in Computer Science; vol. 9099)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Animation
Visibility
Image processing
Cameras

InstAL: An Institutional Action Language

Padget, J., Elakehal, E., Li, T. & De Vos, M. 2016 Social Coordination Frameworks for Social Technical Systems. Springer Verlag, Vol. 30, p. 101 124 p. (Law, Governance and Technology Series )

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
4 Citations

Need Polynomial Systems be Doubly-exponential?

Davenport, J. & England, M. 2016 Mathematical Software – ICMS, 2016. Greuel, G. M., Koch, T., Paule, P. & Sommese, A. (eds.). Switzerland: Springer Verlag, p. 157-164 (Lecture Notes in Computer Science; vol. 9725)

Research output: Chapter in Book/Report/Conference proceedingChapter

Normative practical reasoning via argumentation and dialogue

Shams, Z., De Vos, M., Oren, N. & Padget, J. 2016 Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. Kambhampati, S. (ed.). Palo Alto, U. S. A.: AAAI Press, p. 1244-1250

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Decision making
Planning
Compliance

Simulation and the evolution of thought

Bryson, J. J. 1 Jan 2016 Memory in the Twenty-First Century: New Critical Perspectives from the Arts, Humanities, and Sciences. Groes, S. (ed.). Palgrave Macmillan, p. 205-207 3 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Simulation
Thought
Reverie
Entertainment
Devotion

The confabulation of self

Bryson, J. J. 1 Jan 2016 Memory in the Twenty-First Century: New Critical Perspectives from the Arts, Humanities, and Sciences. Groes, S. (ed.). Palgrave Macmillan, p. 334-337 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Ego
1 Citations

Topological semantics for da costa paraconsistent logics Cω and C ω

Baskent, C. 9 Feb 2016 New Directions in Paraconsistent Logic, Part IV: 5th WCP, Kolkata, India, February 2014. Dutta, S., Beziau, J-Y. & Chakraborty, M. (eds.). Springer, p. 427-444 18 p. (Springer Proceedings in Mathematics & Statistics; vol. 152)

Research output: Chapter in Book/Report/Conference proceedingChapter

semantics
newton
logic

Why most decisions are easy in Tetris—And perhaps in other sequential decision problems, as well

Şimşek, Ö., Algorta, S. & Kothiyal, A. 2016 Proceedings of the 33nd International Conference on Machine Learning (ICML 2016), New York City, NY, USA, June 19-24, 2016. Balcan, M-F. & Weinberger, K. Q. (eds.). p. 1757-1765 9 p. (JMLR Workshop and Conference Proceedings; vol. 48)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
Learning algorithms
Function evaluation
2015
3 Citations

Artificial intelligence and pro-social behaviour

Bryson, J. Oct 2015 Collective Agency and Cooperation in Natural and Artificial Systems: Explanation, Implementation and Simulation. Misselhorn, C. (ed.). Berlin: Springer, p. 281-306 15. (Philosophical Studies; vol. 122)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Artificial Intelligence
Prosocial Behavior
Reviewing
Hinge
Simulation
7 Citations

A Versatile Scene Model with Differentiable Visibility Applied to Generative Pose Estimation

Rhodin, H., Robertini, N., Richardt, C., Seidel, H-P. & Theobalt, C. Dec 2015 Proceedings of the 2015 IEEE International Conference on Computer Vision, 11-18 December 2015, Santiago, Chile. Los Alamitos, CA, USA: IEEE, p. 765-773 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Visibility
Cameras
Geometry
Image processing

Deep Inference

Guglielmi, A. 2015 All About Proofs, Proofs for All. College Publications, (Mathematical Logic and Foundations)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
3 Citations

Development of an inexpensive Augmented Reality (AR) headset

De Angeli, D. & O'Neill, E. 18 Apr 2015 CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems . New York, U. S. A.: Association for Computing Machinery, p. 971-976

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Augmented reality
Smartphones
Mobile phones
Luminance
Lighting

Facial Capture and Animation in Visual Effects

Cosker, D. 7 May 2015 Digital Representations of the Real World: How to Capture, Model, and Render Visual Reality. Sorkine, O., Magnor, M., Grau, O. & Theobalt, C. (eds.). CRC Press, p. 311-321 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Animation
Skin
Computer graphics
Computer vision
Industry

It's Not Personal: Can Logbooks provide insights into engineering projects?

Snider, C., McAlpine, H., Gopsill, J., Jones, S., Shi, L. & Hicks, B. 1 Jul 2015 DS 80-10 Proceedings of the 20th International Conference on Engineering Design (ICED 15) Vol 10. Weber, C., Husung, S., Cantamessa, M., Cascini, G., Marjanovic, D. & Venkataraman, S. (eds.). The Design Society, Vol. 10, p. 219-230 12 p. (IECD)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
3 Citations

Learning from small samples: An analysis of simple decision heuristics

Şimşek, Ö. & Buckmann, M. 2015 Advances in Neural Information Processing Systems 28 (NIPS 2015): Annual Conference on Neural Information Processing Systems, Montreal, Quebec, Canada, December 7-12, 2015. Cortes, C., Lawrence, N. D., Lee, D. D., Sugiyama, M. & Garnett, R. (eds.). Curran Associates, Inc., p. 3159-3167 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
Decision making
Animals
1 Citations

Recent advances in real geometric reasoning

Davenport, J. H. & England, M. 31 Aug 2015 Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Botana, F. & Quaresma, P. (eds.). Springer, p. 37-52 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9201)

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Polynomials
2014
2 Citations

A Logical Basis for Quantum Evolution and Entanglement

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L. 2014 Categories and Types in Logic, Language, and Physics. Springer, Vol. 8222, p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222)

Research output: Chapter in Book/Report/Conference proceedingChapter

inference
logic
apexes
strings
tensors
14 Citations

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. & Bridge, J. 2014 Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, Vol. 8543, p. 92-107 16 p. (Lecture Notes in Artificial Intelligence)

Research output: Chapter in Book/Report/Conference proceedingChapter

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

ArgPROLEG: A normative framework for the JUF theory

Shams, Z., Vos, M. D. & Satoh, K. 6 Nov 2014 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8417, p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8417)

Research output: Chapter in Book/Report/Conference proceedingChapter

File
argumentation
decision making
popularity
flexibility
dialogue
7 Citations

Building an Internet of school things ecosystem: A national collaborative experience

Joyce, C., Pham, H., Fraser, D. S., Payne, S., Crellin, D. & McDougall, S. 2014 IDC '14 proceedigs of the 2014 conference on interaction design and children. New York : Association for Computing Machinery, p. 289-292 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Ecosystems
Internet
Students
Internet of things

Development Tools for Ubiquitous Music on the World Wide Web

Lazzarini, V., Costello, E., Yi, S. & ffitch, J. P. 2014 Ubiquitous Music. Keller, D., Lazzarini, V. & Pimenta, M. S. (eds.). Springer, p. 111-128 18 p. 6. (Computational Music Science)

Research output: Chapter in Book/Report/Conference proceedingChapter

World Wide Web
Chromium

Don't measure - appreciate: NPR seen through the prism of art history

Hall, P. M. & Lehmann, A-S. 2014 Image and Video-Based Artistic Stylisation. Collomosse, J. & Rosin, P. (eds.). UK: Springer, Vol. 42, p. 333-351 19 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Art History
Authorship
Turing Test
Art
Cultural Context
2 Citations

Emotionally driven robot control architecture for human-robot interaction

Novikova, J., Gaudl, S. & Bryson, J. 2014 Towards Autonomous Robotic Systems . Natraj, A., Cameron, S., Melhuish, C. & Witkowski, M. (eds.). Berlin, Germany: Springer, p. 261-263 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Human robot interaction
Robots
Communication
2 Citations

Haptic and Audio Displays for Augmented Reality Tourism Applications

Wei, S., Ren, G. & O'Neill, E. 2014 IEEE Haptics Symposium, HAPTICS. p. 485-488 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Augmented reality
Display devices
Mobile phones

Introduction to Machine Learning for Computer Graphics

Hall, P. M. 2014 ACM SIGGRAPH 2014 Courses, SIGGRAPH 2014. Association for Computing Machinery, 20

Research output: Chapter in Book/Report/Conference proceedingChapter

Computer graphics
Learning systems
Animation
Data structures
Statistics
4 Citations

Learning graphs to model visual objects across different depictive styles

Wu, Q., Cai, H. & Hall, P. 22 Sep 2014 Computer Vision – ECCV 2014: 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part VII. Fleet , D., Pajdla , T., Schiele , B. & Tuytelaars , T. (eds.). Cham, Switzerland: Springer, p. 313-328 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8695)

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Painting
Computer vision
Labels
Lighting
Experiments
5 Citations

On the pigeonhole and related principles in deep inference and monotone systems

Das, A. 2014 Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. Association for Computing Machinery, 36

Research output: Chapter in Book/Report/Conference proceedingChapter

Monotone Systems
Monotone
Threshold Function
Boolean Functions
Sort
13 Citations

Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. & Wilson, D. 2014 Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, p. 45-60 15 p. (Lecture Notes in Artificial Intelligence; vol. 8543)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Decomposition
Invariance
Refining
Polynomials
Geometry
1 Citations

Tactile features: recognising touch sensations with a novel and inexpensive tactile sensor

Corradi, T., Hall, P. & Iravani, P. 2014 Advances in Autonomous Robotics Systems: Lecture Notes in Computer Science. Mistry, M., Leonardis, A., Witkowski, M. & Melhuish, C. (eds.). Springer, p. 163-172 10 p. (Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics; vol. 8717)

Research output: Chapter in Book/Report/Conference proceedingChapter

Principal component analysis
Sensors
Computer vision
Support vector machines
Rubber
4 Citations

Temporally consistent snow cover estimation from noisy, irregularly sampled measurements

Rüfenacht, D., Brown, M., Beutel, J. & Süsstrunk, S. 2014 VISAPP 2014 - Proceedings of the 9th International Conference on Computer Vision Theory and Applications. Vol. 2, p. 275-283 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

snow cover
snow
imagery
weather
penalty
12 Citations

Truth table invariant cylindrical algebraic decomposition by regular chains

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. & Wilson, D. 2014 Computer Algebra in Scientific Computing: Proceedings of the16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer, Vol. 8660, p. 44-58 15 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Decomposition
Invariance
Charge coupled devices
Polynomials
5 Citations

Understanding and addressing cultural variation in costly antisocial punishment

Bryson, J. J., Mitchell, J., Powers, S. T. & Sylwester, K. 2014 Applied Evolutionary Anthropology: Darwinian Approaches to Contemporary World Issues. Gibson, M. A. & Lawson, D. W. (eds.). London, U. K.: Springer, p. 201-222 (Advances in the Evolutionary Analysis of Human Behaviour; vol. 1)

Research output: Chapter in Book/Report/Conference proceedingChapter

File
penalty
economics
information exchange
altruism
constitutional state
2013

Combining and Relating Control Operators and their Semantics

Laird, J. 2013 Control Operators and their Semantics. Elsevier, Vol. 127, p. 113-129 16 p. 8. (Electronic Proceedings in Theoretical Computer Science)

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations

Denoising strategies for time-of-flight data

Lenzen, F., Kim, K. I., Schäfer, H., Nair, R., Meister, S., Becker, F., Garbe, C. S. & Theobalt, C. Nov 2013 Time-of-Flight and Depth Imaging : Sensors, Algorithms and Applications - Dagstuhl Seminar 2012 and GCPR Workshop on Imaging New Modalities . Grzegorzek, M., Theobalt, C., Koch, R. & Kolb, A. (eds.). Berlin, Germany: Springer Verlag, p. 25-45 21 p. (Lecture Notes in COmputer Science)

Research output: Chapter in Book/Report/Conference proceedingChapter

13 Citations

Freehand Gestural Text Entry for Interactive TV

Ren, G. & O'Neill, E. 2013 EuroITV '13 Proceedings of the 11th european conference on Interactive TV and video . New York: Association for Computing Machinery, p. 121-129 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Interactive television
Sensors
Costs

Improved image segmentation using motion

Howell, L., Child, P. & Hall, P. 1 Jan 2013 ACM International Conference Proceeding Series.

Research output: Chapter in Book/Report/Conference proceedingChapter

Image segmentation
Color
13 Citations

Linear decision rule as aspiration for simple decision heuristics

Şimşek, Ö. 2013 Advances in Neural Information Processing Systems 26 (NIPS 2013), 27th Annual Conference on Neural Information Processing Systems 2013: Proceedings of a meeting held December 5-8, 2013, Lake Tahoe, Nevada, United States. Burges, C. J. C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. Q. (eds.). Curran Associates, Inc., p. 2904-2912 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
Aspiration
Decision heuristics
Decision rules
Heuristics
Natural environment
23 Citations

Megastereo: Constructing High-Resolution Stereo Panoramas

Richardt, C., Pritch, Y., Zimmer, H. & Sorkine-Hornung, A. 3 Oct 2013 Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition : 23-28 June 2013, Portland, Oregon, USA . Los Alamitos, CA, USA: IEEE, p. 1256--1263 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
Image resolution