Carl H. Smith

	2008
89		Janis Barzdins, Rusins Freivalds, Carl H. Smith: Learning with belief levels. J. Comput. Syst. Sci. 74(4): 527-545 (2008)
	2003
88		Sanjay Jain, Efim B. Kinber, Christophe Papazian, Carl H. Smith, Rolf Wiehagen: On the intrinsic complexity of learning recursive functions. Inf. Comput. 184(1): 45-70 (2003)
	2002
87		Steffen Lange, Ken Satoh, Carl H. Smith: Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings Springer 2002
86		Rusins Freivalds, Carl H. Smith: Category, Measure, Inductive Inference: A Triality Theorem and Its Applications. LATIN 2002: 386-399
85		Carl H. Smith: Letter to the Editor. AI Magazine 23(4): 4 (2002)
84		Brian Postow, Kenneth W. Regan, Carl H. Smith: UPSILON: Universal Programming System with Incomplete Lazy Object Notation. Fundam. Inform. 50(3-4): 325-359 (2002)
83		Rusins Freivalds, Marek Karpinski, Carl H. Smith, Rolf Wiehagen: Learning by the Process of Elimination. Inf. Comput. 176(1): 37-50 (2002)
	2001
82		Janis Barzdins, Rusins Freivalds, Carl H. Smith: Towards Axiomatic Basis of Inductive Inference. FCT 2001: 1-13
81		Sanjay Jain, Carl H. Smith, Rolf Wiehagen: Robust Learning Is Rich. J. Comput. Syst. Sci. 62(1): 178-212 (2001)
80		Stuart A. Kurtz, Carl H. Smith, Rolf Wiehagen: On the role of search for learning from examples. J. Exp. Theor. Artif. Intell. 13(1): 25-43 (2001)
79		Andris Ambainis, Kalvis Apsitis, Rusins Freivalds, Carl H. Smith: Hierarchies of probabilistic and team FIN-learning. Theor. Comput. Sci. 261(1): 91-117 (2001)
	2000
78		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: 397-398
	1999
77		Efim B. Kinber, Christophe Papazian, Carl H. Smith, Rolf Wiehagen: On the Intrinsic Complexity of Learning Recursive Functions. COLT 1999: 257-266
76		Andris Ambainis, Rusins Freivalds, Carl H. Smith: Inductive Inference with Procrastination: Back to Definitions. Fundam. Inform. 40(1): 1-16 (1999)
75		Rusins Freivalds, Efim B. Kinber, Carl H. Smith: The functions of finite support: a canonical learning problem. J. Exp. Theor. Artif. Intell. 11(4): 543-552 (1999)
74		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): 3-17 (1999)
	1998
73		Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings Springer 1998
72		Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann: Editor's Introduction. ALT 1998: 1-10
71		Sanjay Jain, Carl H. Smith, Rolf Wiehagen: On the Power of Learning Robustly. COLT 1998: 187-197
70		Janis Barzdins, Rusins Freivalds, Carl H. Smith: A Logic of Discovery. Discovery Science 1998: 401-402
69		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): 139-156 (1998)
	1997
68		Andris Ambainis, Kalvis Apsitis, Rusins Freivalds, William I. Gasarch, Carl H. Smith: Team Learning as a Game. ALT 1997: 2-17
67		Kalvis Apsitis, Rusins Freivalds, Carl H. Smith: Asymmetric Team Learning. COLT 1997: 90-95
66		Janis Barzdins, Rusins Freivalds, Carl H. Smith: Learning Formulae from Elementary Facts. EuroCOLT 1997: 272-285
65		Rusins Freivalds, Gints Tervits, Rolf Wiehagen, Carl H. Smith: Learning Small Programs with Additional Information. LFCS 1997: 102-112
64		Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann: Classifying Predicates and Languages. Int. J. Found. Comput. Sci. 8(1): 15- (1997)
	1996
