Carl H. Smith

According to our database, Carl H. Smith authored at least 104 papers between 1974 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

The World as an Interface: Exploring the Ethical Challenges of the Emerging Metaverse.

Carl H. Smith, Judith Molka-Danielsen, Jazz Rasool, Jean-Brunel Webb-Benjamin

Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

The Sacred Sound Chamber and The Cyberdelic Renaissance.

Carl Hayden Smith, Tom Middleton, Joe Crossley, Jose Montemayor Alba, Benjamin I. Outram, Melissa Warner

Proceedings of the Electronic Visualisation and the Arts, 2023

The Intentional Use of Sound Design in the Egyptian Temples and the Great Pyramid.

Carl Hayden Smith, Tom Middleton, Joe Crossley

Proceedings of the Electronic Visualisation and the Arts, 2023

Re-Enchantment with Technology and Ourselves: Constructing the technomancy and neuromancy framework.

Carl Hayden Smith, William L. J. Bigmore

Proceedings of the Electronic Visualisation and the Arts, 2023

2022

Cyberdelics: Context Engineering Psychedelics to Develop Altered Traits.

Carl Hayden Smith, Melissa Warner

Proceedings of the Electronic Visualisation and the Arts, 2022

Umwelt Hacking: Can we sense like a forest, a mycelium network or an octopus?

Carl Hayden Smith, Roseanne Wakely

Proceedings of the Electronic Visualisation and the Arts, 2022

Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the Metaverse.

Tula Giannini, Jonathan P. Bowen, Chris Michaels, Carl Hayden Smith

Proceedings of the Electronic Visualisation and the Arts, 2022

2021

Design and Deployment Considerations for Ethically Advanced Technologies for Human Flourishing in the Workplace.

Judith Molka-Danielsen, Jazz Rasool, Carl H. Smith

Proceedings of the Human Work Interaction Design. Artificial Intelligence and Designing for a Positive Work Experience in a Low Desire Society, 2021

Transitioning from Transmedia to Transreality Storyboarding to Improve the Co-Creation of the Experience Space.

Jazz Rasool, Judith Molka-Danielsen, Carl H. Smith

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

The Museum of Consciousness: Interactive, audio-based exhibits for cultivating altered states of consciousness.

Carl Hayden Smith, Kenneth Shinozuka, Alex Zhao, Michael Ronen

Proceedings of the Electronic Visualisation and the Arts, 2021

EVA London 2021 Workshops.

Carl Hayden Smith, Daniel Buzzo, Eyal Gruss

Proceedings of the Electronic Visualisation and the Arts, 2021

An Ecology for the Re-Enchantment of Life.

Carl Hayden Smith

Proceedings of the Electronic Visualisation and the Arts, 2021

2020

Transforming TEL for Human Flourishing: Learning Enhanced Technology (LET).

Carl H. Smith, Judith Molka-Danielsen, Jazz Rasool

Proceedings of the IEEE International Conference on Teaching, 2020

Techno-Hyperhumanism.

Carl H. Smith, Eddie Castañeda

Proceedings of the Electronic Visualisation and the Arts, 2020

Living in Parallel: Adventures in pluralism and double consciousness.

Carl H. Smith

Proceedings of the Electronic Visualisation and the Arts, 2020

EVA London 2020 Workshops.

Nick Lambert, Carl H. Smith

Proceedings of the Electronic Visualisation and the Arts, 2020

Designing Interfaces for Creative Learning Environments Using the Transreality Storyboarding Framework.

Jazz Rasool, Judith Molka-Danielsen, Carl H. Smith

Proceedings of the BDE 2020: 2nd International Conference on Big Data Engineering, 2020

2019

XR for XR - Context Craft: An extended reality platform that transforms local environments through play.

Carl H. Smith, Jay F. Cousins

Proceedings of the Electronic Visualisation and the Arts, 2019

2018

The Seventh Ray: A Mixed Reality initiation experience.

Carl H. Smith, Sarah James

Proceedings of the Electronic Visualisation and the Arts, 2018

2017

Natural Media Workshop.

Carl H. Smith, Jazz Rasool, Nick Lambert, Robert Pepperell, Tony Langford, Kim H. Veltman

Proceedings of the Electronic Visualisation and the Arts, 2017

Visions of an Imagined Venice Suspended Between Memories and New Possibilities.

