The lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
Publications
Date
Featured collections
Popular topics
7720 results for AI
Communications: Computer-Assisted Fingerprint Encoding and Classification
- C.N. Liu
- G.L. Shelton
- 1970
- IEEE Trans. Human Mach. Syst.
Organization of records with unequal multiple-valued attributes and combinatorial queries of order 2
- S.P. Ghosh
- 1969
- Information Sciences
Properties of infinite covariance matrices and stability of optimum predictors
- J. Rissanen
- L. Barbosa
- 1969
- Information Sciences
Visual Monitoring of Multi-Channel Displays
- J.D. Gould
- A. Schaffer
- 1966
- IEEE Transactions on Human Factors in Electronics
An Online, Probabilistic Distributed Tracing System
- Mert Toslali
- Syed Qasim
- et al.
- 2024
- IC2E 2024
Can LLMs Replace Manual Annotation of Software Engineering Artifacts?
- Toufique Ahmed
- Premkumar Devanbu
- et al.
- 2025
- MSR 2025
Controlling AI Agent Participation in Group Conversations: A Human-Centered Approach
- Stephanie Houde
- Krissy Brimijoin
- et al.
- 2025
- IUI 2025
HAI-GEN 2025: 6th Workshop on Human-AI Co-Creation with Generative Models
- Osnat Mokryn
- Orit Shaer
- et al.
- 2025
- IUI 2025
MDLab: AI frameworks for Carbon Capture and Battery Materials
- Bruce Elmegreen
- Hendrik Hamann
- et al.
- 2025
- Frontiers in Environmental Science