63		Janis Barzdins, Rusins Freivalds, Carl H. Smith: Learning with Confidence. STACS 1996: 207-218
62		Andris Ambainis, Rusins Freivalds, Carl H. Smith: General Inductive Inference Types Based on Linearly-Ordered Sets. STACS 1996: 243-253
61		Kalvis Apsitis, Rusins Freivalds, Carl H. Smith: On Duality in Learning and the Selection of Learning Terms. Inf. Comput. 129(1): 53-62 (1996)
	1995
60		Kalvis Apsitis, Rusins Freivalds, Carl H. Smith: On the Inductive Inference of Real Valued Functions. COLT 1995: 170-177
59		Rusins Freivalds, Efim B. Kinber, Carl H. Smith: On the intrinsic complexity of learning. EuroCOLT 1995: 154-168
58		Rusins Freivalds, Efim B. Kinber, Carl H. Smith: Probabilistic versus Deterministic Memory Limited Learning. GOSLER Final Report 1995: 155-161
57		Rolf Wiehagen, Carl H. Smith, Thomas Zeugmann: Classifying Recursive Predicates and Languages. GOSLER Final Report 1995: 174-189
56		Lance Fortnow, Rusins Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl H. Smith, Frank Stephan: Measure, Category and Learning Theory. ICALP 1995: 558-569
55		Carl H. Smith, William I. Gasarch: Recursion Theoretic Models of Learning: Some Results and Intuitions. Ann. Math. Artif. Intell. 15(2): 151-166 (1995)
54		William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann: Learning via Queries with Teams and Anomalies. Fundam. Inform. 23(1): 67-89 (1995)
53		Rusins Freivalds, Efim B. Kinber, Carl H. Smith: On the Intrinsic Complexity of Learning. Inf. Comput. 123(1): 64-71 (1995)
52		Hsieh-Chang Tu, Carl H. Smith: Training Digraphs. Inf. Process. Lett. 53(4): 185-192 (1995)
51		Rusins Freivalds, Efim B. Kinber, Carl H. Smith: On the Impact of Forgetting on Learning Machines. J. ACM 42(6): 1146-1168 (1995)
50		Efim B. Kinber, Carl H. Smith, Mahendran Velauthapillai, Rolf Wiehagen: On Learning Multiple Concepts in Parallel. J. Comput. Syst. Sci. 50(1): 41-52 (1995)
49		Rolf Wiehagen, Carl H. Smith: Generalization versus classification. J. Exp. Theor. Artif. Intell. 7(2): 163-174 (1995)
	1994
48		Carl H. Smith: A recursive introduction to the theory of computation. Springer 1994: I-VIII, 1-148
47		Rusins Freivalds, Dace Gobleja, Marek Karpinski, Carl H. Smith: Co-learnability and FIN-identifiability of Enumerable Classes of Total Recursive Functions. AII/ALT 1994: 100-105
46		Hsieh-Chang Tu, Carl H. Smith: Training Diagraphs. AII/ALT 1994: 176-186
45		Carl H. Smith: Three Decades of Team Learning. AII/ALT 1994: 211-228
44		Rusins Freivalds, Marek Karpinski, Carl H. Smith: Co-Learning of Total Recursive Functions. COLT 1994: 190-197
43		Kalvis Apsitis, Rusins Freivalds, Carl H. Smith: Choosing a learning team: a topological approach. STOC 1994: 283-289
	1993
42		Rusins Freivalds, Carl H. Smith: On the Duality Between Mechanistic Learners and What it is They Learn. ALT 1993: 137-149
41		Rusins Freivalds, Efim B. Kinber, Carl H. Smith: On the Impact of Forgetting on Learning Machines. COLT 1993: 165-174
40		Efim B. Kinber, Carl H. Smith, Mahendran Velauthapillai, Rolf Wiehagen: On Learning Multiple Concepts in Parallel. COLT 1993: 175-181
39		Rusins Freivalds, Efim B. Kinber, Carl H. Smith: On the impact of forgetting on learing machines. Bulletin of the EATCS 49: 212-225 (1993)
38		Rusins Freivalds, Efim B. Kinber, Carl H. Smith: On the impact of forgetting on learing machines. Bulletin of the EATCS 51: 212-225 (1993)
37		Amihood Amir, Carl H. Smith: The Syntax of Parallelism. Fundam. Inform. 19(3/4): 383-402 (1993)
36		Rusins Freivalds, Carl H. Smith: On the Role of Procrastination in Machine Learning Inf. Comput. 107(2): 237-271 (1993)
	1992
