close
1.

電子ブック

EB
Luis M. Camarinha-Matos
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
目次情報: 続きを見る
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A:
Networked Enterprises / Part B:
Integrated Design and Assembly / Part C:
Machine Learning and Data Mining in Industry / Part D:
Author Index
Keynote: Networked RFID in Industrial Control
Current and Future
Multi-Agent and Holonic Systems in Manufacturing / Part A:
2.

電子ブック

EB
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Richard Ellis, Miltos Petridis, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Energy Efficient Information Processing in Wireless Sensor Networks
Topology Management for Wireless Sensor Networks
Coverage in Wireless Sensor Networks
Routing in Wireless Sensor Networks
Geometric Routing in Wireless Sensor Networks
Cooperative Relaying in Wireless Sensor Networks
Data-Centricity in Wireless Sensor Networks
Congestion and Flow Control in Wireless Sensor Networks
Data Transport Control in Wireless Sensor Networks
Fault Tolerant Algorithms/Protocols in Wireless Sensor Networks
Self-organizing and Self-healing Schemes in Wireless Sensor Networks
Quality of Service in Wireless Sensor Networks
Embedded Operating Systems in Wireless Sensor Networks
Adaptive Distributed Resource Allocation for Sensor Networks
Scheduling Activities in Wireless Sensor Networks
Energy-Efficient Medium Access Control in Wireless Sensor Networks
Energy Efficient Resource Management Techniques in Wireless Sensor Networks
Transmission Power Control Aware MAC in Wireless Sensor Networks
Security in Wireless Sensor Networks
Key Management in Wireless Sensor Networks
Secure Data Aggregation in Wireless Sensor Networks
Wireless Multimedia Sensor Networks
Middleware for Wireless Sensor Networks
Wireless Mobile Sensor Networks: Protocols and Mobility Strategies Analysis Methods for Sensor Networks
Bio-inspired Communications in Wireless Sensor Networks
Mobile Ad Hoc and Sensor Systems for Global and Homeland Security Applications
Energy Efficient Information Processing in Wireless Sensor Networks
Topology Management for Wireless Sensor Networks
Coverage in Wireless Sensor Networks
3.

電子ブック

