Algorithmic learning theory : 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993 : proceedings
著者
書誌事項
Algorithmic learning theory : 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993 : proceedings
(Lecture notes in computer science, 744 . Lecture notes in artificial intelligence)
Springer-Verlag, c1993
- : gw
- : us
大学図書館所蔵 全55件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This volume contains all the papers that were presented at
the Fourth Workshop on Algorithmic Learning Theory, held in
Tokyo in November 1993. In addition to 3 invited papers, 29
papers were selected from 47 submitted extended abstracts.
The workshop was the fourth in a series of ALT workshops,
whose focus is on theories of machine learning and the
application of such theories to real-world learning
problems. The ALT workshops have been held annually since
1990, sponsored by the Japanese Society for Artificial
Intelligence. The volume is organized into parts on
inductive logic and inference, inductive inference,
approximate learning, query learning, explanation-based
learning, and new learning paradigms.
目次
Identifying and using patterns in sequential data.- Learning theory toward Genome Informatics.- Optimal layered learning: A PAC approach to incremental sampling.- Reformulation of explanation by linear logic toward logic for explanation.- Towards efficient inductive synthesis of expressions from input/output examples.- A typed ?-calculus for proving-by-example and bottom-up generalization procedure.- Case-based representation and learning of pattern languages.- Inductive resolution.- Generalized unification as background knowledge in learning logic programs.- Inductive inference machines that can refute hypothesis spaces.- On the duality between mechanistic learners and what it is they learn.- On aggregating teams of learning machines.- Learning with growing quality.- Use of reduction arguments in determining Popperian FIN-type learning capabilities.- Properties of language classes with finite elasticity.- Uniform characterizations of various kinds of language learning.- How to invent characterizable inference methods for regular languages.- Neural Discriminant Analysis.- A new algorithm for automatic configuration of Hidden Markov Models.- On the VC-dimension of depth four threshold circuits and the complexity of Boolean-valued functions.- On the sample complexity of consistent learning with one-sided error.- Complexity of computing Vapnik-Chervonenkis dimension.- ?-approximations of k-label spaces.- Exact learning of linear combinations of monotone terms from function value queries.- Thue systems and DNA - A learning algorithm for a subclass.- The VC-dimensions of finite automata with n states.- Unifying learning methods by colored digraphs.- A perceptual criterion for visually controlling learning.- Learning strategies using decision lists.- A decomposition based induction model for discovering concept clusters from databases.- Algebraic structure of some learning systems.- Induction of probabilistic rules based on rough set theory.
「Nielsen BookData」 より