Carl H. Smith, Jazz Rasool, Nick Lambert, Robert Pepperell, Tony Langford, Lena Korkovelou

Proceedings of the Electronic Visualisation and the Arts, 2017

Affordances for Capturing and Re-enacting Expert Performance with Wearables.

Will Guest, Fridolin Wild, Alla Vovk, Mikhail Fominykh, Bibeg Limbu, Roland Klemke, Puneet Sharma, Jaakko Karjalainen, Carl H. Smith, Jazz Rasool, Soyeb Aswat, Kaj Helin, Daniele Di Mitri, Jan Schneider

Proceedings of the Data Driven Approaches in Digital Education, 2017

2016

Context Engineering Experience Framework.

Carl H. Smith

Proceedings of the Electronic Visualisation and the Arts, 2016

2014

Context Engineering Hybrid Spaces for Perceptual Augmentation.

Carl H. Smith

Proceedings of the Electronic Visualisation and the Arts, 2014

2013

Experience Communication through Post Digital Design.

Carl H. Smith

Proceedings of the Electronic Visualisation and the Arts, 2013

2008

Learning with belief levels.

Janis Barzdins, Rusins Freivalds, Carl H. Smith

J. Comput. Syst. Sci., 2008

2003

On the intrinsic complexity of learning recursive functions.

Sanjay Jain, Efim B. Kinber, Christophe Papazian, Carl H. Smith, Rolf Wiehagen

Inf. Comput., 2003

2002

Learning by the Process of Elimination.

Rusins Freivalds, Marek Karpinski, Carl H. Smith, Rolf Wiehagen

Inf. Comput., 2002

UPSILON: Universal Programming System with Incomplete Lazy Object Notation.

Brian Postow, Kenneth W. Regan, Carl H. Smith

Fundam. Informaticae, 2002

Letter to the Editor.

Carl H. Smith

AI Mag., 2002

Category, Measure, Inductive Inference: A Triality Theorem and Its Applications.

Rusins Freivalds, Carl H. Smith

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001

Hierarchies of probabilistic and team FIN-learning.

Andris Ambainis, Kalvis Apsitis, Rusins Freivalds, Carl H. Smith

Theor. Comput. Sci., 2001

On the role of search for learning from examples.

Stuart A. Kurtz, Carl H. Smith, Rolf Wiehagen

J. Exp. Theor. Artif. Intell., 2001

Robust Learning Is Rich.

Sanjay Jain, Carl H. Smith, Rolf Wiehagen

J. Comput. Syst. Sci., 2001

Towards Axiomatic Basis of Inductive Inference.

Janis Barzdins, Rusins Freivalds, Carl H. Smith

Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001

2000

CS1 and CS2 (panel session): foundations of computer science and discrete mathematics.

D. S. Tomer, Doug Baldwin, Carl H. Smith, Peter B. Henderson, Venu Vadisigi

Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

1999

On the Inductive Inference of Recursive Real-Valued Functions.

Kalvis Apsitis, Setsuo Arikawa, Rusins Freivalds, Eiju Hirowatari, Carl H. Smith

Theor. Comput. Sci., 1999

The functions of finite support: a canonical learning problem.

Rusins Freivalds, Efim B. Kinber, Carl H. Smith

J. Exp. Theor. Artif. Intell., 1999

Inductive Inference with Procrastination: Back to Definitions.

Andris Ambainis, Rusins Freivalds, Carl H. Smith

Fundam. Informaticae, 1999

On the Intrinsic Complexity of Learning Recursive Functions.

Efim B. Kinber, Christophe Papazian, Carl H. Smith, Rolf Wiehagen

Proceedings of the Twelfth Annual Conference on Computational Learning Theory, 1999

1998

On the Relative Sizes of Learnable Sets.

Lance Fortnow, Rusins Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl H. Smith, Frank Stephan

Theor. Comput. Sci., 1998

A Logic of Discovery.

Janis Barzdins, Rusins Freivalds, Carl H. Smith

Proceedings of the Discovery Science, 1998

On the Power of Learning Robustly.

Sanjay Jain, Carl H. Smith, Rolf Wiehagen

Proceedings of the Eleventh Annual Conference on Computational Learning Theory, 1998

Editor's Introduction.

Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann

Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998

1997

Classifying Predicates and Languages.

Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann

Int. J. Found. Comput. Sci., 1997