EB
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Max A. Bramer, Frans Coenen, Andrew L. Tuson, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2007
所蔵情報: loading…
目次情報: 続きを見る
Best Technical Paper
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1:
A Discrete Particle Swarm Optimization Algorithm for the Permutation Flowshop Sequencing Problem with Makespan Criterion / Quan-Ke Pan ; M. Fatih Tasgetiren ; Yun-Chia Liang
Intialization Method for Grammar-guided Genetic Programming / Marc Garcia-Arnau ; Daniel Manrique ; Juan Rios ; Alfonso Rodriguez-Paton
Improving the Gradient Based Search Direction to Enhance Training Efficiency of Back Propagation Based Neural Network Algorithms / Nazri Mohd Nawi ; Meghana R. Ransing ; Rajesh S. Ransing
A Decision Tree-Based Attribute Weighting Filter for Naive Bayes / Mark Hall
Graphical Reasoning with Bayesian Networks / Ildiko Flesch
Knowledge Discovery in Data / Session 2a:
Ranked Multi-label Rules Associative Classifier / Fadi Thabtah
Two Different Approaches to Automated Mark Up of Emotions in Text / Virginia Francisco ; Raquel Hervas ; Pablo Gervas
Towards a Framework for Change Detection in Data Sets / Mirko Botthcer ; Detlef Nauck ; Dymitr Ruta ; Martin Spott
Incremental Inductive Learning in a Constructivist Agent / Filipo Studzinski Perotto ; Luis Otavio Alvares
Argumentation, Dialogue Games and Optimisation / Session 2b:
Argument Based Contract Enforcement / Nir Oren ; Alun Preece ; Timothy J. Norman
Negotiating Intelligently / John Debenham ; Simeon Simoff
Avoiding Long and Fruitless Dialogues in Critiquing / David McSherry ; David W. Aha
LSA-based Landscape Analysis for Multicast Routing / Mohammed S. Zahrani ; Martin J. Loomes ; James A. Malcolm ; Andreas A. Albrecht
Knowledge Representation and Management / Session 3:
Dependent Record Types for Dynamic Context Representation / Richard Dapoigny ; Patrick Barlatier
Adjusting game difficulty level through Formal Concept Analysis / Marco A. Gomez-Martin ; Pedro P. Gomez-Martin ; Pedro A. Gonzalez-Calero ; Belen Diaz-Agudo
Ontology Constraint Satisfaction Problems using Conceptual Graphs / Madalina Croitoru ; Ernesto Compatangelo
Integrating Uncertain Knowledge in a Domain Ontology for Room Concept Classifications / Joana Hois ; Kerstin Schill ; John A. Bateman
Semantic Web / Session 4:
Using AI and Semantic Web Technologies to attack Process Complexity in Open Systems / Simon Thompson ; Nick Giles ; Yang Li ; Hamid Ghari ; Thuc Nguyen (BT)
A Semantic Web Blackboard System / Craig McKenzie ; Peter Gray
Planning with the Semantic Web by fusing Ontologies and Planning Domain Definitions / Marco Cioffi ; Simon Thompson (BT)
A Reusable Commitment Management Service using Semantic Web Technology / Stuart Chalmers
Model Based Systems and Simulation / Session 5:
On-Line Monitoring of Plan Execution: a Distributed Approach / Roberto Micalizio ; Pietro Torasso
Incremental Fault Isolation for Dynamic Processes / George Coghill ; Guofu Wu
Qualitative Approaches to Semantic Scene Modelling and Retrieval / Zia Ul Qayyum ; A.G. Cohn
A Platform for Simulating Language Evolution / Carl Vogel ; Justin Woods
Short Papers
Improving the Interpretability of Classification Rules in Sparse Bioinformatics Datasets / James Smaldon ; Alex A. Freitas
An Agent-Based Approach to Non-Distributed and Distributed Clustering / Ireneusz Czarnowski ; Piotr Jedrzejowicz
Transparency of Computational Intelligence Models / Peter Owotoki ; Friedrich Mayer-Lindenberg
Exploring Web Search Results Clustering / Xiaoxia Wang ; Max Bramer
Case-based Intention Selection for Autonomous Agent that Acts in Structured Synthetic Worlds / Haris Supic
On Clustering Attribute-oriented Induction / Maybin Muyeba ; M. Sulaiman Khan ; Zhiguo Gong
Chinese Text Clustering for Topic Detection Based on Word Pattern Relation / Yen-Ju Yang ; Su-Hsin Yu
Text Classification Using Language Independent Pre-processing / Yanbo J. Wang ; Frans Coenen ; Paul Leng ; Robert Sanderson
Author Index
Best Technical Paper
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1:
4.

電子ブック

EB
Vladimir Naumovich Vapnik, S. Kotz, V. Vapnik
出版情報: Springer eBooks Computer Science , Springer New York, 2006
所蔵情報: loading…
目次情報: 続きを見る
he problem of estimating dependences from empirical data
ethods of expected-risk minimization
ethods of parametric statistics for the pattern recognition problem
ethods of parametric statistics for the problem of regression estimation
stimation of regression parameters
method of minimizing empirical risk for the problem of pattern recognition
method of minimizing empirical risk for the problem of regression estimation
he method of structural minimization of risk
olution of ill-posed problems, interpretation of measurements using the method of structural risk minimization
stimation of functional values at given points
ealism and instrumentalism: Classical statistics and the VC theory (1960-1980)
alsifiability and parsimony: VC dimension and the number of entities (1980-2000)
on-inductive methods of inference: Direct inference instead of generalization (2000- ...)
he big picture
he problem of estimating dependences from empirical data
ethods of expected-risk minimization
ethods of parametric statistics for the pattern recognition problem
5.

電子ブック

EB
Yong Shi, Zhengxin Chen, Takeo Kanade, Weixuan Xu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック

EB
J?rgen Dix, Takeo Kanade, Jo?o Leite, Jo?o Alexandre Leite, Jo??o Leite
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
7.

電子ブック

EB
Gianluca Moro, Juris Hartmanis, Claudio Sartori, Munindar P. Singh, Munindar Paul Singh
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
8.

電子ブック

