Papers of Frank Stephan in the database Zentralblatt fuer Mathematik
------------------------------------------------------------------------
1. 997.68097 Ott, Matthias; Stephan, Frank
Avoiding coding tricks by hyperrobust learning. (English)
Theor. Comput. Sci. 284, No.1, 161-180 (2002). MSC 2000: *68T05
------------------------------------------------------------------------
2. pre1758492 Ho, Kejia; Stephan, Frank
Classes bounded by incomplete sets. (English)
Ann. Pure Appl. Logic 116, No.1-3, 273-295 (2002). MSC 2000: *03D25
03D30, Reviewer: Shamil Ishmukhametov
------------------------------------------------------------------------
3. 0992.68108 Case, John; Jain, Sanjay; Stephan, Frank; Wiehagen, Rolf
Robust learning -- rich and poor. (English)
Helmbold, David (ed.) et al., Computational learning theory. 14th annual
conference, COLT 2001, and 5th European conference, EuroCOLT 2001,
Amsterdam, Netherlands, July 16-19, 2001. Proceedings. Berlin: Springer.
Lect. Notes Comput. Sci. 2111, 143-159 (2001). MSC 2000: *68Q32
------------------------------------------------------------------------
4. pre01658174 Stephan, Frank
On the structures inside truth-table degrees. (English)
J. Symb. Log. 66, No.2, 731-770 (2001). MSC 2000: *03D30
------------------------------------------------------------------------
5. 974.68163 Stephan, Frank; Terwijn, Sebastiaan A.
Counting extensional differences in BC-learning. (English)
Oliveira, Arlindo L. (ed.), Grammatical inference: algorithms and
applications. 5th international colloquium, ICGI 2000, Lisbon, Portugal,
September 11-13, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput.
Sci. 1891, 256-269 (2000). MSC 2000: *68T05 68Q42
------------------------------------------------------------------------
6. 973.68089 Baliga, Ganesh; Case, John; Merkle, Wolfgang; Stephan, Frank
Unlearning helps. (English)
Montanari, Ugo (ed.) et al., Automata, languages and programming. 27th
international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15,
2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1853, 844-855
(2000). MSC 2000: *68Q32 91E40 91F20
------------------------------------------------------------------------
7. 964.03039 Borchert, Bernd; Stephan, Frank
Looking for an analogue of Rice's theorem in circuit complexity
theory. (English)
Math. Log. Q. 46, No.4, 489-504 (2000). MSC 2000: *03D15 68Q15
------------------------------------------------------------------------
8. 955.68097 Case, John; Jain, Sanjay; Ott, Matthias; Sharma,
Arun; Stephan, Frank
Robust learning aided by context. (English)
J. Comput. Syst. Sci. 60, No.2, 234-257 (2000). MSC 2000: *68T05
------------------------------------------------------------------------
9. 991.30285 Beigel, Richard; Gasarch, William; Kummer, Martin; Martin,
Georgia; McNicholl, Timothy; Stephan, Frank
The complexity of $\text{ODD}_n^A$. (English)
J. Symb. Log. 65, No.1, 1-18 (2000). MSC 2000: *03D15, Reviewer: Wolfgang
Merkle
------------------------------------------------------------------------
10. 991.32071 Ambos-Spies, Klaus; Bentzien, Levke; Fejer, Peter A.;
Merkle, Wolfgang; Stephan, Frank
Collapsing polynomial-time degrees. (English)
Buss, Samuel R. (ed.) et al., Logic colloquium '98. Proceedings of the
annual European summer meeting of the Association for Symbolic Logic,
Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd.
Lect. Notes Log. 13, 1-24 (2000). MSC 2000: *03D30
------------------------------------------------------------------------
11. 949.03035 Borchert, Bernd; Kuske, Dietrich; Stephan, Frank
On existentially first-order definable languages and their relation to NP.
(English)
Theor. Inform. Appl. 33, No.3, 259-269 (1999). MSC 2000: *03D15 68Q15 03D05,
Reviewer: Gheorghe Grigoras
------------------------------------------------------------------------
12. 949.68092 Mitchell, Andrew; Scheffer, Tobias; Sharma, Arun; Stephan, Frank
The VC-dimension of subclasses of pattern languages. (English)
Watanabe, Osamu (ed.) et al., Algorithmic learning theory. 10th
international conference, ALT '99, Tokyo, Japan, December 6-8, 1999.
Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1720, 93-105 (1999).
MSC 2000: *68Q45
------------------------------------------------------------------------
13. 947.03060 Stephan, Frank; Zeugmann, Thomas
On the uniform learnability of approximations to non-recursive functions.
(English)
Watanabe, Osamu (ed.) et al., Algorithmic learning theory. 10th
international conference, ALT '99, Tokyo, Japan, December 6-8, 1999.
Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1720, 276-290
(1999). MSC 2000: *03D20 68Q32
------------------------------------------------------------------------
14. 944.03031 Gasarch, William; Stephan, Frank
A techniques-oriented survey of bounded queries. (English)
Cooper, S. Barry (ed.) et al., Models and computability. Invited papers from
the Logic colloquium '97, European meeting of the Association for Symbolic
Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press.
Lond. Math. Soc. Lect. Note Ser. 259, 117-156 (1999). MSC 2000: *03D15 68Q15
03-02, Reviewer: U.Schoening
------------------------------------------------------------------------
15. 937.68071 Fernau, Henning; Stephan, Frank
Characterizations of recursively enumerable languages by programmed grammars
with unconditional transfer. (English)
J. Autom. Lang. Comb. 4, No.2, 117-142 (1999). MSC 2000: *68Q42
------------------------------------------------------------------------
16. 932.68080 Case, John; Ott, Matthias; Sharma, Arun; Stephan, Frank
Learning to win process-control games watching game-masters. (English)
Richter, Michael M. (ed.) et al., Algorithmic learning theory. 9th
international conference, ALT '98, Otzenhausen, Germany, October 8--10,
1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1501, 31-45
(1998). MSC 2000: *68T05 91A05 91A80
------------------------------------------------------------------------
17. 932.68084 Case, John; Jain, Sanjay; Kaufmann, Susanne; Sharma, Arun;
Stephan, Frank
Predictive learning models for concept drift. (English)
Richter, Michael M. (ed.) et al., Algorithmic learning theory. 9th
international conference, ALT '98, Otzenhausen, Germany, October 8--10,
1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1501, 276-290
(1998). MSC 2000: *68T05 03D20
------------------------------------------------------------------------
18. 930.03048 Stephan, Frank
Learning via queries and oracles. (English)
Ann. Pure Appl. Logic 94, No.1-3, 273-296 (1998). MSC 2000: *03D25 68Q32
03D80
------------------------------------------------------------------------
19. 928.03055 Stephan, Frank; Ventsov, Yuri
Learning algebraic structures from text using semantical knowledge.
(English)
Richter, Michael M. (ed.) et al., Algorithmic learning theory. 9th
international conference, ALT '98, Otzenhausen, Germany, October 8--10,
1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1501, 321-335
(1998). MSC 2000: *03D80 68Q32 68T05
------------------------------------------------------------------------
20. 917.68076 Borchert, Bernd; Kuske, Dietrich; Stephan, Frank
On existentially first-order definable languages and their relation to NP.
(English)
Larsen, Kim G. (ed.) et al., Automata, languages and programming. 25th
international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998.
Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1443, 17-28 (1998).
MSC 2000: *68Q15 68Q45
------------------------------------------------------------------------
21. 912.68182 Gasarch, William; Pleszkoch, Mark G.; Stephan, Frank;
Velauthapillai, Mahendran
Classification using information. (English)
Ann. Math. Artif. Intell. 23, No.1-2, 147-168 (1998). MSC 2000: *68T05 68W10
------------------------------------------------------------------------
22. 901.68045 Stephan, Frank
Noisy inference and oracles. (English)
Theor. Comput. Sci. 185, No.1, 129-157 (1997). MSC 2000: *68P15
------------------------------------------------------------------------
23. 894.03020 Borchert, Bernd; Stephan, Frank
Looking for an analogue of Rice's theorem in circuit complexity theory.
(English)
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 5th Kurt
Goedel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997.
Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1289, 114-127
(1997). MSC 2000: *03D15 68Q25 94C10, Reviewer: V.Pestov
------------------------------------------------------------------------
24. 886.68113 Ott, Matthias; Stephan, Frank
The complexity of learning branches and strategies from queries. (English)
Leong, Hon Wai (ed.) et al., Algorithms and computation. 8th international
symposium, ISAAC '97, Singapore, December 17--19, 1997. Proceedings. Berlin:
Springer. Lect. Notes Comput. Sci. 1350, 283-292 (1997). MSC 2000: *68T05
68Q45
------------------------------------------------------------------------
25. 886.03034 Beigel, Richard; Gasarch, William; Kummer, Martin; Martin,
Georgia; McNicholl, Timothy; Stephan, Frank
On the query complexity of sets. (English)
Penczek, Wojciech (ed.) et al., Mathematical foundations of computer science
1996. 21st international symposium, MFCS '96, Cracow, Poland, September 2-6,
1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1113, 206-217
(1996). MSC 2000: *03D15 03D30
------------------------------------------------------------------------
26. 858.68074 Kummer, Martin; Stephan, Frank
Inclusion problems in parallel learning and games. (English)
J. Comput. Syst. Sci. 52, No.3, 403-420, Art. No.31 (1996). MSC 2000: *68T05
------------------------------------------------------------------------
27. 839.68083 Kinber, Efim; Stephan, Frank
Language learning from texts: Mindchanges, limited memory and monotonicity.
(English)
Inf. Comput. 123, No.2, 224-241 (1995). MSC 2000: *68T05
------------------------------------------------------------------------
28. 836.03022 Kummer, Martin; Stephan, Frank
Recursion theoretic properties of frequency computation and bounded queries.
(English)
Inf. Comput. 120, No.1, 59-77 (1995). MSC 2000: *03D25 03D20, Reviewer:
Zheng Xizhong
------------------------------------------------------------------------
29. 835.68043 Beigel, Richard; Kummer, Martin; Stephan, Frank
Approximable sets. (English)
Inf. Comput. 120, No.2, 304-314 (1995). MSC 2000: *68Q15 03D15
------------------------------------------------------------------------
30. 827.68082 Beigel, Richard; Kummer, Martin; Stephan, Frank
Quantifying the amount of verboseness. (English)
Inf. Comput. 118, No.1, 73-90 (1995). MSC 2000: *68R05
------------------------------------------------------------------------
31. 813.03026 Fortnow, Lance; Gasarch, William; Jain, Sanjay; Kinber, Efim;
Kummer, Martin; Kurtz, Stuart; Pleszkovich, Mark; Slaman, Theodore; Solovay,
Robert; Stephan, Frank
Extremes in the degrees of inferability. (English)
Ann. Pure Appl. Logic 66, No.3, 231-276 (1994). MSC 2000: *03D15 68T05,
Reviewer: C.Witteveen
------------------------------------------------------------------------
32. 806.03027 Kummer, Martin; Stephan, Frank
Effective search problems. (English)
Math. Log. Q. 40, No.2, 224-236 (1994). MSC 2000: *03D20 68Q15 68R05
------------------------------------------------------------------------
33. 799.03048 Jockusch, Carl; Stephan, Frank
A cohesive set which is not high. (English)
Math. Log. Q. 39, No.4, 515-530 (1993); correction ibid. 43, 569 (1997). MSC
2000: *03D30 03D55, Reviewer: F.Stephan
------------------------------------------------------------------------
34. 790.03042 Kummer, Martin; Stephan, Frank
Recursion theoretic properties of frequency computation and bounded queries.
(Extended abstract). (English)
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 3rd Kurt
Goedel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993.
Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 713, 243-254
(1993). MSC 2000: *03D20 03D25 68Q15, Reviewer: M.Kummer
------------------------------------------------------------------------
35. 767.03023 Kummer, Martin; Stephan, Frank
Weakly semirecursive sets and r.e. orderings. (English)
Ann. Pure Appl. Logic 60, No.2, 133-150 (1993). MSC 2000: *03D25 03D30
03D35, Reviewer: C.Calude
------------------------------------------------------------------------
36. 723.54003 Stephan, Frank
X-Raeume als Verallgemeinerung topologischer Raeume. (X-spaces as
generalizations of topological spaces). (German)
Karlsruhe: Univ. Karlsruhe, Fak. f. Mathematik, Diss. 142 S. (1990). MSC
2000: *54A05 54A20 54B10, Reviewer: B.Behrens
------------------------------------------------------------------------
Zentralblatt MATH (E-Mail),
Copyright (c) 2001 European Mathematical Society, FIZ Karlsruhe and
Springer-Verlag.
------------------------------------------------------------------------