John Case - RankMe

138 papers A* 16A 4B 22C 8Misc 2Journal 70Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Constructivity conditions on immune sets. Arch. Math. Log. John Case
2020	—	`conf`	Leveraging Iterative Design of Experiments to Innovate in a High-Risk Production Environment: A US Army Aviation Case Study. SysCon Clay Woody, John Case, Dereck Kennedy, John Caddell
2018	J	`jnl`	Effectivity questions for Kleene's recursion theorem. Theor. Comput. Sci. John Case, Sanjay Jain, Frank Stephan
2017	—	`ch.`	Connections Between Inductive Inference and Machine Learning. Encyclopedia of Machine Learning and Data Mining John Case, Sanjay Jain
2016	J	`jnl`	Non-Obfuscated Unprovable Programs & Many Resultant Subtleties. Log. Methods Comput. Sci. John Case, Michael Ralston
2016	C	`conf`	Program Size Complexity of Correction Grammars in the Ershov Hierarchy. CiE John Case, James S. Royer
2016	J	`jnl`	Strongly non-U-shaped language learning results by general techniques. Inf. Comput. John Case, Timo Kötzing
2016	J	`jnl`	Topological separations in inductive inference. Theor. Comput. Sci. John Case, Timo Kötzing
2014	J	`jnl`	Automatic learners with feedback queries. J. Comput. Syst. Sci. John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
2013	J	`jnl`	Automatic functions, linear time and learning. Log. Methods Comput. Sci. John Case, Sanjay Jain, Samuel Seah, Frank Stephan
2013	C	`conf`	Beyond Rogers' Non-constructively Computable Function. CiE John Case, Michael Ralston
2013	Misc	`conf`	Effectivity Questions for Kleene's Recursion Theorem. LFCS John Case, Sanjay Jain, Frank Stephan
2013	J	`jnl`	Memory-limited non-U-shaped learning with solved open problems. Theor. Comput. Sci. John Case, Timo Kötzing
2013	J	`jnl`	On the Necessity of U-Shaped Learning. Top. Cogn. Sci. Lorenzo Carlucci, John Case
2013	B	`conf`	Topological Separations in Inductive Inference. ALT John Case, Timo Kötzing
2012	J	`jnl`	Algorithmic Scientific Inference: Within Our Computable Expected Reality? Int. J. Unconv. Comput. John Case
2012	C	`conf`	Automatic Functions, Linear Time and Learning. CiE John Case, Sanjay Jain, Samuel Seah, Frank Stephan
2012	J	`jnl`	Automatic learning of subclasses of pattern languages. Inf. Comput. John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
2012	J	`jnl`	Learning secrets interactively. Dynamic modeling in inductive inference. Inf. Comput. John Case, Timo Kötzing
2012	J	`jnl`	Program Self-Reference in Constructive Scott Subdomains. Theory Comput. Syst. John Case, Samuel E. Moelius
2011	C	`conf`	Automatic Learners with Feedback Queries. CiE John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
2011	C	`conf`	Automatic Learning of Subclasses of Pattern Languages. LATA John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
2011	A	`conf`	Measuring Learning Complexity with Criteria Epitomizers. STACS John Case, Timo Kötzing
2011	J	`jnl`	Optimal language learning from positive data. Inf. Comput. John Case, Samuel E. Moelius
2011	J	`jnl`	Properties Complementary to Program Self-Reference. Fundam. Informaticae John Case, Samuel E. Moelius
2011	J	`jnl`	Rice and Rice-Shapiro Theorems for transfinite correction grammars. Math. Log. Q. John Case, Sanjay Jain
2010	—	`ch.`	Connections Between Inductive Inference and Machine Learning. Encyclopedia of Machine Learning John Case, Sanjay Jain
2010	J	`jnl`	Iterative learning of simple external contextual languages. Theor. Comput. Sci. Leonor Becerra-Bonache, John Case, Sanjay Jain, Frank Stephan
2010	B	`conf`	Solutions to Open Questions for Non-U-Shaped Learning with Memory Limitations. ALT John Case, Timo Kötzing
2010	A*	`conf`	Strongly Non-U-Shaped Learning Results by General Techniques. COLT John Case, Timo Kötzing
2009	J	`jnl`	Characterizing Programming Systems Allowing Program Self-Reference. Theory Comput. Syst. John Case, Samuel E. Moelius
2009	B	`conf`	Difficulties in Forcing Fairness of Polynomial Time Inductive Inference. ALT John Case, Timo Kötzing
2009	B	`conf`	Independence Results for FCT John Case, Samuel E. Moelius
2009	J	`jnl`	Learning correction grammars. J. Symb. Log. Lorenzo Carlucci, John Case, Sanjay Jain
2009	J	`jnl`	Parallelism increases iterative learning power. Theor. Comput. Sci. John Case, Samuel E. Moelius
2009	C	`conf`	Program Self-reference in Constructive Scott Subdomains. CiE John Case, Samuel E. Moelius
2009	J	`jnl`	Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems. Theory Comput. Syst. John Case
2008	B	`conf`	Dynamic Modeling in Inductive Inference. ALT John Case, Timo Kötzing
2008	B	`conf`	Dynamically Delayed Postdictive Completeness and Consistency in Learning. ALT John Case, Timo Kötzing
2008	J	`jnl`	Foreword. Theor. Comput. Sci. John Case, Takeshi Shinohara, Thomas Zeugmann, Sandra Zilles
2008	B	`conf`	Iterative Learning of Simple External Contextual Languages. ALT Leonor Becerra-Bonache, John Case, Sanjay Jain, Frank Stephan
2008	J	`jnl`	Non-U-shaped vacillatory and team learning. J. Comput. Syst. Sci. Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan
2008	B	`conf`	Optimal Language Learning. ALT John Case, Samuel E. Moelius
2008	J	`jnl`	U-shaped, iterative, and iterative-with-counter learning. Mach. Learn. John Case, Samuel E. Moelius
2008	J	`jnl`	When unlearning helps. Inf. Comput. Ganesh R. Baliga, John Case, Wolfgang Merkle, Frank Stephan, Rolf Wiehagen
2007	—	`conf`	Cautious virus detection in the extreme. PLAS John Case, Samuel E. Moelius
2007	C	`conf`	Characterizing Programming Systems Allowing Program Self-reference. CiE John Case, Samuel E. Moelius
2007	B	`conf`	Feasible Iteration of Feasible Learning Functionals. ALT John Case, Timo Kötzing, Todd Paddock
2007	J	`jnl`	Foreword. Theor. Comput. Sci. Shai Ben-David, John Case, Thomas Zeugmann
2007	A*	`conf`	Learning Correction Grammars. COLT Lorenzo Carlucci, John Case, Sanjay Jain
2007	B	`conf`	Parallelism Increases Iterative Learning Power. ALT John Case, Samuel E. Moelius
2007	B	`conf`	Properties Complementary to Program Self-reference. MFCS John Case, Samuel E. Moelius
2007	C	`conf`	Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems. CiE John Case
2007	J	`jnl`	Results on memory-limited U-shaped learning. Inf. Comput. Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan
2007	A*	`conf`	U-Shaped, Iterative, and Iterative-with-Counter Learning. COLT John Case, Samuel E. Moelius
2006	J	`jnl`	Generality's price: Inescapable deficiencies in machine-learned programs. Ann. Pure Appl. Log. John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer
2006	J	`jnl`	Identifying Clusters from Positive Data. SIAM J. Comput. John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan
2006	J	`jnl`	Learning a subclass of regular patterns in polynomial time. Theor. Comput. Sci. John Case, Sanjay Jain, Rüdiger Reischuk, Frank Stephan, Thomas Zeugmann
2006	A*	`conf`	Memory-Limited U-Shaped Learning. COLT Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan
2005	B	`conf`	Non U-Shaped Vacillatory and Team Learning. ALT Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan
2005	J	`jnl`	On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. J. Comput. Syst. Sci. John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi
2004	J	`jnl`	A Polynomial Time Learner for a Subclass of Regular Patterns Electron. Colloquium Comput. Complex. John Case, Sanjay Jain, Rüdiger Reischuk, Frank Stephan, Thomas Zeugmann
2004	B	`ed.`	Algorithmic Learning Theory, 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004, Proceedings ALT Shai Ben-David, John Case, Akira Maruoka
2004	—	`conf`	Computing Entropy for Ortholog Detection. International Conference on Computational Intelligence Hsing-Kuo Pao, John Case
2004	J	`jnl`	Identifying Clusters from Positive Data Electron. Colloquium Comput. Complex. John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan
2004	—	`conf`	Identifying Clusters from Positive Data. ICGI John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan
2004	J	`jnl`	Off-Loading Memory to the Environment: A Quantitative Example. Minds Mach. John Case
2004	J	`jnl`	On the classification of recursive languages. Inf. Comput. John Case, Efim B. Kinber, Arun Sharma, Frank Stephan
2004	J	`jnl`	Parsimony hierarchies for inductive inference. J. Symb. Log. Andris Ambainis, John Case, Sanjay Jain, Mandayam Suraj
2004	J	`jnl`	Robust learning--rich and poor. J. Comput. Syst. Sci. John Case, Sanjay Jain, Frank Stephan, Rolf Wiehagen
2003	A*	`conf`	Generality's Price: Inescapable Deficiencies in Machine-Learned Programs. COLT John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer
2003	B	`conf`	Learning a Subclass of Regular Patterns in Polynomial Time. ALT John Case, Sanjay Jain, Rüdiger Reischuk, Frank Stephan, Thomas Zeugmann
2003	A*	`conf`	On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms. COLT John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi
2002	J	`jnl`	Control structures in hypothesis spaces: the influence on learning. Theor. Comput. Sci. John Case, Sanjay Jain, Mandayam Suraj
2002	J	`jnl`	Learning to Win Process-Control Games Watching Game-Masters. Inf. Comput. John Case, Matthias Ott, Arun Sharma, Frank Stephan
2001	J	`jnl`	Costs of general purpose learning. Theor. Comput. Sci. John Case, Keh-Jiann Chen, Sanjay Jain
2001	B	`conf`	Divide and Conquer Machine Learning for a Genomics Analogy Problem (Progress Report). Discovery Science Ming Ouyang, John Case, Joan Burnside
2001	J	`jnl`	Lattice computers for approximating Euclidean space. J. ACM John Case, Dayanand S. Rajan, Anil M. Shende
2001	J	`jnl`	Predictive learning models for concept drift. Theor. Comput. Sci. John Case, Sanjay Jain, Susanne Kaufmann, Arun Sharma, Frank Stephan
2001	—	`conf`	Robust Learning - Rich and Poor. COLT/EuroCOLT John Case, Sanjay Jain, Frank Stephan, Rolf Wiehagen
2001	J	`jnl`	Synthesizing Learners Tolerating Computable Noisy Data. J. Comput. Syst. Sci. John Case, Sanjay Jain
2001	J	`jnl`	Synthesizing noise-tolerant language learners. Theor. Comput. Sci. John Case, Sanjay Jain, Arun Sharma
2000	J	`jnl`	Robust Learning Aided by Context. J. Comput. Syst. Sci. John Case, Sanjay Jain, Matthias Ott, Arun Sharma, Frank Stephan
2000	A*	`conf`	Unlearning Helps. ICALP Ganesh R. Baliga, John Case, Wolfgang Merkle, Frank Stephan
2000	J	`jnl`	Vacillatory and BC learning on noisy data. Theor. Comput. Sci. John Case, Sanjay Jain, Frank Stephan
1999	A	`conf`	Costs of General Purpose Learning. STACS John Case, Keh-Jiann Chen, Sanjay Jain
1999	J	`jnl`	Incremental Concept Learning for Bounded Data Mining. Inf. Comput. John Case, Sanjay Jain, Steffen Lange, Thomas Zeugmann
1999	J	`jnl`	Maximal Machine Learnable Classes. J. Comput. Syst. Sci. John Case, Mark A. Fulk
1999	J	`jnl`	The Power of Vacillation in Language Learning. SIAM J. Comput. John Case
1999	J	`jnl`	The Synthesis of Language Learners. Inf. Comput. Ganesh R. Baliga, John Case, Sanjay Jain
1998	B	`conf`	Learning to Win Process-Control Games Watching Game-Masters. ALT John Case, Matthias Ott, Arun Sharma, Frank Stephan
1998	B	`conf`	Predictive Learning Models for Concept Drift. ALT John Case, Sanjay Jain, Susanne Kaufmann, Arun Sharma, Frank Stephan
1998	A*	`conf`	Robust Learning Aided by Context. COLT John Case, Sanjay Jain, Matthias Ott, Arun Sharma, Frank Stephan
1998	B	`conf`	Synthesizing Learners Tolerating Computable Noisy Data. ALT John Case, Sanjay Jain
1997	—	`conf`	Control Structures in Hypothesis Spaces: The Influence on Learning. EuroCOLT John Case, Sanjay Jain, Mandayam Suraj
1997	J	`jnl`	Learning Recursive Functions from Approximations. J. Comput. Syst. Sci. John Case, Susanne Kaufmann, Efim B. Kinber, Martin Kummer
1997	A	`conf`	On the Classification of Computable Languages. STACS John Case, Efim B. Kinber, Arun Sharma, Frank Stephan
1997	B	`conf`	Synthesizing Noise-Tolerant Language Learners. ALT John Case, Sanjay Jain, Arun Sharma
1996	J	`jnl`	Anomalous Learning Helps Succinctness. Theor. Comput. Sci. John Case, Sanjay Jain, Arun Sharma
1996	J	`jnl`	Learnability: Admissible, Co-Finite, and Hypersimple Languages. J. Comput. Syst. Sci. Ganesh R. Baliga, John Case
1996	J	`jnl`	Machine Induction Without Revolutionary Changes in Hypothesis Size. Inf. Comput. John Case, Sanjay Jain, Arun Sharma
1996	A*	`conf`	Synthesizing Enumeration Techniques for Language Learning. COLT Ganesh R. Baliga, John Case, Sanjay Jain
1996	B	`conf`	Vacillatory and BC Learning on Noisy Data. ALT John Case, Sanjay Jain, Frank Stephan
1995	J	`jnl`	Complexity Issues for Vacillatory Function Identification Inf. Comput. John Case, Sanjay Jain, Arun Sharma
1995	J	`jnl`	Language Learning with Some Negative Information. J. Comput. Syst. Sci. Ganesh R. Baliga, John Case, Sanjay Jain
1995	—	`conf`	Learning recursive functions from approximations. EuroCOLT John Case, Susanne Kaufmann, Efim B. Kinber, Martin Kummer
1995	B	`conf`	Machine Induction Without Revolutionary Paradigm Shifts. ALT John Case, Sanjay Jain, Arun Sharma
1995	—	`conf`	Not-So-Nearly-Minimal-Size Program Inference. GOSLER Final Report John Case, Mandayam Suraj, Sanjay Jain
1994	J	`jnl`	Infinitary self-reference in learning theory. J. Exp. Theor. Artif. Intell. John Case
1994	—	`conf`	Learning with Higher Order Additional Information. AII/ALT Ganesh R. Baliga, John Case
1994	J	`jnl`	Machine Learning of Higher-Order Programs. J. Symb. Log. Ganesh R. Baliga, John Case, Sanjay Jain, Mandayam Suraj
1994	J	`jnl`	Refinements of inductive inference by Popperian and reliable machines. Kybernetika John Case, Sanjay Jain, Suzanne Ngo Manguelle
1994	J	`jnl`	Spatial/kinematic domain and lattice computers. J. Exp. Theor. Artif. Intell. John Case, Dayanand S. Rajan, Anil M. Shende
1994	—	`book`	Subrecursive programming systems - complexity and succinctness. James S. Royer, John Case
1994	J	`jnl`	Vacillatory Learning of Nearly Minimal Size Grammars. J. Comput. Syst. Sci. John Case, Sanjay Jain, Arun Sharma
1993	A	`conf`	Language Learning With Some Negative Information. STACS Ganesh R. Baliga, John Case, Sanjay Jain
1993	A*	`conf`	Learnability: Admissible, Co-finite, and Hypersimple Languages. ICALP Ganesh R. Baliga, John Case
1992	Misc	`conf`	Machine Learning of Higher Order Programs. LFCS Ganesh R. Baliga, John Case, Sanjay Jain, Mandayam Suraj
1992	A*	`conf`	On Learning Limiting Programs. COLT John Case, Sanjay Jain, Arun Sharma
1992	J	`jnl`	On Learning Limiting Programs. Int. J. Found. Comput. Sci. John Case, Sanjay Jain, Arun Sharma
1992	—	`conf`	Representing the Spatial/Kinematic Domain and Lattice Computers. AII John Case, Dayanand S. Rajan, Anil M. Shende
1992	—	`conf`	Strong Separation of Learning Classes. AII John Case, Keh-Jiann Chen, Sanjay Jain
1992	J	`jnl`	Strong separation of learning classes. J. Exp. Theor. Artif. Intell. John Case, Keh-Jiann Chen, Sanjay Jain
1991	—	`conf`	Complexity Issues for Vacillatory Function Identification. FSTTCS John Case, Sanjay Jain, Arun Sharma
1991	J	`jnl`	Effectivizing Inseparability. Math. Log. Q. John Case
1990	B	`conf`	Anomalous Learning Helps Succinctness (Extended Abstract). ALT John Case, Sanjay Jain, Arun Sharma
1990	—	`conf`	Optimally Representing Euclidean Space Discretely for Analogically Simulating Physical Phenomena. FSTTCS John Case, Dayanand S. Rajan, Anil M. Shende
1990	A*	`ed.`	Proceedings of the Third Annual Workshop on Computational Learning Theory, COLT 1990, University of Rochester, Rochester, NY, USA, August 6-8, 1990. COLT Mark A. Fulk, John Case
1989	A*	`conf`	Convergence to Nearly Minimal Size Grammars by Vacillating Learning Machines. COLT Sanjay Jain, Arun Sharma, John Case
1988	A*	`conf`	The Power of Vacillation. COLT John Case
1983	J	`jnl`	Comparison of Identification Criteria for Machine Inductive Inference. Theor. Comput. Sci. John Case, Carl Smith
1983	J	`jnl`	Pseudo-Extending Computable Functions Inf. Control. John Case
1982	A*	`conf`	Machine Inductive Inference and Language Identification. ICALP John Case, Christopher Lynes
1978	A*	`conf`	Anomaly Hierarchies of Mechanized Inductive Inference STOC John Case, Carl Smith
1978	J	`jnl`	The Complexity of Total Order Structures. J. Comput. Syst. Sci. Dan Moore, John Case
1976	J	`jnl`	Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders. Math. Log. Q. John Case
1974	J	`jnl`	Periodicity in Generations of Automata. Math. Syst. Theory John Case
1971	J	`jnl`	A Note on Degrees of Self-Describing Turing Machines. J. ACM John Case