Learning Small Programs with Additional Information.

Rusins Freivalds, Gints Tervits, Rolf Wiehagen, Carl H. Smith

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Learning Formulae from Elementary Facts.

Janis Barzdins, Rusins Freivalds, Carl H. Smith

Proceedings of the Computational Learning Theory, Third European Conference, 1997

Asymmetric Team Learning.

Kalvis Apsitis, Rusins Freivalds, Carl H. Smith

Proceedings of the Tenth Annual Conference on Computational Learning Theory, 1997

Team Learning as a Game.

Andris Ambainis, Kalvis Apsitis, Rusins Freivalds, William I. Gasarch, Carl H. Smith

Proceedings of the Algorithmic Learning Theory, 8th International Conference, 1997

1996

On Duality in Learning and the Selection of Learning Terms.

Kalvis Apsitis, Rusins Freivalds, Carl H. Smith

Inf. Comput., 1996

Learning with Confidence.

Janis Barzdins, Rusins Freivalds, Carl H. Smith

Proceedings of the STACS 96, 1996

General Inductive Inference Types Based on Linearly-Ordered Sets.

Andris Ambainis, Rusins Freivalds, Carl H. Smith

Proceedings of the STACS 96, 1996

1995

Generalization versus classification.

Rolf Wiehagen, Carl H. Smith

J. Exp. Theor. Artif. Intell., 1995

On Learning Multiple Concepts in Parallel.

Efim B. Kinber, Carl H. Smith, Mahendran Velauthapillai, Rolf Wiehagen

J. Comput. Syst. Sci., 1995

On the Impact of Forgetting on Learning Machines.

Rusins Freivalds, Efim B. Kinber, Carl H. Smith

J. ACM, 1995

Training Digraphs.

Hsieh-Chang Tu, Carl H. Smith

Inf. Process. Lett., 1995

On the Intrinsic Complexity of Learning.

Rusins Freivalds, Efim B. Kinber, Carl H. Smith

Inf. Comput., 1995

Learning via Queries with Teams and Anomalies.

William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann

Fundam. Informaticae, 1995

Recursion Theoretic Models of Learning: Some Results and Intuitions.

Carl H. Smith, William I. Gasarch

Ann. Math. Artif. Intell., 1995

Measure, Category and Learning Theory.

Lance Fortnow, Rusins Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl H. Smith, Frank Stephan

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Classifying Recursive Predicates and Languages.

Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann

Proceedings of the Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, 1995

Probabilistic versus Deterministic Memory Limited Learning.

Rusins Freivalds, Efim B. Kinber, Carl H. Smith

Proceedings of the Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, 1995

On the Inductive Inference of Real Valued Functions.

Kalvis Apsitis, Rusins Freivalds, Carl H. Smith

Proceedings of the Eigth Annual Conference on Computational Learning Theory, 1995

1994

Choosing a learning team: a topological approach.

Kalvis Apsitis, Rusins Freivalds, Carl H. Smith

Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 1994

Co-Learning of Total Recursive Functions.

Rusins Freivalds, Marek Karpinski, Carl H. Smith

Proceedings of the Seventh Annual ACM Conference on Computational Learning Theory, 1994

Training Diagraphs.

Hsieh-Chang Tu, Carl H. Smith

Proceedings of the Algorithmic Learning Theory, 1994

Three Decades of Team Learning.

Carl H. Smith

Proceedings of the Algorithmic Learning Theory, 1994

Co-learnability and FIN-identifiability of Enumerable Classes of Total Recursive Functions.

Rusins Freivalds, Dace Gobleja, Marek Karpinski, Carl H. Smith

Proceedings of the Algorithmic Learning Theory, 1994

A recursive introduction to the theory of computation.

Carl H. Smith

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4419-8501-9, 1994

1993

On the Role of Procrastination in Machine Learning

Rusins Freivalds, Carl H. Smith

Inf. Comput., December, 1993

The Syntax of Parallelism.

Amihood Amir, Carl H. Smith

Fundam. Informaticae, 1993

On the impact of forgetting on learing machines.

Rusins Freivalds, Efim B. Kinber, Carl H. Smith

Bull. EATCS, 1993

Classification of predicates and languages.

Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann

Proceedings of the First European Conference on Computational Learning Theory, 1993

On the Duality Between Mechanistic Learners and What it is They Learn.