EB
Petra Perner, Takeo Kanade, Germany) Institut f?r Bildverarbeitung und Angewandte Informatik (Leipzig
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック

EB
Geoffrey I. Webb, Takeo Kanade, Xing Huo Yu, Xinghuo Yu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック

EB
David Hutchison, Gunter Grieser, Takeo Kanade, Yuzuru Tanaka
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Man-Machine Interface for Intuitive Knowledge Access
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge? Knowledge Evolves Through a Cycle of Knowledge Liquidization and Crystallization / Koichi Hori
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources / Aran Lunzer
Eye Movement Navigation Interface Supporting Reading / Satoru Morita
Intuitive Interfaces for Motion Generation and Search / Yoshihiro Okada ; Hiroaki Etou ; Koichi Niijima
IntelligentPad / Meme Media
Human-Agent Co-operation in Accessing and Communicating Knowledge Media - A Case in Medical Therapy Planning / Volker Dötsch ; Kimihito Ito ; Klaus P. Jantke
Accessing Related Web Resources Through Annotated Documents / Jun Fujima ; Yuzuru Tanaka
The Biotope Issue in Meme Media Implementations
Meme Media Architecture for Intuitively Accessing and Organizing Intellectual Resources
Visualization and Design of Information Access Spaces
Enhancing Visual Perception Using Dynamic Updating of Display / Toshio Kawashima ; Takanori Terashima ; Takeshi Nagasaki ; Masashi Toda
3D Space Framework for the Multi-facet Accessing of Database Records / Makoto Ohigashi
Integrated Visualization Framework for Relational Databases and Web Resources / Tsuyoshi Sugibuchi
Semantic and Narrative Organization and Access of Knowledge Discovering Implicit Relationships in a Web of Contexts / Mina Akaishi ; Nicolas Spyratos
On Information Organization in Annotation Systems / Panos Constantopoulos ; Martin Doerr ; Maria Theodoridou ; Manos Tzobanakis
Modelling Learning Subjects as Relationships
Formalizing Retrieval Goal Change by Prioritized Abduction / Ken Satoh
Similarity of Documents Based on the Vector Sequence Model / Akihiro Yamamoto ; Akira Ogiso
Towards Constructing Story Databases Using Maximal Analogies Between Stories / Masaharu Yoshioka ; Makoto Haraguchi ; Akihito Mizoe
Author Index
Man-Machine Interface for Intuitive Knowledge Access
Do Knowledge Assets Really Exist in the World and Can We Access Such Knowledge? Knowledge Evolves Through a Cycle of Knowledge Liquidization and Crystallization / Koichi Hori
Benefits of Subjunctive Interface Support for Exploratory Access to Online Resources / Aran Lunzer
11.

電子ブック

EB
Michael G. Hinchey, Takeo Kanade, James L. Rash, Christopher A. Rouff, Walter F. Truszkowski
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
12.

電子ブック

EB
SIGCHI Workshop on Ambient Intelligence for Scientific Discovery, Yang Cai, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
13.

電子ブック

EB
Tag Gon Kim, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
14.

電子ブック

EB
Keh-Yih Su, Takeo Kanade, Asia Federation of Natural Language Processing., Jong-Hyeok Lee, Jun'ichi Tsujii
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
15.

電子ブック

EB
International Conference on Formal Concept Analysis, Bernhard Ganter, Robert Godin, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
16.

電子ブック

EB
ArgMAS 2004, Takeo Kanade, Pavlos Moraitis, Iyad Rahwan, Chris Reed
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
17.

電子ブック

EB
ProMAS 2004, Rafael H. Bordini, Takeo Kanade, Mehdi Dastani, J??rgen Dix, Amal El Fallah Seghrouchni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
18.

電子ブック

EB
E4MAS 2004, Takeo Kanade, Fabien Michel, H. Van Dyke Parunak, Danny Weyns, H. Van Dyke Parunak
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
19.

電子ブック

EB
International Workshop on Agent Communication, Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Takeo Kanade, Rogier M. van Eijk
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
20.

電子ブック

EB
TCGOV 2005, Michael H. B?hlen, Takeo Kanade, Johann Gamper, Wolfgang Polasek, Maria A. Wimmer
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
21.

電子ブック

EB
Spatial Cognition 2004, C. Freksa, Takeo Kanade, Christian Freksa, Markus Knauff, Bernd Krieg-Br??ckner, Bernhard Nebel
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
22.

電子ブック

EB
David Hutchison, Richard Benjamins, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
23.

電子ブック

EB
Gerhard Goos, Juris Hartmanis, Dieter Hutter, J?rg H. Siekmann, Werner Stephan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation / Alessandro Armando ; Luca Compagna ; Silvio Ranise
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective / Claudio Castellini ; Enrico Giunchiglia ; Fausto Giunchiglia ; Armando Tacchella
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology / Howard Barringer ; Dov Gabbay ; John Woods
Footprints of Conditionals / Christoph Beierle ; Gabriele Kern-Isberner
Time for Thinking Big in AI / Wolfgang Bibel
Solving First-Order Constraints over the Monadic Class / Dimitri Chubarov ; Andrei Voronkov
From MKRP to Ω mega / Manfred Kerber
Decidable Variants of Higher-Order Unification / Manfred Schmidt-Schauß
Normal Natural Deduction Proofs (in Non-classical Logics) / Wilfried Sieg ; Saverio Cittadini
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! / Claus-Peter Wirth
The Flowering of Automated Reasoning / Larry Wos
Applications of Logics
Description Logics as Ontology Languages for the Semantic Web / Franz Baader ; Ian Horrocks ; Ulrike Sattler
Living Books, Automated Deduction and Other Strange Things / Peter Baumgartner ; Ulrich Furbach
An Essay on Sabotage and Obstruction / Johan van Benthem
Bridging Theorem Proving and Mathematical Knowledge Retrieval / Christoph Benzmuller ; Andreas Meier ; Volker Sorge
Formal Description of Natural Languages: An HPSG Grammar of Polish / Leonard Bolc
Psychological Validity of Schematic Proofs / Mateja Jamnik ; Alan Bundy
Natural Language Proof Explanation / Armin Fiedler
Why Proof Planning for Maths Education and How? / Erica Melis
Formal Methods and Security
Towards MultiMedia Instruction in Safe and Secure Systems / Bernd Krieg-Brückner
The Impact of Models in Software Development / Manfred Broy
Formal Software Development in MAYA / Serge Autexier
A Unification Algorithm for Analysis of Protocols with Blinded Signatures / Deepak Kapur ; Paliath Narendran ; Lida Wang
Exploiting Generic Aspects of Security Models in Formal Developments / Heiko Mantel ; Axel Schairer
Verification Support Environment / Bruno Langenstein ; Andreas Nonnengart ; Georg Rock
Agents and Planning
SAT-Based Cooperative Planning: A Proposal / Marco Benedetti ; Luigia Carlucci Aiello
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots / Michael Beetz
Agents with Exact Foreknowledge / Jim Doran
Self-organisation in Holonic Multiagent Systems / Klaus Fischer
Author Index
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
24.

電子ブック

EB
RoboCup 2004, Takeo Kanade, Daniele Nardi, Martin Riedmiller, Claude Sammut, Jos?? Santos-Victor
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
25.

電子ブック

EB
Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, Boi Faltings, Takeo Kanade, European Research Consortium for Informatics and Mathematics., Adrian Petcu, Francesca Rossi
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
26.

電子ブック

EB
LPAR (Conference), Franz Baader, Takeo Kanade, Andre?? Voronkov
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
CERES in Many-Valued Logics / Matthias Baaz ; Alexander Leitsch
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi / Ullrich Hustadt ; Boris Motik ; Ulrike Sattler
Abstract DPLL and Abstract DPLL Modulo Theories / Robert Nieuwenhuis ; Albert Oliveras ; Cesare Tinelli
Combining Lists with Non-stably Infinite Theories / Pascal Fontaine ; Silvio Ranise ; Calogero G. Zarba
Abstract Model Generation for Preprocessing Clause Sets / Miyuki Koshimura ; Mayumi Umeda ; Ryuzo Hasegawa
Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying / Helmut Seidl ; Kumar Neeraj Verma
Applications of General Exact Satisfiability in Propositional Logic Modelling / Vilhelm Dahllof
BCiC: A System for Code Authenticationand Verification / Nathan Whitehead ; Mart'in Abadi
Ordered Resolution with Selection for H(@) / Carlos Areces ; Daniel Gor'in
On a Semantic Subsumption Test / Jerzy Marcinkowski ; Jan Otop ; Grzegorz Stelmaszek
Suitable Graphs for Answer Set Programming / Thomas Linke ; Vladimir Sarsakov
Weighted Answer Sets and Applications in Intelligence Analysis / Davy Van Nieuwenborgh ; Stijn Heymans ; Dirk Vermeir
How to Fix It: Using Fixpoints in Different Contexts / Igor Walukiewicz
Reasoning About Systems with Transition Fairness / Benjamin Aminof ; Thomas Ball ; Orna Kupferman
Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games / Dietmar Berwanger ; Erich Gradel
How the Location of * Influences Complexity in Kleene Algebra with Tests / Chris Hardin
The Equational Theory of Is Decidable, but Not Finitely Axiomatisable / Roberto Di Cosmo ; Thomas Dufour
A Trichotomy in the Complexity of Propositional Circumscription / Gustav Nordh
Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems / Lucas Bordeaux ; Marco Cadoli ; Toni Mancini
Evaluating QBFs via Symbolic Skolemization / Marco Benedetti
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs / Jürgen Giesl ; Rene Thiemann ; Peter Schneider-Kamp
Automated Termination Analysis for Incompletely Defined Programs / Christoph Walther ; Stephan Schweitzer
Automatic Certification of Heap Consumption / Lennart Beringer ; Martin Hofmann ; Alberto Momigliano ; Olha Shkaravska
A Formalization of Off-Line Guessing for Security Protocol Analysis / Paul Hankes Drielsma ; Sebastian Mödersheim ; Luca Vigano
Abstraction-Carrying Code / Elvira Albert ; German Puebla ; Manuel Hermenegildo
A Verification Environment for Sequential Imperative Programs in Isabelle/HOL / Norbert Schirmer
Can a Higher-Order and a First-Order Theorem Prover Cooperate? / Christoph Benzmüller ; Volker Sorge ; Mateja Jamnik ; Manfred Kerber
A Generic Framework for Interprocedural Analyses of Numerical Properties / Markus Müller-Olm
Second-Order Matching via Explicit Substitutions / Flávio L.C. de Moura ; Fairouz Kamareddine ; and
Mauricio Ayala-Rincon
Knowledge-Based Synthesis of Distributed Systems Using Event Structures / Mark Bickford ; Robert C. Constable ; Joseph Y. Halpern ; Sabina Petride
The Inverse Method for the Logic of Bunched Implications / Kevin Donnelly ; Tyler Gibson ; Neel Krishnaswami ; Stephen Magill ; Sungwoo Park
Cut-Elimination: Experiments with CERES / Stefan Hetzl ; Clemens Richter ; Hendrik Spohr
Uniform Rules and Dialogue Games for Fuzzy Logics / Agata Ciabattoni ; Christian G. Fermüller ; George Metcalfe
Nonmonotonic Description Logic Programs: Implementation and Experiments / Thomas Eiter ; Giovambattista Ianni ; Roman Schindlauer ; Hans Tompits
Implementing Efficient Resource Management for Linear Logic Programming / Pablo López ; Jeff Polakow
Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals / Jamshid Bagherzadeh ; S. Arun-Kumar
Author Index
CERES in Many-Valued Logics / Matthias Baaz ; Alexander Leitsch
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi / Ullrich Hustadt ; Boris Motik ; Ulrike Sattler
Abstract DPLL and Abstract DPLL Modulo Theories / Robert Nieuwenhuis ; Albert Oliveras ; Cesare Tinelli
27.

電子ブック

EB
Daniel Kudenko, Eduardo Alonso, Takeo Kanade, Dimitar Kazakov
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
28.

電子ブック

EB
MABS 2004, Paul Davidsson, Takeo Kanade, Brian Logan, Keiki Takadama
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
29.

電子ブック

EB
Pacific Rim International Workshop on Multi-Agents, Mike Barley, Takeo Kanade, Nikola K. Kasabov, Nik Kasabov
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
30.

電子ブック

EB
WCII 2002, Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm R?dder, Wilhelm R?��dder
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
31.

電子ブック

EB
International Conference on Applications of Declarative Programming and Knowledge Management, Takeo Kanade, Dietmar Seipel, Ulrich Geske, Michael Hanus
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
32.

電子ブック

EB
LACL 2005, Philippe Blache, Takeo Kanade, Joan Busquets, Richard Moot, Edward Stabler
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
33.

電子ブック

EB
ESAW 2004, Marie-Pierre Gleizes, Takeo Kanade, Andrea Omicini, Franco Zambonelli
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
34.

電子ブック

EB
CSLP 2004, Henning Christiansen, Takeo Kanade, Peter Rossen Skadhauge, J?rgen Villadsen, J??rgen Villadsen
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
35.

電子ブック

EB
Canadian Society for Computational Studies of Intelligence. Conference, Guy Lapalme, Takeo Kanade, Bal?zs K?gl, Guy Lapalme
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
36.

電子ブック

EB
International Symposium on Methodologies for Intelligent Systems, Mohand-Sa?d Hacid, Takeo Kanade, Zbigniew W. Ras, Shusaku Tsumoto
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
37.

電子ブック

EB
AOIS 2004, Paolo Bresciani, Takeo Kanade, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
38.

電子ブック

EB
Pacific-Asia Conference on Knowledge Discovery and Data Mining, David Cheung, Tu Bao Ho, Takeo Kanade, Huan Liu
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
39.

電子ブック

EB
AIS-ADM 2005, Vladimir I. Gorodetski, Takeo Kanade, Jiming Liu, Victor A. Skormin
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
40.

電子ブック

EB
International Workshop on Declarative Agent Languages and Technologies, Takeo Kanade, Jo?o Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
41.

電子ブック

EB
David Hutchison, Sven A. Brueckner, Takeo Kanade, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
42.

電子ブック

EB
J?r?me Euzenat, John Domingue, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
43.

電子ブック

EB
Danail Dochev, Marco Pistore, J?rg Siekmann, Paolo Traverso
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
Towards Agent-Oriented Relevant Information / Laurence Cholvy ; Stephanie Roussel
The Agent Modeling Language (AMOLA) / Nikolaos Spanoudakis ; Pavlos Moraitis
Natural Language Processing and Text Analysis / 2:
Tailoring the Interpretation of Spatial Utterances for Playing a Board Game / Andrea Corradini
ASAP- An Advanced System for Assessing Chat Participants / Mihai Dascalu ; Erol-Valeriu Chioasca ; Stefan Trausan-Matu
Using Text Segmentation to Enhance the Cluster Hypothesis / Sylvain Lamprier ; Tassadit Amghar ; Bernard Levrat ; Frederic Saubion
Multilingual Plagiarism Detection / Zdenek Ceska ; Michal Toman ; Karel Jezek
Dealing with Spoken Requests in a Multimodal Question Answering System / Roberto Gretter ; Milen Kouylekov ; Matteo Negri
Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study / Preslav Nakov
Machine Learning and Information Retrieval / 3:
Optimising Predictive Control Based on Neural Models / Maciej Lawrynczuk
Prototypes Based Relational Learning / Rocio Garcia-Duran ; Fernando Fernandez ; Daniel Borrajo
Robustness Analysis of SARSA([lambda]): Different Models of Reward and Initialisation / Marek Grzes ; Daniel Kudenko
Thematic Segment Retrieval Revisited
Knowledge Representation and Reasoning / 4:
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models / Emilia Oikarinen ; Tomi Janhunen
Mapping Properties of Heterogeneous Ontologies / Chiara Ghidini ; Luciano Serafini
A Logical Approach to Dynamic Role-Based Access Control / Philippe Balbiani ; Yannick Chevalier ; Marwa El Houri
Interpolative Boolean Logic / Dragan Radojevic ; Aleksandar Perovic ; Zoran Ognjanovic ; Miodrag Raskovic
Abstract Argumentation Scheme Frameworks / Katie Atkinson ; Trevor Bench-Capon
Constraints, Heuristics, and Search / 5:
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models / Roman Bartak ; Ondrej Cepek
Incorporating Learning in Grid-Based Randomized SAT Solving / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm / Zhipeng Lu ; Jin-Kao Hao
Heuristic Hill-Climbing as a Markov Process / Carlos Linares Lopez
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs / Bayo Omomowo ; Ines Arana ; Hatem Ahriz
Applications / 6:
Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7:
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
44.

電子ブック

EB
John Darzentas, Argyris Arnellos, J?rg Siekmann, Spyros Vosinakis, George A. Vouros
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Full Papers
Application of Naturalistic Decision Making to Emergency Evacuation Simulations / Fatemeh Alavizadeh ; Behzad Moshiri ; Caro Lucas
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web / Grigoris Antoniou ; Antonis Bikakis ; Polyvios Damianakis ; Mixalhs Foukarakis ; Giorgos Iacovidis ; Marianna Karmazi ; Haridimos Kondylakis ; Antreas Makridakis ; Giorgos Nikiforos ; Grigoris Papadourakis ; Manolis Papoutsakis ; Aggeliki Psyharaki ; Giorgos Stratakis ; Panagiotis Tourlakis ; Petros Tsialiamanis ; Giorgos Vasileiadis ; Gerd Wagner ; Dimitris Velegrakis
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Enhancing NetLogo to Simulate BDI Communicating Agents / Ilias Sakellariou ; Petros Kefalas ; Ioanna Stamatopoulou
Integration of Computational Intelligence Applications in Engineering Design / Kostas M. Saridakis
A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps / Athanasios Tsadiras
Incremental Relevance Vector Machine with Kernel Learning / Dimitris Tzikas ; Aristidis Likas ; Nikolaos Galatsanos
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
45.

電子ブック

EB
F. Acar Savac?�}, Takeo Kanade, Ferit Acar Savac?�}
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Case Study on Logging Visual Activities: Chess Game / Sukru Ozan ; Sevket Gumustekin
Multiple Robot Path Planning for Robot Soccer / Cagdas Yetisenler ; Ahmet Ozkurt
Navigation and GPS Based Path Control of an Autonomous Vehicle / Erol Uyar ; Levent Cetin ; Aytac Goren
A Generative Model for Multi Class Object Recognition and Detection / Ilkay Ulusoy
Depth of General Scenes from Defocused Images Using Multilayer Feedforward Networks / Veysel Aslantas ; Mehmet Tunckanat
Tracking Control Based on Neural Network for Robot Manipulator / Murat Sonmez ; Ismet Kandilli ; Mehmet Yakut
Performance Evaluation of Recurrent RBF Network in Nearest Neighbor Classification / Mehmet Kerem Muezzinoglu
Tracking Aircrafts by Using Impulse Exclusive Filter with RBF Neural Networks / Pinar Civicioglu
A Multilayer Feedforward Fuzzy Neural Network / Aydogan Savran
Neural Networks and Cascade Modeling Technique in System Identification / Erdem Turker Senalp ; Ersin Tulunay ; Yurdanur Tulunay
Comparison of Complex-Valued Neural Network and Fuzzy Clustering Complex-Valued Neural Network for Load-Flow Analysis / Murat Ceylan ; Nurettin Cetinkaya ; Rahime Ceylan ; Yuksel Ozbay
A New Formulation for Classification by Ellipsoids / Aysegul Ucar ; Yakup Demir ; Cuneyt Guzelis
DSP Based Fuzzy-Neural Speed Tracking Control of Brushless DC Motor / Cetin Gencer ; Ali Saygin ; Ismail Coskun
Fault Diagnosis with Dynamic Fuzzy Discrete Event System Approach / Erdal Kilic ; Caglar Karasu ; Kemal Leblebicioglu
A Hybrid Neuro-Fuzzy Controller for Brushless DC Motors / Muammer Gokbulut ; Besir Dandil ; Cafer Bal
Can a Fuzzy Rule Look for a Needle in a Haystack? / Akira Imada
Protein Solvent Accessibility Prediction Using Support Vector Machines and Sequence Conservations / Hasan Ogul ; Erkan U. Mumcuoglu
Instrument Independent Musical Genre Classification Using Random 3000 ms Segment / Ali Cenk Gedik ; Adil Alpkocak
Unsupervised Image Segmentation Using Markov Random Fields / Abdulkadir Sengur ; Ibrahim Turkoglu ; M. Cevdet Ince
Modeling Interestingness of Streaming Classification Rules as a Classification Problem / Tolga Aydin ; Halil Altay Guvenir
Refining the Progressive Multiple Sequence Alignment Score Using Genetic Algorithms / Halit Ergezer
An Evolutionary Local Search Algorithm for the Satisfiability Problem / Levent Aksoy ; Ece Olcay Gunes
HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems / Zerrin Yumak ; Tatyana Yakhno
Elevator Group Control by Using Talented Algorithm / Ulvi Dagdelen ; Aytekin Bagis ; Dervis Karaboga
A Fault Tolerant System Using Collaborative Agents / Sebnem Bora
3-D Object Recognition Using 2-D Poses Processed by CNNs and a GRNN / Ovung Polat ; Vedat Tausanoglu
Author Index
A Case Study on Logging Visual Activities: Chess Game / Sukru Ozan ; Sevket Gumustekin
Multiple Robot Path Planning for Robot Soccer / Cagdas Yetisenler ; Ahmet Ozkurt
Navigation and GPS Based Path Control of an Autonomous Vehicle / Erol Uyar ; Levent Cetin ; Aytac Goren
46.

