Carl H. Smith

ORCID

Publication Activity (10 Years)

Years Active: 1974-2024
Publications (10 Years): 15

Top Venues

Publications

Nick Lambert, Carl H. Smith, David Hanson, Tom Middleton, Erinma Ochu, Katherine Green
EVA 2024 Keynotes. EVA (2024)
Carl H. Smith, Judith Molka-Danielsen, Jazz Rasool, Jean-Brunel Webb-Benjamin
The World as an Interface: Exploring the Ethical Challenges of the Emerging Metaverse. HICSS (2023)
Judith Molka-Danielsen, Jazz Rasool, Carl H. Smith
Design and Deployment Considerations for Ethically Advanced Technologies for Human Flourishing in the Workplace. HWID (2021)
Jazz Rasool, Judith Molka-Danielsen, Carl H. Smith
Transitioning from Transmedia to Transreality Storyboarding to Improve the Co-Creation of the Experience Space. HICSS (2021)
Carl H. Smith
Living in Parallel: Adventures in pluralism and double consciousness. EVA (2020)
Nick Lambert, Carl H. Smith
EVA London 2020 Workshops. EVA (2020)
Jazz Rasool, Judith Molka-Danielsen, Carl H. Smith
Designing Interfaces for Creative Learning Environments Using the Transreality Storyboarding Framework. BDE (2020)
Carl H. Smith, Judith Molka-Danielsen, Jazz Rasool
Transforming TEL for Human Flourishing: Learning Enhanced Technology (LET). TALE (2020)
Carl H. Smith, Eddie Castañeda
Techno-Hyperhumanism. EVA (2020)
Carl H. Smith, Jay F. Cousins
XR for XR - Context Craft: An extended reality platform that transforms local environments through play. EVA (2019)
Carl H. Smith, Sarah James
The Seventh Ray: A Mixed Reality initiation experience. EVA (2018)
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
Affordances for Capturing and Re-enacting Expert Performance with Wearables. EC-TEL (2017)
Carl H. Smith, Jazz Rasool, Nick Lambert, Robert Pepperell, Tony Langford, Lena Korkovelou
Visions of an Imagined Venice Suspended Between Memories and New Possibilities. EVA (2017)
Carl H. Smith, Jazz Rasool, Nick Lambert, Robert Pepperell, Tony Langford, Kim H. Veltman
Natural Media Workshop. EVA (2017)
Carl H. Smith
Context Engineering Experience Framework. EVA (2016)
Carl H. Smith
Context Engineering Hybrid Spaces for Perceptual Augmentation. EVA (2014)
Carl H. Smith
Experience Communication through Post Digital Design. EVA (2013)
Janis Barzdins, Rusins Freivalds, Carl H. Smith
Learning with belief levels. J. Comput. Syst. Sci. 74 (4) (2008)
Sanjay Jain, Efim B. Kinber, Christophe Papazian, Carl H. Smith, Rolf Wiehagen
On the intrinsic complexity of learning recursive functions. Inf. Comput. 184 (1) (2003)
Carl H. Smith
Letter to the Editor. AI Mag. 23 (4) (2002)
Brian Postow, Kenneth W. Regan, Carl H. Smith
UPSILON: Universal Programming System with Incomplete Lazy Object Notation. Fundam. Informaticae 50 (3-4) (2002)
Rusins Freivalds, Marek Karpinski, Carl H. Smith, Rolf Wiehagen
Learning by the Process of Elimination. Inf. Comput. 176 (1) (2002)
Rusins Freivalds, Carl H. Smith
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications. LATIN (2002)
Andris Ambainis, Kalvis Apsitis, Rusins Freivalds, Carl H. Smith
Hierarchies of probabilistic and team FIN-learning. Theor. Comput. Sci. 261 (1) (2001)
Sanjay Jain, Carl H. Smith, Rolf Wiehagen
Robust Learning Is Rich. J. Comput. Syst. Sci. 62 (1) (2001)
Stuart A. Kurtz, Carl H. Smith, Rolf Wiehagen
On the role of search for learning from examples. J. Exp. Theor. Artif. Intell. 13 (1) (2001)
Janis Barzdins, Rusins Freivalds, Carl H. Smith
Towards Axiomatic Basis of Inductive Inference. FCT (2001)
D. S. Tomer, Doug Baldwin, Carl H. Smith, Peter B. Henderson, Venu Vadisigi
CS1 and CS2 (panel session): foundations of computer science and discrete mathematics. SIGCSE (2000)
Kalvis Apsitis, Setsuo Arikawa, Rusins Freivalds, Eiju Hirowatari, Carl H. Smith
On the Inductive Inference of Recursive Real-Valued Functions. Theor. Comput. Sci. 219 (1-2) (1999)
Rusins Freivalds, Efim B. Kinber, Carl H. Smith
The functions of finite support: a canonical learning problem. J. Exp. Theor. Artif. Intell. 11 (4) (1999)
Efim B. Kinber, Christophe Papazian, Carl H. Smith, Rolf Wiehagen
On the Intrinsic Complexity of Learning Recursive Functions. COLT (1999)
Andris Ambainis, Rusins Freivalds, Carl H. Smith
Inductive Inference with Procrastination: Back to Definitions. Fundam. Informaticae 40 (1) (1999)
Sanjay Jain, Carl H. Smith, Rolf Wiehagen
On the Power of Learning Robustly. COLT (1998)
Janis Barzdins, Rusins Freivalds, Carl H. Smith
A Logic of Discovery. Discovery Science (1998)
Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann
Editor's Introduction. ALT (1998)
Lance Fortnow, Rusins Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl H. Smith, Frank Stephan
On the Relative Sizes of Learnable Sets. Theor. Comput. Sci. 197 (1-2) (1998)
Andris Ambainis, Kalvis Apsitis, Rusins Freivalds, William I. Gasarch, Carl H. Smith
Team Learning as a Game. ALT (1997)
Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann
Classifying Predicates and Languages. Int. J. Found. Comput. Sci. 8 (1) (1997)
Janis Barzdins, Rusins Freivalds, Carl H. Smith
Learning Formulae from Elementary Facts. EuroCOLT (1997)
Rusins Freivalds, Gints Tervits, Rolf Wiehagen, Carl H. Smith
Learning Small Programs with Additional Information. LFCS (1997)
Kalvis Apsitis, Rusins Freivalds, Carl H. Smith
Asymmetric Team Learning. COLT (1997)
Janis Barzdins, Rusins Freivalds, Carl H. Smith
Learning with Confidence. STACS (1996)
Andris Ambainis, Rusins Freivalds, Carl H. Smith
General Inductive Inference Types Based on Linearly-Ordered Sets. STACS (1996)
Kalvis Apsitis, Rusins Freivalds, Carl H. Smith
On Duality in Learning and the Selection of Learning Terms. Inf. Comput. 129 (1) (1996)
Rusins Freivalds, Efim B. Kinber, Carl H. Smith
On the intrinsic complexity of learning. EuroCOLT (1995)
Carl H. Smith, William I. Gasarch
Recursion Theoretic Models of Learning: Some Results and Intuitions. Ann. Math. Artif. Intell. 15 (2) (1995)
William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann
Learning via Queries with Teams and Anomalies. Fundam. Informaticae 23 (1) (1995)
Rusins Freivalds, Efim B. Kinber, Carl H. Smith
On the Intrinsic Complexity of Learning. Inf. Comput. 123 (1) (1995)
Rusins Freivalds, Efim B. Kinber, Carl H. Smith
Probabilistic versus Deterministic Memory Limited Learning. GOSLER Final Report (1995)
Rolf Wiehagen, Carl H. Smith
Generalization versus classification. J. Exp. Theor. Artif. Intell. 7 (2) (1995)
Hsieh-Chang Tu, Carl H. Smith
Training Digraphs. Inf. Process. Lett. 53 (4) (1995)
Efim B. Kinber, Carl H. Smith, Mahendran Velauthapillai, Rolf Wiehagen
On Learning Multiple Concepts in Parallel. J. Comput. Syst. Sci. 50 (1) (1995)
Lance Fortnow, Rusins Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl H. Smith, Frank Stephan
Measure, Category and Learning Theory. ICALP (1995)
Kalvis Apsitis, Rusins Freivalds, Carl H. Smith
On the Inductive Inference of Real Valued Functions. COLT (1995)
Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann
Classifying Recursive Predicates and Languages. GOSLER Final Report (1995)
Rusins Freivalds, Efim B. Kinber, Carl H. Smith
On the Impact of Forgetting on Learning Machines. J. ACM 42 (6) (1995)
Carl H. Smith
Three Decades of Team Learning. AII/ALT (1994)
Hsieh-Chang Tu, Carl H. Smith
Training Diagraphs. AII/ALT (1994)
Rusins Freivalds, Dace Gobleja, Marek Karpinski, Carl H. Smith
Co-learnability and FIN-identifiability of Enumerable Classes of Total Recursive Functions. AII/ALT (1994)
Rusins Freivalds, Marek Karpinski, Carl H. Smith
Co-Learning of Total Recursive Functions. COLT (1994)
Kalvis Apsitis, Rusins Freivalds, Carl H. Smith
Choosing a learning team: a topological approach. STOC (1994)
Rusins Freivalds, Carl H. Smith
On the Role of Procrastination in Machine Learning Inf. Comput. 107 (2) (1993)
Rusins Freivalds, Carl H. Smith
On the Duality Between Mechanistic Learners and What it is They Learn. ALT (1993)
Amihood Amir, Carl H. Smith
The Syntax of Parallelism. Fundam. Informaticae 19 (3/4) (1993)
Rusins Freivalds, Efim B. Kinber, Carl H. Smith
On the impact of forgetting on learing machines. Bull. EATCS 51 (1993)
Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann
Classification of predicates and languages. EuroCOLT (1993)
Rusins Freivalds, Efim B. Kinber, Carl H. Smith
On the impact of forgetting on learing machines. Bull. EATCS 49 (1993)
Efim B. Kinber, Carl H. Smith, Mahendran Velauthapillai, Rolf Wiehagen
On Learning Multiple Concepts in Parallel. COLT (1993)
Rusins Freivalds, Efim B. Kinber, Carl H. Smith
On the Impact of Forgetting on Learning Machines. COLT (1993)
Rusins Freivalds, Carl H. Smith
Memory Limited Inductive Inference Machines. SWAT (1992)
Rusins Freivalds, Carl H. Smith
On the Role of Procrastination for Machine Learning. COLT (1992)
William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai
Learning programs with an easy to calculate set of errors. Fundam. Informaticae 16 (3-4) (1992)
William I. Gasarch, Carl H. Smith
Learning via Queries. J. ACM 39 (3) (1992)
Rolf Wiehagen, Carl H. Smith
Generalization versus Classification. COLT (1992)
Karlis Cerans, Carl H. Smith
Self-learning inductive inference machines. Comput. Intell. 7 (1991)
John C. Cherniavsky, Carl H. Smith
On Weyuker's Axioms For Software Complexity Measures. IEEE Trans. Software Eng. 17 (6) (1991)
Carl H. Smith, Mahendran Velauthapillai
On the Inference of Approximate Programs. Theor. Comput. Sci. 77 (3) (1990)
Efim B. Kinber, William I. Gasarch, Thomas Zeugmann, Mark G. Pleszkoch, Carl H. Smith
Learning Via Queries With Teams and Anomilies. COLT (1990)
William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai
Learning Programs With an Easy to Calculate Set of Errors. AII (1989)
Stuart A. Kurtz, Carl H. Smith
On the Role of Search for Learning. COLT (1989)
Rusins Freivalds, Carl H. Smith, Mahendran Velauthapillai
Trade-Off among Parameters Effecting Inductive Inference Inf. Comput. 82 (3) (1989)
Stuart A. Kurtz, Carl H. Smith
A Refutation of Barzdins' Conjecture. AII (1989)
Dana Angluin, William I. Gasarch, Carl H. Smith
Training Sequences. Theor. Comput. Sci. 66 (3) (1989)
William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai
Learning Programs with an Easy to Calculate Set of Errors. COLT (1988)
William I. Gasarch, Carl H. Smith
Learning via Queries. COLT (1988)
William I. Gasarch, Carl H. Smith
Learning via Queries FOCS (1988)
Clyde P. Kruskal, Carl H. Smith
On the notion of granularity. J. Supercomput. 1 (4) (1988)
Carl H. Smith
A note on arbitrarily complex recursive functions. Notre Dame J. Formal Log. 29 (2) (1988)
Leonard Pitt, Carl H. Smith
Probability and Plurality for Aggregations of Learning Machines Inf. Comput. 77 (1) (1988)
John C. Cherniavsky, Carl H. Smith
A Recursion Theoretic Approach to Program Testing. IEEE Trans. Software Eng. 13 (7) (1987)
Leonard Pitt, Carl H. Smith
Probability and Plurality for Aggregations of Learning Machines. ICALP (1987)
William I. Gasarch, Carl H. Smith
On the Inference of Sequences of Functions. AII (1986)
Carl H. Smith, Mahendran Velauthapillai
On the Inference of Programs Approximately Computing the Desired Function. AII (1986)
Robert P. Daley, Carl H. Smith
On the Complexity of Inductive Inference Inf. Control. 69 (1-3) (1986)
Howard E. Motteler, Carl H. Smith
A complexity measure for data flow models. Int. J. Parallel Program. 14 (2) (1985)
Robert P. Daley, Carl H. Smith
On the Complexity of Inductive Inference (Preliminary Report). MFCS (1984)
Nam Sung Woo, Carl H. Smith, Ashok K. Agrawala
A Proof of the Determinacy Property of the Data Flow Schema. Inf. Process. Lett. 19 (1) (1984)
Robert P. Daley, Carl H. Smith
On the complextiy of inductive inference. Bull. EATCS 23 (1984)
Dana Angluin, Carl H. Smith
Inductive Inference: Theory and Methods. ACM Comput. Surv. 15 (3) (1983)
Carl H. Smith
The Power of Pluralism for Automatic Program Synthesis. J. ACM 29 (4) (1982)

Carl H. Smith.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carl H. Smith