|
Titel
|
Author
|
Year
|
Type
|
|
Learning Curves in Large Neural Networks
|
Sompolinsky, H. and Seung, H.S. and Tishby, N.
|
1991
|
Inproceedings
|
|
{CRYSTAL}: Inducing a Conceptual Dictionary
|
Stephen Soderland and David Fisher and Jonathan Aseltine and Wendy Lehnert
|
1995
|
Inproceedings
|
|
{C}lustering and {V}isualization of {L}arge {P}rotein {S}equence {D}atabases by {M}eans of an {E}xtension of the {S}elf-{O}rganizing {M}ap
|
{S}omervuo, {P}aul and {K}ohonen, {T}euvo
|
2000
|
Inproceedings
|
|
Using Theory Resolution to Simplify Interpreted Formulae
|
Rolf Socher--Ambrosius
|
1988
|
Inproceedings
|
|
Detecting Redundancy Caused by Congruent Links in Clause Graphs
|
Rolf Socher--Ambrosius
|
1989
|
Inproceedings
|
|
Representation and Use of Explicit Justifications for Knowledge Base Refinement
|
R.G. Smith and H.A. Winston and T.M. Mitchell and B.G. Buchanan
|
1985
|
Inproceedings
|
|
Quantifying Beliefs by Believe Functions: an Axiomeatic Justification
|
Philippe Smets
|
1993
|
Inproceedings
|
|
{SCOTT}: A Model-Guided Theorem Prover
|
John Slaney
|
1993
|
Inproceedings
|
|
When Oracles Do Not Help
|
Slaman, Theodore A. and Solovay, Robert M.
|
1991
|
Inproceedings
|
|
{H}ierarchien über {R}elationengebilden
|
Sielaff, Chr.
|
1986
|
Inproceedings
|
|
Detecting Errors in Novice Programs via Unsupervised Multistrategy Learning
|
Sison, R. and Numao, M. and Shimura, M.
|
1998
|
Inproceedings
|
|
A Noetherian Rewrite System for Idempotent Semigroups
|
J. Siekmann and P. Szabó
|
1981
|
Inproceedings
|
|
{E}inführung in die {K}ünstliche {I}ntelligenz
|
Siekmann, J. H.
|
1982
|
Inproceedings
|
|
Universal Unification
|
Siekmann, J.H.
|
1984
|
Inproceedings
|
|
Automatic Rule Derivation for Semantic Query Optimization
|
Michael D. Siegel
|
1988
|
Inproceedings
|
|
Automatic Rule Derivation for Semantic Query Optimization
|
Siegel, Michael D.
|
1988
|
Inproceedings
|
|
Evolving Agents for Personalized Information Filtering
|
Sheth, Beerud and Maes, Pattie
|
1993
|
Inproceedings
|
|
{I}mplementing the {I}nternet {E}nabled {S}upply {C}hain through a {C}ollaborative {A}gent {S}ystem
|
W. Shen and M. Ulieru and D. H. Norrie and R. Kremer
|
1999
|
Inproceedings
|
|
Intelligent Agents for Web-based Tasks: An Advice-Taking Approach
|
Jude Shavlik and Tina Eliassi-Rad
|
1998
|
Inproceedings
|
|
A Computational Model of Tractable Reasoning -- taking inspiration from cognition
|
Lokendra Shastri
|
1993
|
Inproceedings
|
|
An Algorithm that Infers Theories from Facts
|
Shapiro, E.Y.
|
1981
|
Inproceedings
|
|
Theoretical Views of Boosting and Applications
|
Robert E. Shapire
|
1999
|
Inproceedings
|
|
{A} brief introduction to boosting
|
Schapir, Robert E.
|
1999
|
Inproceedings
|
|
{M}ulti-resolution support vector machine
|
Shao, X. and Cherkassky, V.
|
1999
|
Inproceedings
|
|
Explanation in the Situation Calculus
|
Murray Shanahan
|
1993
|
Inproceedings
|
|
> Show next 25 entries (1625 ... )
|