Rusins Freivalds, Carl H. Smith

Proceedings of the Algorithmic Learning Theory, 4th International Workshop, 1993

1992

Learning via Queries.

William I. Gasarch, Carl H. Smith

J. ACM, 1992

Learning programs with an easy to calculate set of errors.

William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai

Fundam. Informaticae, 1992

Memory Limited Inductive Inference Machines.

Rusins Freivalds, Carl H. Smith

Proceedings of the Algorithm Theory, 1992

1991

On Weyuker's Axioms For Software Complexity Measures.

John C. Cherniavsky, Carl H. Smith

IEEE Trans. Software Eng., 1991

Self-learning inductive inference machines.

Karlis Cerans, Carl H. Smith

Comput. Intell., 1991

1990

On the Inference of Approximate Programs.

Carl H. Smith, Mahendran Velauthapillai

Theor. Comput. Sci., 1990

Learning Via Queries With Teams and Anomilies.

Efim B. Kinber, William I. Gasarch, Thomas Zeugmann, Mark G. Pleszkoch, Carl H. Smith

Proceedings of the Third Annual Workshop on Computational Learning Theory, 1990

1989

Trade-Off among Parameters Effecting Inductive Inference

Rusins Freivalds, Carl H. Smith, Mahendran Velauthapillai

Inf. Comput., September, 1989

Training Sequences.

Dana Angluin, William I. Gasarch, Carl H. Smith

Theor. Comput. Sci., 1989

On the Role of Search for Learning.

Stuart A. Kurtz, Carl H. Smith

Proceedings of the Second Annual Workshop on Computational Learning Theory, 1989

A Refutation of Barzdins' Conjecture.

Stuart A. Kurtz, Carl H. Smith

Proceedings of the Analogical and Inductive Inference, 1989

1988

Probability and Plurality for Aggregations of Learning Machines

Leonard Pitt, Carl H. Smith

Inf. Comput., April, 1988

On the notion of granularity.

Clyde P. Kruskal, Carl H. Smith

J. Supercomput., 1988

A note on arbitrarily complex recursive functions.

Carl H. Smith

Notre Dame J. Formal Log., 1988

1987

A Recursion Theoretic Approach to Program Testing.

John C. Cherniavsky, Carl H. Smith

IEEE Trans. Software Eng., 1987

1986

On the Complexity of Inductive Inference

Robert P. Daley, Carl H. Smith

Inf. Control., 1986

On the Inference of Programs Approximately Computing the Desired Function.

Carl H. Smith, Mahendran Velauthapillai

Proceedings of the Analogical and Inductive Inference, 1986

On the Inference of Sequences of Functions.

William I. Gasarch, Carl H. Smith

Proceedings of the Analogical and Inductive Inference, 1986

1985

A complexity measure for data flow models.

Howard E. Motteler, Carl H. Smith

Int. J. Parallel Program., 1985

1984

A Proof of the Determinacy Property of the Data Flow Schema.

Nam Sung Woo, Carl H. Smith, Ashok K. Agrawala

Inf. Process. Lett., 1984

On the complextiy of inductive inference.

Robert P. Daley, Carl H. Smith

Bull. EATCS, 1984

On the Complexity of Inductive Inference (Preliminary Report).

Robert P. Daley, Carl H. Smith

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1983

Inductive Inference: Theory and Methods.

Dana Angluin, Carl H. Smith

ACM Comput. Surv., 1983

1982

A Combinatorial Problem Concerning Processor Interconnection Networks.

Michael J. O'Donnell, Carl H. Smith

IEEE Trans. Computers, 1982

The Power of Pluralism for Automatic Program Synthesis.

Carl H. Smith

J. ACM, 1982

1981

The Power of Parallelism for Automatic Program Synthesis

Carl H. Smith

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1976

Memory Hardware for High Speed Job Selection.

Carl H. Smith, Larry D. Wittie

IEEE Trans. Computers, 1976

1974

Microprogrammed random access stored program machines.

Carl H. Smith, Jan van Leeuwen

SIGACT News, 1974

An Improved Bound for Detecting Looping Configurations in Deterministic DPA's.

Jan van Leeuwen, Carl H. Smith

Inf. Process. Lett., 1974

Discriminating Content Addressable Memories.

Carl H. Smith, Larry D. Wittie

Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974