Carl H. Smith

Orcid: 0000-0001-8490-4864

Affiliations:
  • University of Maryland, College Park, USA


According to our database1, Carl H. Smith authored at least 109 papers between 1974 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Hyperhuman Technology Anonymous.
Proceedings of the Electronic Visualisation and the Arts, 2024

Hyperhumanism in the Age of Generative AI: The impact on human creativity and identity.
Proceedings of the Electronic Visualisation and the Arts, 2024

Holotechnica: Exploring the nexus of altered states and altered traits.
Proceedings of the Electronic Visualisation and the Arts, 2024

EVA 2024 Keynotes.
Proceedings of the Electronic Visualisation and the Arts, 2024

Hyperhumanism Versus Transhumanism in New Media Art.
Proceedings of the Arts and Computational Culture: Real and Virtual Worlds, 2024

2023
The World as an Interface: Exploring the Ethical Challenges of the Emerging Metaverse.
Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

The Sacred Sound Chamber and The Cyberdelic Renaissance.
Proceedings of the Electronic Visualisation and the Arts, 2023

The Intentional Use of Sound Design in the Egyptian Temples and the Great Pyramid.
Proceedings of the Electronic Visualisation and the Arts, 2023

Re-Enchantment with Technology and Ourselves: Constructing the technomancy and neuromancy framework.
Proceedings of the Electronic Visualisation and the Arts, 2023

2022
Cyberdelics: Context Engineering Psychedelics to Develop Altered Traits.
Proceedings of the Electronic Visualisation and the Arts, 2022

Umwelt Hacking: Can we sense like a forest, a mycelium network or an octopus?
Proceedings of the Electronic Visualisation and the Arts, 2022

Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the Metaverse.
Proceedings of the Electronic Visualisation and the Arts, 2022

2021
Design and Deployment Considerations for Ethically Advanced Technologies for Human Flourishing in the Workplace.
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.
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.
Proceedings of the Electronic Visualisation and the Arts, 2021

EVA London 2021 Workshops.
Proceedings of the Electronic Visualisation and the Arts, 2021

An Ecology for the Re-Enchantment of Life.
Proceedings of the Electronic Visualisation and the Arts, 2021

2020
Transforming TEL for Human Flourishing: Learning Enhanced Technology (LET).
Proceedings of the IEEE International Conference on Teaching, 2020

Techno-Hyperhumanism.
Proceedings of the Electronic Visualisation and the Arts, 2020

Living in Parallel: Adventures in pluralism and double consciousness.
Proceedings of the Electronic Visualisation and the Arts, 2020

EVA London 2020 Workshops.
Proceedings of the Electronic Visualisation and the Arts, 2020

Designing Interfaces for Creative Learning Environments Using the Transreality Storyboarding Framework.
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.
Proceedings of the Electronic Visualisation and the Arts, 2019

2018
The Seventh Ray: A Mixed Reality initiation experience.
Proceedings of the Electronic Visualisation and the Arts, 2018

2017
Natural Media Workshop.
Proceedings of the Electronic Visualisation and the Arts, 2017

Visions of an Imagined Venice Suspended Between Memories and New Possibilities.
Proceedings of the Electronic Visualisation and the Arts, 2017

Affordances for Capturing and Re-enacting Expert Performance with Wearables.
Proceedings of the Data Driven Approaches in Digital Education, 2017

2016
Context Engineering Experience Framework.
Proceedings of the Electronic Visualisation and the Arts, 2016

2014
Context Engineering Hybrid Spaces for Perceptual Augmentation.
Proceedings of the Electronic Visualisation and the Arts, 2014

2013
Experience Communication through Post Digital Design.
Proceedings of the Electronic Visualisation and the Arts, 2013

2008
Learning with belief levels.
J. Comput. Syst. Sci., 2008

2003
On the intrinsic complexity of learning recursive functions.
Inf. Comput., 2003

2002
Learning by the Process of Elimination.
Inf. Comput., 2002

UPSILON: Universal Programming System with Incomplete Lazy Object Notation.
Fundam. Informaticae, 2002

Letter to the Editor.
AI Mag., 2002

Category, Measure, Inductive Inference: A Triality Theorem and Its Applications.
Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001
Hierarchies of probabilistic and team FIN-learning.
Theor. Comput. Sci., 2001

On the role of search for learning from examples.
J. Exp. Theor. Artif. Intell., 2001

Robust Learning Is Rich.
J. Comput. Syst. Sci., 2001

Towards Axiomatic Basis of Inductive Inference.
Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001

2000
CS1 and CS2 (panel session): foundations of computer science and discrete mathematics.
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

1999
On the Inductive Inference of Recursive Real-Valued Functions.
Theor. Comput. Sci., 1999

The functions of finite support: a canonical learning problem.
J. Exp. Theor. Artif. Intell., 1999

Inductive Inference with Procrastination: Back to Definitions.
Fundam. Informaticae, 1999

On the Intrinsic Complexity of Learning Recursive Functions.
Proceedings of the Twelfth Annual Conference on Computational Learning Theory, 1999

1998
On the Relative Sizes of Learnable Sets.
Theor. Comput. Sci., 1998

A Logic of Discovery.
Proceedings of the Discovery Science, 1998

On the Power of Learning Robustly.
Proceedings of the Eleventh Annual Conference on Computational Learning Theory, 1998

Editor's Introduction.
Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998