35		Rolf Wiehagen, Carl H. Smith: Generalization versus Classification. COLT 1992: 224-230
34		Rusins Freivalds, Carl H. Smith: On the Role of Procrastination for Machine Learning. COLT 1992: 363-376
33		Rusins Freivalds, Carl H. Smith: Memory Limited Inductive Inference Machines. SWAT 1992: 19-29
32		William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai: Learning programs with an easy to calculate set of errors. Fundam. Inform. 16(3-4): 355-370 (1992)
31		William I. Gasarch, Carl H. Smith: Learning via Queries. J. ACM 39(3): 649-674 (1992)
	1991
30		Karlis Cerans, Carl H. Smith: Self-learning inductive inference machines. Computational Intelligence 7: 174-180 (1991)
29		John C. Cherniavsky, Carl H. Smith: On Weyuker's Axioms For Software Complexity Measures. IEEE Trans. Software Eng. 17(6): 636-638 (1991)
	1990
28		Efim B. Kinber, William I. Gasarch, Thomas Zeugmann, Mark G. Pleszkoch, Carl H. Smith: Learning Via Queries With Teams and Anomilies. COLT 1990: 327-337
27		Carl H. Smith, Mahendran Velauthapillai: On the Inference of Approximate Programs. Theor. Comput. Sci. 77(3): 249-266 (1990)
	1989
26		William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai: Learning Programs With an Easy to Calculate Set of Errors. AII 1989: 124-137
25		Stuart A. Kurtz, Carl H. Smith: A Refutation of Barzdins' Conjecture. AII 1989: 171-176
24		Stuart A. Kurtz, Carl H. Smith: On the Role of Search for Learning. COLT 1989: 303-311
23		Rusins Freivalds, Carl H. Smith, Mahendran Velauthapillai: Trade-Off among Parameters Effecting Inductive Inference Inf. Comput. 82(3): 323-349 (1989)
22		Dana Angluin, William I. Gasarch, Carl H. Smith: Training Sequences. Theor. Comput. Sci. 66(3): 255-272 (1989)
	1988
21		William I. Gasarch, Carl H. Smith: Learning via Queries. COLT 1988: 227-241
20		William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai: Learning Programs with an Easy to Calculate Set of Errors. COLT 1988: 242-250
19		William I. Gasarch, Carl H. Smith: Learning via Queries FOCS 1988: 130-137
18		Leonard Pitt, Carl H. Smith: Probability and Plurality for Aggregations of Learning Machines Inf. Comput. 77(1): 77-92 (1988)
17		Clyde P. Kruskal, Carl H. Smith: On the notion of granularity. The Journal of Supercomputing 1(4): 395-408 (1988)
	1987
16		Leonard Pitt, Carl H. Smith: Probability and Plurality for Aggregations of Learning Machines. ICALP 1987: 1-10
15		John C. Cherniavsky, Carl H. Smith: A Recursion Theoretic Approach to Program Testing. IEEE Trans. Software Eng. 13(7): 777-784 (1987)
	1986
14		Carl H. Smith, Mahendran Velauthapillai: On the Inference of Programs Approximately Computing the Desired Function. AII 1986: 164-176
13		William I. Gasarch, Carl H. Smith: On the Inference of Sequences of Functions. AII 1986: 23-41
12		Robert P. Daley, Carl H. Smith: On the Complexity of Inductive Inference Information and Control 69(1-3): 12-40 (1986)
	1985
11		Howard E. Motteler, Carl H. Smith: A complexity measure for data flow models. International Journal of Parallel Programming 14(2): 107-122 (1985)
	1984
10		Robert P. Daley, Carl H. Smith: On the Complexity of Inductive Inference (Preliminary Report). MFCS 1984: 255-264
9		Robert P. Daley, Carl H. Smith: On the complextiy of inductive inference. Bulletin of the EATCS 23: 22-27 (1984)
8		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): 13-16 (1984)
	1983