電子ブック

EB
Leszek Rutkowski, Takeo Kanade, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. ??urada
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
47.

電子ブック

EB
Leszek Rutkowski, J?rg Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
48.

電子ブック

EB
Jacques Calmet, Tetsuo Ida, Takeo Kanade, Dongming Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
49.

電子ブック

EB
Lionel Prevost, Simone Marinai, Friedhelm Schwenker, J?rg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Fuzzy Evolutionary Probabilistic Neural Networks / V.L. Georgiou ; Ph.D. Alevizos ; M.N. Vrahatis
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Mining Software Aging Patterns by Artificial Neural Networks / Hisham El-Shishiny ; Sally Deraz ; Omar Bahy
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
50.

電子ブック

EB
Friedhelm Schwenker, Takeo Kanade, Simone Marinai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Simple and Effective Connectionist Nonparametric Estimation of Probability Density Functions / Edmondo Trentin
Comparison Between Two Spatio-Temporal Organization Maps for Speech Recognition / Zouhour Neji Ben Salem ; Laurent Bougrain ; Frederic Alexandre
Adaptive Feedback Inhibition Improves Pattern Discrimination Learning / Frank Michler ; Thomas Wachtler ; Reinhard Eckhorn
Semi-supervised Learning
Supervised Batch Neural Gas / Barbara Hammer ; Alexander Hasenfuss ; Frank-Michael Schleif ; Thomas Villmann
Fuzzy Labeled Self-Organizing Map with Label-Adjusted Prototypes / Udo Seiffert ; Cornelia Bruss ; Tina Geweniger
On the Effects of Constraints in Semi-supervised Hierarchical Clustering / Hans A. Kestler ; Johann M. Kraus ; Gunther Palm ; Friedhelm Schwenker
A Study of the Robustness of KNN Classifiers Trained Using Soft Labels / Neamat El Gayar
Supervised Learning
An Experimental Study on Training Radial Basis Functions by Gradient Descent / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
A Local Tangent Space Alignment Based Transductive Classification Algorithm / Jianwei Yin ; Xiaoming Liu ; Zhilin Feng ; Jinxiang Dong
Incremental Manifold Learning Via Tangent Space Alignment
A Convolutional Neural Network Tolerant of Synaptic Faults for Low-Power Analog Hardware / Johannes Fieres ; Karlheinz Meier ; Johannes Schemmel
Ammonium Estimation in a Biological Wastewater Plant Using Feedforward Neural Networks / Hilario Lopez Garcia ; Ivan Machon Gonzalez
Support Vector Learning
Support Vector Regression Using Mahalanobis Kernels / Yuya Kamada ; Shigeo Abe
Incremental Training of Support Vector Machines Using Truncated Hypercones / Shinya Katagiri
Fast Training of Linear Programming Support Vector Machines Using Decomposition Techniques / Yusuke Torii
Multiple Classifier Systems
Multiple Classifier Systems for Embedded String Patterns / Barbara Spillmann ; Michel Neuhaus ; Horst Bunke
Multiple Neural Networks for Facial Feature Localization in Orientation-Free Face Images / Lionel Prevost ; Rachid Belaroussi ; Maurice Milgram
Hierarchical Neural Networks Utilising Dempster-Shafer Evidence Theory / Rebecca Fay ; Christian Thiel
Combining MF Networks: A Comparison Among Statistical Methods and Stacked Generalization
Visual Object Recognition
Object Detection and Feature Base Learning with Sparse Convolutional Neural Networks / Alexander R.T. Gepperth
Visual Classification of Images by Learning Geometric Appearances Through Boosting / Martin Antenreiter ; Christian Savu-Krohn ; Peter Auer
An Eye Detection System Based on Neural Autoassociators / Monica Bianchini ; Lorenzo Sarti
Orientation Histograms for Face Recognition / Andreas Sachs
Data Mining in Bioinformatics
An Empirical Comparison of Feature Reduction Methods in the Context of Microarray Data Classification / Christoph Mussel
Unsupervised Feature Selection for Biomarker Identification in Chromatography and Gene Expression Data / Marc Strickert ; Nese Sreenivasulu ; Silke Peterek ; Winfriede Weschke ; Hans-Peter Mock
Learning and Feature Selection Using the Set Covering Machine with Data-Dependent Rays on Gene Expression Profiles / Wolfgang Lindner ; Andre Muller
Author Index
Unsupervised Learning
Simple and Effective Connectionist Nonparametric Estimation of Probability Density Functions / Edmondo Trentin
Comparison Between Two Spatio-Temporal Organization Maps for Speech Recognition / Zouhour Neji Ben Salem ; Laurent Bougrain ; Frederic Alexandre
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