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

Agent-Based Modelling

Gallagher, E. & Bryson, J. J. 7 Nov 2017 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

Software
Research program
Computer science
Social knowledge

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

Managers
Repair
Monitoring
Industry
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
Security policy
Uncertainty
Qualitative analysis
Costs
Quantitative analysis
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
integration
complexity
development
parameter
function
2 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
Cameras
Video cameras
Pixels
Sensors
6 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
Argumentation
Practical reasoning
Planning
Achievement goals

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

Reverie
Entertainment
Casting
Devotion
Simulation

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

confabulation
Self-awareness

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

Paraconsistent 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
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
Uniqueness
Prediction
Prosocial behavior
Reviewing
5 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
2 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
Heuristics
Small sample
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
Geometric reasoning
Quantifier elimination
Polynomial
Alternatives
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

Slice
Entanglement
Directed acyclic graph
Quantum systems
Tensor
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
Machine learning
Heuristics
Decompose
Real closed fields
Quantifier elimination
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
Modeling
Dispute
Burden of proof
Multi-agent systems
6 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

Internet
school
technology
best practice
copyright

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

Programming

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

Rendering
Turing test
Experiment
Art history
Historical perspective
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
Display devices
Augmented reality
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
Statistics
Sensors
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
4 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
Monotone systems
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
3 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
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
Truth table
Decompose
Invariant
Maple
Invariance
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
Punishment
Propensity
Evolutionary
Well-being
Stranger
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

10 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

Color
Image segmentation
9 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
Heuristics
Aspiration
Approximation
21 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

Multiagent organizations

Dignum, V. & Padget, J. Mar 2013 Multiagent Systems, 2nd ed.. Weiss, G. (ed.). Cambridge, U. K.: MIT Press, p. 51-98 (Intelligent Robotics & Autonomous Agents Series)

Research output: Chapter in Book/Report/Conference proceedingChapter