7		Dana Angluin, Carl H. Smith: Inductive Inference: Theory and Methods. ACM Comput. Surv. 15(3): 237-269 (1983)
	1982
6		Michael J. O'Donnell, Carl H. Smith: A Combinatorial Problem Concerning Processor Interconnection Networks. IEEE Trans. Computers 31(2): 163-164 (1982)
5		Carl H. Smith: The Power of Pluralism for Automatic Program Synthesis. J. ACM 29(4): 1144-1165 (1982)
	1981
4		Carl H. Smith: The Power of Parallelism for Automatic Program Synthesis FOCS 1981: 283-295
	1976
3		Carl H. Smith, Larry D. Wittie: Memory Hardware for High Speed Job Selection. IEEE Trans. Computers 25(2): 148-156 (1976)
	1974
2		Carl H. Smith, Larry D. Wittie: Discriminating Content Addressable Memories. Sagamore Computer Conference 1974: 100-101
1		Jan van Leeuwen, Carl H. Smith: An Improved Bound for Detecting Looping Configurations in Deterministic DPA's. Inf. Process. Lett. 3(1): 22-24 (1974)

Coauthor Index

1	Ashok K. Agrawala	[8]
2	Andris Ambainis	[62] [68] [76] [79]
3	Amihood Amir	[37]
4	Dana Angluin	[7] [22]
5	Kalvis Apsitis	[43] [60] [61] [67] [68] [74] [79]
6	Setsuo Arikawa	[74]
7	Doug Baldwin	[78]
8	Janis Barzdins (Janis Barzdin)	[63] [66] [70] [82] [89]
9	Karlis Cerans	[30]
10	John C. Cherniavsky	[15] [29]
11	Robert P. Daley	[9] [10] [12]
12	Lance Fortnow	[56] [69]
13	Rusins Freivalds	[23] [33] [34] [36] [38] [39] [41] [42] [43] [44] [47] [51] [53] [56] [58] [59] [60] [61] [62] [63] [65] [66] [67] [68] [69] [70] [74] [75] [76] [79] [82] [83] [86] [89]
14	William I. Gasarch	[13] [19] [20] [21] [22] [26] [28] [31] [32] [54] [55] [56] [68] [69]
15	Dace Gobleja	[47]
16	Peter B. Henderson	[78]
17	Eiju Hirowatari	[74]
18	Sanjay Jain	[71] [81] [88]
19	Marek Karpinski	[44] [47] [83]
20	Efim B. Kinber	[28] [38] [39] [40] [41] [50] [51] [53] [54] [58] [59] [75] [77] [88]
21	Clyde P. Kruskal	[17]
22	Martin Kummer	[56] [69]
23	Stuart A. Kurtz	[24] [25] [56] [69] [80]
24	Steffen Lange	[87]
25	Jan van Leeuwen	[1]
26	Howard E. Motteler	[11]
27	Michael J. O'Donnell	[6]
28	Christophe Papazian	[77] [88]
29	Leonard Pitt	[16] [18]
30	Mark G. Pleszkoch	[28] [54]
31	Brian Postow	[84]
32	Kenneth W. Regan	[84]
33	Michael M. Richter	[72] [73]
34	Ken Satoh	[87]
35	Ramesh K. Sitaraman	[20] [26] [32]
36	Frank Stephan	[56] [69]
37	Gints Tervits	[65]
38	D. S. Tomer	[78]
39	Hsieh-Chang Tu	[46] [52]
40	Venu Vadisigi	[78]
41	Mahendran Velauthapillai (Mahe Velauthapillai)	[14] [20] [23] [26] [27] [32] [40] [50]
42	Rolf Wiehagen	[35] [40] [49] [50] [57] [64] [65] [71] [72] [73] [77] [80] [81] [83] [88]
43	Larry D. Wittie	[2] [3]
44	Nam Sung Woo	[8]
45	Thomas Zeugmann	[28] [54] [57] [64] [72] [73]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page