close
1.

図書

図書
Edward R. Dougherty ... [et al.], chairs/editors ; sponsored and published by IS & T--the Society of Imaging Science and Technology [and] SPIE--the International Society for Optical Engineering.
出版情報: Bellingham, Wash. : SPIE, c2006  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6064
Proceedings of Electronic Imaging Science and Technology
所蔵情報: loading…
2.

図書

図書
David P. Casasent, Ernest L. Hall, chairs/editors ; sponsored ... by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c2001  x, 582 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4572
所蔵情報: loading…
3.

図書

図書
David P. Casasent, Ernest L. Hall, Juha Röning, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2005  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6006
所蔵情報: loading…
4.

図書

図書
David P. Casasent, Ernest L. Hall, Juha Röning, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2006  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6384
所蔵情報: loading…
5.

図書

図書
editor, Waleed W. Smari, associate editor, Atif M. Memon
出版情報: Piscataway, NJ : IEEE Systems, Man, and Cybernetics Society, c2003  xl, 622 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
Balázs Kégl, Guy Lapalme (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xv, 458 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3501 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書

図書
Jean-Claude Heudin (ed.)
出版情報: Berlin : Springer, c2000  xi, 314 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1834 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Evelina Lamma, Paola Mello (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000  xi, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1792 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000  x, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1:
Integrating Constraint Solving into Proof Planning / Erica Melis ; Jürgen Zimmer ; Tobias Muller
Termination of Constraint Contextual Rewriting / Alessandro Armando ; Silvio Ranise
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination / Gilles Dowek
Normal Forms and Proofs in Combined Modal and Temporal Logics / U. Hustadt ; C. Dixon ; R. A. Schmidt ; M. FisherSession 2:
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic / Paqui Lucio
Handling Differential Equations with Constraints for Decision Support / Jorge Cruz ; Pedro BarahonaSession 3:
Non-trivial Symbolic Computations in Proof Planning / Volker Sorge
Integrating Computer Algebra and Reasoning through the Type System of Aldor / Erik Poll ; Simon Thompson
Combinations of Model Checking and Theorem Proving / Tomás E. Uribe
Compiling Multi-paradigm Declarative Programs into Prolog / Sergio Antoy ; Michael HanusSession 4:
Modular Redundancy for Theorem Proving / Miquel Bofill ; Guillem Godoy ; Robert Nieuwenhuis ; Albert Rubio
Composing and Controlling Search in Reasoning Theories Using Mappings / Alessandro Coglio ; Fausto Giunchiglia ; José Meseguer ; Carolyn L. Talcott
Why Combined Decision Problems Are Often Intractable / Klaus U. SchulzInvited Paper:
Session 5
Congruence Closure Modulo Associativity and Commutativity / L. Bachmair ; I. V. Ramakrishnan ; A. Tiwari ; L. Vigneron
Combining Equational Theories Sharing Non-Collapse-Free Constructors / Franz Baader ; Cesare Tinelli
Comparing Expressiveness of Set Constructor Symbols / Agostino Dovier ; Carla Piazza ; Alberto Policriti
Author Index
Invited Paper
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1:
10.

図書

図書
Osvaldo Cairo, L. Enrique Sucar, Francisco J. Cantu (eds.)
出版情報: Berlin : Springer, c2000  xiv, 750 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1793 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Knowledge Representation and Reasoning
Searching for a Solution to Program Verification=Equation Solving in CCS / Raúl Monroy ; Alan Bundy ; Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning / Mauricio Osorio ; Juan Carlos Nieves ; Fernando Zacarias ; Erika Saucedo
Experiments on Information Retrieval Using Case-Based Reasoning / Carlos Ramirez
A Probabilistic Exemplar-Based Model for Case-Based Reasoning / Andrés F. Rodríguez ; Sunil Vadera ; L. Enrique Sucar
Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective / Ricardo P. Beausoleil
A Methodology to Parallel the Temperature Cycle in Simulated Annealing / Héctor Sanvicente Sánchez ; Juan Frausto Solís
Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm / Joaquín Pérez ; Rodolfo Pazos ; Juan Frausto ; David Romero ; Laura Cruz
A Practical Approach for Logic Program Analysis and Transformation / Wamberto Weber-Vasconcelos ; Eudenia Xavier Meneses
Experiments in Answer Sets Planning / M. Balduccini ; G. Brignoli ; G.A. Lanzarone ; F. Magni ; A. Provetti
Robotics and Computer Vision
Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment / F. Curatelli ; O. Mayora-Ibarra
Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems / Homero V. Ríos ; Ana Luisa Solís ; Emilio Aguirre ; Lourdes Guerrero ; Joaquín Peña ; Alberto Santamaría
Detection and Tracking of Facial Features in Video Sequences / Rogério Schmidt Feris ; Teófilo Emídio de Campos ; Roberto Marcondes Cesar Junior
An Application of Behavior-Based Architecture for Mobile Robots Design / Sergio Uribe-Gutierrez ; Horacio Martinez-Alfaro
Cooperative Simulated Annealing for Path Planning in Multi-robot Systems / Gildardo Sánchez-Ante ; Fernando Ramos
Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors / Leonardo Romero ; Eduardo Morales ; Enrique Sucar
Evolving Insect Locomotion Using Cooperative Genetic Programming / Edgar E. Vallejo
On the Minimal Cooperative Attitude in Multi-robotics Systems / Giovani Gómez
Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition
A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC / Raúl Leal Ascencio ; Marco Pérez Cisneros
Machine Learning
A New Approach for the Solution of Multiple Objective Optimization Problems Based on Reinforcement Learning / Carlos Mariano
Automatic Extraction of Logic Program Transformations from Examples / Marcelo A.T. Aragão
Modifications to the Credit Apportionment Mechanism of a Simple Classifier System / Carlos Zozaya-Gorostiza ; David R. Orellana-Moyao
A Framework for Interleaving Planning-while-Learning and Execution / Marcello Balduccini
Integrated Reinforcement and Evolutionary Learning Algorithm: Application to Alife in a Shared World / Jianjun Yan ; Naoyuki Tokuda ; Juichi Miyamichi
RuLess: A Method for the Acquisition and Simplification of Rules / Pablo R. de Buen Rodriguez ; Eduardo F. Morales
Applying Reinforcement Learning to Improve MCOE, an Intelligent Learning Environment for Ecology / Daniel Antonio Callegari ; Flávio Moreira de Oliveira
Rapid Fine-Tuning of Computationally Intensive Classifiers / Stefan Zemke
Qualitative Knowledge Acquisition for Learning Organizations / Rafael E. Bourguet ; Rogelio Soto
Applying One-Sided Selection to Unbalanced Datasets / Gustavo E.A.P.A. Batista ; Andre C.P.L.F. Carvalho ; Maria Carolina Monard
Neural Networks
NSL/ASL: Distributed Simulation of Modular Neural Networks / Alfredo Weitzenfeld ; Oscar Peguero ; Sebastián Gutiérrez
Dynamical Behavior of an Electronic Neuron of Commutation / A. Padrón ; J. L. Pérez ; A. Herrera ; R. Prieto
Training Neural Networks Using Non-standard Norms - Preliminary Results / Angel Kuri Morales
Extending the Prediction Horizon in Dynamic Bandwidth Allocation for VBR Video Transport / Armando García-Rodríguez ; Ramón M. Rodríguez-Dagnino ; Christos Douligeris
Constructing a Query Facility for RBS Networks / Marijke F. Augusteijn ; Kelly Shaw
A Procedure to Select the Vigilance Threshold for the ART2 for Supervised and Unsupervised Training / P. Rayón Villela ; J. H. Sossa Azuela
Investigation of the One-Armed Bandit by Neural Network / Frank C. Lin ; Xiaojiang Ju
Knowledge-Based Systems
Knowledge Base System for Diagnostic Assessment of Doppler Spectrogram / B. Das ; S.K. Mitra ; S. Banerjee
Using Randomized Algorithms for Digital Mock-Up in Automotive Industry / Benedikt Bietzker ; Oliver Karch ; Hartmut Noltemeier
Risks Inside-Out / Osvaldo Cairó ; Julio Barreiro ; Francisco Solsona
A Specificic Domain Translator Application in a Floristic Digital Library / Dulcinea Navarrete ; Rogelio Dávila ; Alfredo Sánchez
A Cooperative, Deductive and Self-Adaptive Web Authoring Environment / Dominique Decouchant ; Ana María Martínez-Enríquez
Definition of a General Conceptualization Method for the Expert Knowledge / Almudena Sierra-Alonso
Segmenting the e-Commerce Market Using the Generative Topographic Mapping / A. Vellido ; P.J.G. Lisboa ; K. Meehan
Speech Recognition and Natural Language
Designing a Fast Neuro-fuzzy System for Speech Noise Cancellation / Anna Esposito ; Eugène C. Ezin ; Carlos A. Reyes-García
Verification of Correct Pronunciation of Mexican Spanish Using Speech Technology / Ingrid Kirschning ; Nancy Aguas
Explaining Abstract Data Types with Sentential and Diagrammatic Elements / Agustin A. Araya ; Jessica H. Chu
Dialogue Structure Influence Over Anaphora Resolution / Patricio Martínez-Barco ; Manuel Palomar
Processing of Spanish Definite Descriptions / Rafael Muñoz ; Antonio Ferrández
Syntatic-Conceptual Analysis of Sentences in Spanish Using a Restricted Lexicon for Disambiguation / Miguel Angel Ibarra Rivera ; Jesús Favela Vara ; Aurelio López-López
Comparison of Conceptual Graphs / Manuel Montes-y-Gómez ; Alexander Gelbukh
Multiagent Systems
Interaction of Purposeful Agents that Use Different Ontologies / Adolfo Guzmán ; Jesús Olivares ; Araceli Demetrio ; Carmen Domínguez
Multi-agent Adaptive Dynamic Programming / Snehasis Mukhopadhyay ; Joby Varghese
A New Generation of International Databases: A Multi-agent Inspired Approach to Integrate Different Theory-Driven Databases on Conflict Warning / Monica Lagazio ; Evan Govender
Intelligent Interface Agents Behavior Modeling / Jorge J. Gómez-Sanz ; Juan Pavón ; Francisco Garijo
Memory Based Reasoning and Agents Adaptive Behavior / Ana S. Aguera ; Alejandro Guerra ; Manuel Martínez
A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent / Pedro Pablo González Pérez ; José Negrete Martínez ; Ariel Barreiro García ; Carlos Gershenson García
Action Selection Properties in a Software Simulated Agent
MultiAgent Planning: A Resource Based Approach / José Juan Palacios Pérez
Reasoning Under Uncertainty
Dynamic Fuzzy Logic / José Luis Pérez-Silva ; Felipe Lara-Rosano
Generation of a Personal Qualitative Assessment Instrument Using a Fuzzy Expert System / A. M. Martínez-Enríquez ; O. R. Sereno-Peñaloza
Probabilistic Model-Based Diagnosis / Pablo H. Ibargüengoytia
Instance Metrics Improvement by Probabilistic Support / Héctor Jiménez ; Guillermo Morales
EDAS - Event-Disturbance Analysis System for Fossil Power Plants Operation / G. Arroyo-Figueroa
Intelligent Tutoring Systems
A Complete Teamwork Model in a Dynamic Environment / M. Goyal ; N. Parameswaran
Towards a Personalized Web-Based Educational System / J. G. Boticario ; E. Gaudioso
CASSIEL: Modeling Intelligent Agents for a Lifelong Learning Environment / Gerardo Ayala ; Arlette Hernández
Author Index
Knowledge Representation and Reasoning
Searching for a Solution to Program Verification=Equation Solving in CCS / Raúl Monroy ; Alan Bundy ; Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning / Mauricio Osorio ; Juan Carlos Nieves ; Fernando Zacarias ; Erika Saucedo
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