1997
Classifying Predicates and Languages.
Int. J. Found. Comput. Sci., 1997

Learning Small Programs with Additional Information.
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

Learning Formulae from Elementary Facts.
Proceedings of the Computational Learning Theory, Third European Conference, 1997

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

Team Learning as a Game.
Proceedings of the Algorithmic Learning Theory, 8th International Conference, 1997

1996
On Duality in Learning and the Selection of Learning Terms.
Inf. Comput., 1996

Learning with Confidence.
Proceedings of the STACS 96, 1996

General Inductive Inference Types Based on Linearly-Ordered Sets.
Proceedings of the STACS 96, 1996

1995
Generalization versus classification.
J. Exp. Theor. Artif. Intell., 1995

On Learning Multiple Concepts in Parallel.
J. Comput. Syst. Sci., 1995

On the Impact of Forgetting on Learning Machines.
J. ACM, 1995

Training Digraphs.
Inf. Process. Lett., 1995

On the Intrinsic Complexity of Learning.
Inf. Comput., 1995

Learning via Queries with Teams and Anomalies.
Fundam. Informaticae, 1995

Recursion Theoretic Models of Learning: Some Results and Intuitions.
Ann. Math. Artif. Intell., 1995

Measure, Category and Learning Theory.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Classifying Recursive Predicates and Languages.
Proceedings of the Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, 1995

Probabilistic versus Deterministic Memory Limited Learning.
Proceedings of the Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, 1995

On the Inductive Inference of Real Valued Functions.
Proceedings of the Eigth Annual Conference on Computational Learning Theory, 1995

1994
Choosing a learning team: a topological approach.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 1994

Co-Learning of Total Recursive Functions.
Proceedings of the Seventh Annual ACM Conference on Computational Learning Theory, 1994

Training Diagraphs.
Proceedings of the Algorithmic Learning Theory, 1994

Three Decades of Team Learning.
Proceedings of the Algorithmic Learning Theory, 1994

Co-learnability and FIN-identifiability of Enumerable Classes of Total Recursive Functions.
Proceedings of the Algorithmic Learning Theory, 1994

A recursive introduction to the theory of computation.
Graduate Texts in Computer Science, Springer, ISBN: 978-1-4419-8501-9, 1994

1993
On the Role of Procrastination in Machine Learning
Inf. Comput., December, 1993

The Syntax of Parallelism.
Fundam. Informaticae, 1993

On the impact of forgetting on learing machines.
Bull. EATCS, 1993

Classification of predicates and languages.
Proceedings of the First European Conference on Computational Learning Theory, 1993

On the Duality Between Mechanistic Learners and What it is They Learn.
Proceedings of the Algorithmic Learning Theory, 4th International Workshop, 1993

1992
Learning via Queries.
J. ACM, 1992

Learning programs with an easy to calculate set of errors.
Fundam. Informaticae, 1992

Memory Limited Inductive Inference Machines.
Proceedings of the Algorithm Theory, 1992

1991
On Weyuker's Axioms For Software Complexity Measures.
IEEE Trans. Software Eng., 1991

Self-learning inductive inference machines.
Comput. Intell., 1991

1990
On the Inference of Approximate Programs.
Theor. Comput. Sci., 1990

Learning Via Queries With Teams and Anomilies.
Proceedings of the Third Annual Workshop on Computational Learning Theory, 1990

1989
Trade-Off among Parameters Effecting Inductive Inference
Inf. Comput., September, 1989

Training Sequences.
Theor. Comput. Sci., 1989

On the Role of Search for Learning.
Proceedings of the Second Annual Workshop on Computational Learning Theory, 1989

A Refutation of Barzdins' Conjecture.
Proceedings of the Analogical and Inductive Inference, 1989

1988
Probability and Plurality for Aggregations of Learning Machines
Inf. Comput., April, 1988

On the notion of granularity.
J. Supercomput., 1988

A note on arbitrarily complex recursive functions.
Notre Dame J. Formal Log., 1988

1987
A Recursion Theoretic Approach to Program Testing.
IEEE Trans. Software Eng., 1987

1986
On the Complexity of Inductive Inference
Inf. Control., 1986

On the Inference of Programs Approximately Computing the Desired Function.
Proceedings of the Analogical and Inductive Inference, 1986

On the Inference of Sequences of Functions.
Proceedings of the Analogical and Inductive Inference, 1986

1985
A complexity measure for data flow models.
Int. J. Parallel Program., 1985

1984
A Proof of the Determinacy Property of the Data Flow Schema.
Inf. Process. Lett., 1984

On the complextiy of inductive inference.
Bull. EATCS, 1984

On the Complexity of Inductive Inference (Preliminary Report).
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1983
Inductive Inference: Theory and Methods.
ACM Comput. Surv., 1983

1982
A Combinatorial Problem Concerning Processor Interconnection Networks.
IEEE Trans. Computers, 1982

The Power of Pluralism for Automatic Program Synthesis.
J. ACM, 1982

1981
The Power of Parallelism for Automatic Program Synthesis
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1976
Memory Hardware for High Speed Job Selection.
IEEE Trans. Computers, 1976

1974
Microprogrammed random access stored program machines.
SIGACT News, 1974

An Improved Bound for Detecting Looping Configurations in Deterministic DPA's.
Inf. Process. Lett., 1974

Discriminating Content Addressable Memories.
Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974


  Loading...