close
1.

電子ブック

EB
José Neves, José Manuel Machado, Manuel Filipe Santos, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Second General Artificial Intelligence Workshop (GAIW 2007) / Chapter 1:
Towards Tractable Local Closed World Reasoning for the Semantic Web / Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler
Optimal Brain Surgeon for General Dynamic Neural Networks / Christian Endisch ; Christoph Hackl ; Dierk Schroder
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems / Joao Leite ; Manoela Ilic
Application of Logic Wrappers to Hierarchical Data Extraction from HTML / Amelia Badica ; Costin Badica ; Elvira Popescu
Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems / J.R. Mendez ; F. Fdez-Riverola ; D. Glez-Pena ; F. Diaz ; J.M. Corchado
Godel and Computability / Luis Moniz Pereira
Prospective Logic Agents / Goncalo Lopes
An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers / Rui Leite ; Pavel Brazdil
Modelling Morality with Prospective Logic / Ari Saptawijaya
Change Detection in Learning Histograms from Data Streams / Raquel Sebastiao ; Joao Gama
Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction / Helder Quintela ; Manuel Filipe Santos ; Paulo Cortez
Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering / Pedro Pereira Rodrigues
On the Use of Rough Sets for User Authentication Via Keystroke Dynamics / Kenneth Revett ; Sergio Tenreiro de Magalhaes ; Henrique M.D. Santos
The Halt Condition in Genetic Programming / Jose Neves ; Jose Machado ; Cesar Analide ; Antonio Abelha ; Luis Brito
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives / Gregory Wheeler
First Workshop on AI Applications for Sustainable Transportation Systems (AIASTS 2007) / Chapter 2:
Nonlinear Models for Determining Mode Choice: Accuracy is not Always the Optimal Goal / Elke Moons ; Geert Wets ; Marc Aerts
Adaptation in Games with Many Co-evolving Agents / Ana L.C. Bazzan ; Franziska Klugl ; Kai Nagel
Third Workshop on Artificial Life and Evolutionary Algorithms (ALEA 2007) / Chapter 3:
Symmetry at the Genotypic Level and the Simple Inversion Operator / Cristian Munteanu ; Agostinho Rosa
A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Uncapacitated Examination Timetabling Problem / Nelishia Pillay ; Wolfgang Banzhaf
Asynchronous Stochastic Dynamics and the Spatial Prisoner's Dilemma Game / Carlos Grilo ; Luis Correia
Improving Evolutionary Algorithms with Scouting / Konstantinos Bousmalis ; Gillian M. Hayes ; Jeffrey O. Pfaffmann
Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms / Rui Mendes ; James Kennedy
Exploiting Second Order Information in Computational Multi-objective Evolutionary Optimization / Pradyumn Kumar Shukla
First Workshop on Ambient Intelligence Technologies and Applications (AMITA 2007) / Chapter 4:
Ambient Intelligence - A State of the Art from Artificial Intelligence Perspective / Carlos Ramos
Ubiquitous Ambient Intelligence in a Flight Decision Assistance System / Nuno Gomes ; Cristiano Pereira ; Francisco Nunes
Argumentation-Based Decision Making in Ambient Intelligence Environments / Goreti Marreiros ; Ricardo Santos ; Paulo Novais ; Jose Bula-Cruz
Intelligent Mixed Reality for the Creation of Ambient Assisted Living / Ricardo Costa ; Luis Lima ; Carlos Alberto
Medical Imaging Environment - A Multi-Agent System for a Computer Clustering Based Multi-display / Victor Alves ; Filipe Marreiros ; Luis Nelas ; Mourylise Heymer
Second Workshop on Building and Applying Ontologies for the Semantic Web (BAOSW 2007) / Chapter 5:
Partial and Dynamic Ontology Mapping Model in Dialogs of Agents / Ademir Roberto Freddo ; Robison Cris Brito ; Gustavo Gimenez-Lugo ; Cesar Augusto Tacla
Using Ontologies for Software Development Knowledge Reuse / Bruno Antunes ; Nuno Seco ; Paulo Gomes
First Workshop on Business Intelligence (BI 2007) / Chapter 6:
Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market / Virgilijus Sakalauskas ; Dalia Kriksciuniene
A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System / Jorge Loureiro ; Orlando Belo
Experiments for the Number of Clusters in K-Means / Mark Ming-Tso Chiang ; Boris Mirkin
A Network Algorithm to Discover Sequential Patterns / Luis Cavique
Adaptive Decision Support for Intensive Care / Pedro Gago ; Alvaro Silva
A Tool for Interactive Subgroup Discovery Using Distribution Rules / Joel P. Lucas ; Alipio M. Jorge ; Fernando Pereira ; Ana M. Pernas ; Amauri A. Machado
Quantitative Evaluation of Clusterings for Marketing Applications: A Web Portal Case Study / Carmen Rebelo ; Pedro Quelhas Brito ; Carlos Soares ; Alipio Jorge ; Rui Brandao
Resource-Bounded Fraud Detection / Luis Torgo
First Workshop on Computational Methods in Bioinformatics and Systems Biology (CMBSB 2007) / Chapter 7:
System Stability Via Stepping Optimal Control: Theory and Applications / Binhua Tang ; Li He ; Sushing Chen ; Bairong Shen
Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains / Miguel Rocha ; Paulo Maia ; Jose P. Pinto ; Isabel Rocha ; Eugenio C. Ferreira
Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT / Shulin Wang ; Huowang Chen ; Shutao Li ; Dingxing Zhang
Second Workshop on Intelligent Robotics (IROBOT 2007) / Chapter 8:
An Omnidirectional Vision System for Soccer Robots / Antonio J.R. Neves ; Gustavo A. Corrente ; Armando J. Pinho
Generalization and Transfer Learning in Noise-Affected Robot Navigation Tasks / Lutz Frommberger
Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation / Luiz A. Celiberto Jr. ; Jackson Matsuura ; Reinaldo A.C. Bianchi
Human Robot Interaction Based on Bayesian Analysis of Human Movements / Jorg Rett ; Jorge Dias
Understanding Dynamic Agent's Reasoning / Nuno Lau ; Luis Paulo Reis ; Joao Certo
Fourth Workshop on Multi-agent Systems: Theory and Applications (MASTA 2007) / Chapter 9:
Convergence of Independent Adaptive Learners / Francisco S. Melo ; Manuel C. Lopes
Multi-agent Learning: How to Interact to Improve Collective Results / Pedro Rafael ; Joao Pedro Neto
A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems / Antonio Carlos da Rocha Costa ; Gracaliz Pereira Dimuro
Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization / Filipe Cruz ; Antonio Pereira ; Pedro Valente ; Pedro Duarte
Tax Compliance Through MABS: The Case of Indirect Taxes / Luis Antunes ; Joao Balsa ; Helder Coelho
First Workshop on Search Techniques for Constraint Satisfaction (STCS 2007) / Chapter 10:
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection / Joao Marques-Silva ; Ines Lynce ; Ana Graca ; Arlindo L. Oliveira
GRASPER: A Framework for Graph Constraint Satisfaction Problems / Ruben Viegas ; Francisco Azevedo
Second Workshop on Text Mining and Applications (TEMA 2007) / Chapter 11:
Text Segmentation Using Context Overlap / Radim Rehurek
Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach / Rosa Del Gaudio ; Antonio Branco
N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus / Artur Silic ; Jean-Hugues Chauchat ; Bojana Dalbelo Basic ; Annie Morin
Detection of Strange and Wrong Automatic Part-of-Speech Tagging / Vitor Rocio ; Joaquim Silva ; Gabriel Lopes
New Techniques for Relevant Word Ranking and Extraction / Joao Ventura ; Joaquim Ferreira da Silva
Author Index
Second General Artificial Intelligence Workshop (GAIW 2007) / Chapter 1:
Towards Tractable Local Closed World Reasoning for the Semantic Web / Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler
Optimal Brain Surgeon for General Dynamic Neural Networks / Christian Endisch ; Christoph Hackl ; Dierk Schroder
2.

電子ブック

EB
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (Keynote Talk) / Jacques Calmet ; John A. Campbell
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
Structured Formal Development with Quotient Types in Isabelle/HOL / Maksym Bortin ; Christoph Lüth
Instantiation of SMT Problems Modulo Integers / Mnacho Echenim
On Krawtchouk Transforms / Philip Feinsilver ; René Schott
A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev
Some Notes upon "When Does < T > Equal Sat (T)?" / Yongbin Li
How to Correctly Prune Tropical Trees / Jean-Vincent Loddo ; Luca Saiu
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Josef Urban ; Geoff Sutcliffe
Contributions to Calculemus 2010
Some Considerations on the Usability of Interactive Provers (Invited Talk) / Andrea Asperti ; Claudio Sacerdoti Coen
Mechanized Mathematics (Invited Talk) / Jacques Carette
Formal Proof of SCHUR Conjugate Function / Franck Butelle ; Florent Hivert ; Micaela Mayero ; Frédéric Toumazet
Symbolic Domain Decomposition / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
A Formal Quantifier Elimination for Algebraically Closed Fields / Cyril Cohen ; Assia Mahboubi
Computing in Coq with Infinite Algebraic Data Structures / César Domínguez ; Julio Rubio
Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca
Reducing Expression Size Using Rule-Based Integration / David J. Jeffrey ; Albert D. Rich
A Unified Formal Description of Arithmetic and Set Theoretical Data Types / Paul Tarau
Contributions to MKM 2010
Against Rigor (Invited Talk) / Doron Zeilberger
Smart Matching / Enrico Tassi
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System / Xiaoyu Chen
An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins
On Duplication in Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
Adapting Mathematical Domain Reasoners / Bastiaan Heeren ; Johan Jeuring
Integrating Multiple Sources to Answer Questions in Algebraic Topology / Jónathan Heras ; Vico Pascual ; Ana Romero
STEXIDE: An Integrated Development Environment for STEX Collections / Constantin Jucovschi ; Michael Kohlhase
Proofs, Proofs, Proofs, and Proofs / Manfred Kerber
Dimensions of Formality: A Case Study for MKM in Software Engineering / Andrea Kohlhase ; Christoph Lange
Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Florian Rabe ; Vyacheslav Zholudev
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents / Andriy Kovalchuk ; Vyachelav Levitsky ; Igor Samolyuk ; Valentyn Yanchuk
Notations Around the World: Census and Exploitation / Paul Libbrecht
Evidence Algorithm and System for Automated Deduction: A Retrospective View / Alexander Lyaletski ; Konstantin Verchinine
On Building a Knowledge Base for Stability Theory / Agnieszka Rowinska-Schwarzweller
Proviola: A Tool for Proof Re-animation / Carst Tankink ; Herman Geuvers ; James McKinna ; Freek Wiedijk
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype / Jesse Alama ; Piotr Rudnicki
Author Index
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
3.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Bayesian and Probabilistic Networks / Section 2:
Fault Diagnosis in Power Networks with Hybrid Bayesian Networks and Wavelets / Luis Eduarda Garza Castañ ón ; Deneb Robles Guillén
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3:
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Inferring Border Crossing Intentions with Hidden Markov Models / Gurmeet Singh ; Kishan.G. Mehrotra ; Chilukuri K. Mohan ; Thyagaraju Damarla
Multimodal Representations, Indexing, Unexpectedness and Proteins / Broderick Crawford ; Ricardo Soto ; Mauricio Montecinos ; Carlos Castro ; Eric Monfroy ; Eric Paquet ; Herna Lydia Viktor
A Generic Approach for Mining Indirect Association Rules in Data Streams / Wen-Yang Lin ; Yon-En Wei ; Chun-Hao Chen
Status Quo Bias in Configuration Systems / Monika Mandl ; Alexander Felfernig ; Juha Tiihonen ; Klaus Isak
Improvement and Estimation of Prediction Accuracy of Soft Sensor Models Based on Time Difference / Hiromasa Kaneko ; Kimito Funatsu
Network Defense Strategies for Maximization of Network Survivability / Frank Yeong-Sung Lin ; Hong-Hsu Yen ; Pei-Yu Chen ; Ya-Fang Wen
PryGuard: A Secure Distributed Authentication Protocol for Pervasive Computing Environment / Chowdhury Hasan ; Mohammad Adibuzzaman ; Ferdaus Kawsar ; Munirul Haque ; Sheikh Iqbal Ahamed
Feature Extraction, Discretization, Clustering, Quantization, and Data Refinement / Section 4:
A Global Unsupervised Data Discretization Algorithm Based on Collective Correlation Coefficient / An Zeng ; Qi-Gang Gao ; Dan Pan
A Heuristic Data-Sanitization Approach Based on TF-IDF / Tzung-Pei Hong ; Chun-Wei Lin ; Kuo-Tung Yang ; Shyue-Liang Wang
Discovering Patterns for Prognostics: A Case Study in Prognostics of Train Wheels / Chunsheng Yang ; Sylvain Létourneau
Applications of Artificial Intelligence / Section 5:
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. Rodríguez
Image Processing and Other Applications / Section 6:
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7:
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8:
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9:
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
4.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
5.

電子ブック

EB
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
7.

電子ブック

EB
Sabina Jeschke, Honghai Liu, Daniel Schilberg, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
8.

電子ブック

EB
Sabina Jeschke, Honghai Liu, Daniel Schilberg, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
9.

電子ブック

EB
Peyman Faratin, Takeo Kanade, Juan A. Rodríguez-Aguilar, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック

EB
José Neves, José Manuel Machado, Manuel Filipe Santos, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Second General Artificial Intelligence Workshop (GAIW 2007) / Chapter 1:
Towards Tractable Local Closed World Reasoning for the Semantic Web / Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler
Optimal Brain Surgeon for General Dynamic Neural Networks / Christian Endisch ; Christoph Hackl ; Dierk Schroder
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems / Joao Leite ; Manoela Ilic
Application of Logic Wrappers to Hierarchical Data Extraction from HTML / Amelia Badica ; Costin Badica ; Elvira Popescu
Relaxing Feature Selection in Spam Filtering by Using Case-Based Reasoning Systems / J.R. Mendez ; F. Fdez-Riverola ; D. Glez-Pena ; F. Diaz ; J.M. Corchado
Godel and Computability / Luis Moniz Pereira
Prospective Logic Agents / Goncalo Lopes
An Iterative Process for Building Learning Curves and Predicting Relative Performance of Classifiers / Rui Leite ; Pavel Brazdil
Modelling Morality with Prospective Logic / Ari Saptawijaya
Change Detection in Learning Histograms from Data Streams / Raquel Sebastiao ; Joao Gama
Real-Time Intelligent Decision Support System for Bridges Structures Behavior Prediction / Helder Quintela ; Manuel Filipe Santos ; Paulo Cortez
Semi-fuzzy Splitting in Online Divisive-Agglomerative Clustering / Pedro Pereira Rodrigues
On the Use of Rough Sets for User Authentication Via Keystroke Dynamics / Kenneth Revett ; Sergio Tenreiro de Magalhaes ; Henrique M.D. Santos
The Halt Condition in Genetic Programming / Jose Neves ; Jose Machado ; Cesar Analide ; Antonio Abelha ; Luis Brito
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives / Gregory Wheeler
First Workshop on AI Applications for Sustainable Transportation Systems (AIASTS 2007) / Chapter 2:
Nonlinear Models for Determining Mode Choice: Accuracy is not Always the Optimal Goal / Elke Moons ; Geert Wets ; Marc Aerts
Adaptation in Games with Many Co-evolving Agents / Ana L.C. Bazzan ; Franziska Klugl ; Kai Nagel
Third Workshop on Artificial Life and Evolutionary Algorithms (ALEA 2007) / Chapter 3:
Symmetry at the Genotypic Level and the Simple Inversion Operator / Cristian Munteanu ; Agostinho Rosa
A Genetic Programming Approach to the Generation of Hyper-Heuristics for the Uncapacitated Examination Timetabling Problem / Nelishia Pillay ; Wolfgang Banzhaf
Asynchronous Stochastic Dynamics and the Spatial Prisoner's Dilemma Game / Carlos Grilo ; Luis Correia
Improving Evolutionary Algorithms with Scouting / Konstantinos Bousmalis ; Gillian M. Hayes ; Jeffrey O. Pfaffmann
Stochastic Barycenters and Beta Distribution for Gaussian Particle Swarms / Rui Mendes ; James Kennedy
Exploiting Second Order Information in Computational Multi-objective Evolutionary Optimization / Pradyumn Kumar Shukla
First Workshop on Ambient Intelligence Technologies and Applications (AMITA 2007) / Chapter 4:
Ambient Intelligence - A State of the Art from Artificial Intelligence Perspective / Carlos Ramos
Ubiquitous Ambient Intelligence in a Flight Decision Assistance System / Nuno Gomes ; Cristiano Pereira ; Francisco Nunes
Argumentation-Based Decision Making in Ambient Intelligence Environments / Goreti Marreiros ; Ricardo Santos ; Paulo Novais ; Jose Bula-Cruz
Intelligent Mixed Reality for the Creation of Ambient Assisted Living / Ricardo Costa ; Luis Lima ; Carlos Alberto
Medical Imaging Environment - A Multi-Agent System for a Computer Clustering Based Multi-display / Victor Alves ; Filipe Marreiros ; Luis Nelas ; Mourylise Heymer
Second Workshop on Building and Applying Ontologies for the Semantic Web (BAOSW 2007) / Chapter 5:
Partial and Dynamic Ontology Mapping Model in Dialogs of Agents / Ademir Roberto Freddo ; Robison Cris Brito ; Gustavo Gimenez-Lugo ; Cesar Augusto Tacla
Using Ontologies for Software Development Knowledge Reuse / Bruno Antunes ; Nuno Seco ; Paulo Gomes
First Workshop on Business Intelligence (BI 2007) / Chapter 6:
Analysis of the Day-of-the-Week Anomaly for the Case of Emerging Stock Market / Virgilijus Sakalauskas ; Dalia Kriksciuniene
A Metamorphosis Algorithm for the Optimization of a Multi-node OLAP System / Jorge Loureiro ; Orlando Belo
Experiments for the Number of Clusters in K-Means / Mark Ming-Tso Chiang ; Boris Mirkin
A Network Algorithm to Discover Sequential Patterns / Luis Cavique
Adaptive Decision Support for Intensive Care / Pedro Gago ; Alvaro Silva
A Tool for Interactive Subgroup Discovery Using Distribution Rules / Joel P. Lucas ; Alipio M. Jorge ; Fernando Pereira ; Ana M. Pernas ; Amauri A. Machado
Quantitative Evaluation of Clusterings for Marketing Applications: A Web Portal Case Study / Carmen Rebelo ; Pedro Quelhas Brito ; Carlos Soares ; Alipio Jorge ; Rui Brandao
Resource-Bounded Fraud Detection / Luis Torgo
First Workshop on Computational Methods in Bioinformatics and Systems Biology (CMBSB 2007) / Chapter 7:
System Stability Via Stepping Optimal Control: Theory and Applications / Binhua Tang ; Li He ; Sushing Chen ; Bairong Shen
Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains / Miguel Rocha ; Paulo Maia ; Jose P. Pinto ; Isabel Rocha ; Eugenio C. Ferreira
Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT / Shulin Wang ; Huowang Chen ; Shutao Li ; Dingxing Zhang
Second Workshop on Intelligent Robotics (IROBOT 2007) / Chapter 8:
An Omnidirectional Vision System for Soccer Robots / Antonio J.R. Neves ; Gustavo A. Corrente ; Armando J. Pinho
Generalization and Transfer Learning in Noise-Affected Robot Navigation Tasks / Lutz Frommberger
Heuristic Q-Learning Soccer Players: A New Reinforcement Learning Approach to RoboCup Simulation / Luiz A. Celiberto Jr. ; Jackson Matsuura ; Reinaldo A.C. Bianchi
Human Robot Interaction Based on Bayesian Analysis of Human Movements / Jorg Rett ; Jorge Dias
Understanding Dynamic Agent's Reasoning / Nuno Lau ; Luis Paulo Reis ; Joao Certo
Fourth Workshop on Multi-agent Systems: Theory and Applications (MASTA 2007) / Chapter 9:
Convergence of Independent Adaptive Learners / Francisco S. Melo ; Manuel C. Lopes
Multi-agent Learning: How to Interact to Improve Collective Results / Pedro Rafael ; Joao Pedro Neto
A Basis for an Exchange Value-Based Operational Notion of Morality for Multiagent Systems / Antonio Carlos da Rocha Costa ; Gracaliz Pereira Dimuro
Intelligent Farmer Agent for Multi-agent Ecological Simulations Optimization / Filipe Cruz ; Antonio Pereira ; Pedro Valente ; Pedro Duarte
Tax Compliance Through MABS: The Case of Indirect Taxes / Luis Antunes ; Joao Balsa ; Helder Coelho
First Workshop on Search Techniques for Constraint Satisfaction (STCS 2007) / Chapter 10:
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection / Joao Marques-Silva ; Ines Lynce ; Ana Graca ; Arlindo L. Oliveira
GRASPER: A Framework for Graph Constraint Satisfaction Problems / Ruben Viegas ; Francisco Azevedo
Second Workshop on Text Mining and Applications (TEMA 2007) / Chapter 11:
Text Segmentation Using Context Overlap / Radim Rehurek
Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach / Rosa Del Gaudio ; Antonio Branco
N-Grams and Morphological Normalization in Text Classification: A Comparison on a Croatian-English Parallel Corpus / Artur Silic ; Jean-Hugues Chauchat ; Bojana Dalbelo Basic ; Annie Morin
Detection of Strange and Wrong Automatic Part-of-Speech Tagging / Vitor Rocio ; Joaquim Silva ; Gabriel Lopes
New Techniques for Relevant Word Ranking and Extraction / Joao Ventura ; Joaquim Ferreira da Silva
Author Index
Second General Artificial Intelligence Workshop (GAIW 2007) / Chapter 1:
Towards Tractable Local Closed World Reasoning for the Semantic Web / Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler
Optimal Brain Surgeon for General Dynamic Neural Networks / Christian Endisch ; Christoph Hackl ; Dierk Schroder
11.

電子ブック

EB
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence (Keynote Talk) / Jacques Calmet ; John A. Campbell
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness / Hicham Bensaid ; Ricardo Caferra ; Nicolas Peltier
Structured Formal Development with Quotient Types in Isabelle/HOL / Maksym Bortin ; Christoph Lüth
Instantiation of SMT Problems Modulo Integers / Mnacho Echenim
On Krawtchouk Transforms / Philip Feinsilver ; René Schott
A Mathematical Model of the Competition between Acquired Immunity and Virus / Mikhail K. Kolev
Some Notes upon "When Does < T > Equal Sat (T)?" / Yongbin Li
How to Correctly Prune Tropical Trees / Jean-Vincent Loddo ; Luca Saiu
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals / Salvador Lucas
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar / Josef Urban ; Geoff Sutcliffe
Contributions to Calculemus 2010
Some Considerations on the Usability of Interactive Provers (Invited Talk) / Andrea Asperti ; Claudio Sacerdoti Coen
Mechanized Mathematics (Invited Talk) / Jacques Carette
Formal Proof of SCHUR Conjugate Function / Franck Butelle ; Florent Hivert ; Micaela Mayero ; Frédéric Toumazet
Symbolic Domain Decomposition / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
A Formal Quantifier Elimination for Algebraically Closed Fields / Cyril Cohen ; Assia Mahboubi
Computing in Coq with Infinite Algebraic Data Structures / César Domínguez ; Julio Rubio
Formally Verified Conditions for Regularity of Interval Matrices / Ioana Pasca
Reducing Expression Size Using Rule-Based Integration / David J. Jeffrey ; Albert D. Rich
A Unified Formal Description of Arithmetic and Set Theoretical Data Types / Paul Tarau
Contributions to MKM 2010
Against Rigor (Invited Talk) / Doron Zeilberger
Smart Matching / Enrico Tassi
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System / Xiaoyu Chen
An OpenMath Content Dictionary for Tensor Concepts / Joseph B. Collins
On Duplication in Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
Adapting Mathematical Domain Reasoners / Bastiaan Heeren ; Johan Jeuring
Integrating Multiple Sources to Answer Questions in Algebraic Topology / Jónathan Heras ; Vico Pascual ; Ana Romero
STEXIDE: An Integrated Development Environment for STEX Collections / Constantin Jucovschi ; Michael Kohlhase
Proofs, Proofs, Proofs, and Proofs / Manfred Kerber
Dimensions of Formality: A Case Study for MKM in Software Engineering / Andrea Kohlhase ; Christoph Lange
Towards MKM in the Large: Modular Representation and Scalable Software Architecture / Florian Rabe ; Vyacheslav Zholudev
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents / Andriy Kovalchuk ; Vyachelav Levitsky ; Igor Samolyuk ; Valentyn Yanchuk
Notations Around the World: Census and Exploitation / Paul Libbrecht
Evidence Algorithm and System for Automated Deduction: A Retrospective View / Alexander Lyaletski ; Konstantin Verchinine
On Building a Knowledge Base for Stability Theory / Agnieszka Rowinska-Schwarzweller
Proviola: A Tool for Proof Re-animation / Carst Tankink ; Herman Geuvers ; James McKinna ; Freek Wiedijk
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype / Jesse Alama ; Piotr Rudnicki
Author Index
Contributions to AISC 2010
The Challenges of Multivalued "Functions" (Keynote Talk) / James H. Davenport
The Dynamic Dictionary of Mathematical Functions (Keynote Talk) / Bruno Salvy
12.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
Comparative Behaviour of Recent Incremental and Non-incremental Clustering Methods on Text: An Extended Study / Jean-Charles Lamirel ; Raghvendra Mall ; Mumtaz Ahmad
Bayesian and Probabilistic Networks / Section 2:
Fault Diagnosis in Power Networks with Hybrid Bayesian Networks and Wavelets / Luis Eduarda Garza Castañ ón ; Deneb Robles Guillén
Learning Temporal Bayesian Networks for Power Plant Diagnosis / Pablo Hernandez-Leal ; L. Enrique Sucar ; Jesus A. Gonzalez ; Eduardo F. Morales ; Pablo H. Ibarguengoytia
On the Fusion of Probabilistic Networks / Salem Benferhat ; Faiza Titouna
Methodologies / Section 3:
Basic Object Oriented Genetic Programming / Tony White ; Jinfei Fan ; Franz Oppacher
Inferring Border Crossing Intentions with Hidden Markov Models / Gurmeet Singh ; Kishan.G. Mehrotra ; Chilukuri K. Mohan ; Thyagaraju Damarla
Multimodal Representations, Indexing, Unexpectedness and Proteins / Broderick Crawford ; Ricardo Soto ; Mauricio Montecinos ; Carlos Castro ; Eric Monfroy ; Eric Paquet ; Herna Lydia Viktor
A Generic Approach for Mining Indirect Association Rules in Data Streams / Wen-Yang Lin ; Yon-En Wei ; Chun-Hao Chen
Status Quo Bias in Configuration Systems / Monika Mandl ; Alexander Felfernig ; Juha Tiihonen ; Klaus Isak
Improvement and Estimation of Prediction Accuracy of Soft Sensor Models Based on Time Difference / Hiromasa Kaneko ; Kimito Funatsu
Network Defense Strategies for Maximization of Network Survivability / Frank Yeong-Sung Lin ; Hong-Hsu Yen ; Pei-Yu Chen ; Ya-Fang Wen
PryGuard: A Secure Distributed Authentication Protocol for Pervasive Computing Environment / Chowdhury Hasan ; Mohammad Adibuzzaman ; Ferdaus Kawsar ; Munirul Haque ; Sheikh Iqbal Ahamed
Feature Extraction, Discretization, Clustering, Quantization, and Data Refinement / Section 4:
A Global Unsupervised Data Discretization Algorithm Based on Collective Correlation Coefficient / An Zeng ; Qi-Gang Gao ; Dan Pan
A Heuristic Data-Sanitization Approach Based on TF-IDF / Tzung-Pei Hong ; Chun-Wei Lin ; Kuo-Tung Yang ; Shyue-Liang Wang
Discovering Patterns for Prognostics: A Case Study in Prognostics of Train Wheels / Chunsheng Yang ; Sylvain Létourneau
Applications of Artificial Intelligence / Section 5:
Automating the Selection of Stories for AI in the News / Liang Dong ; Reid G. Smith ; Bruce G. Buchanan
Diagnosability Study of Technological Systems / Michel Batteux ; Philippe Dague ; Nicolas Rapin ; Philippe Fiani
Using Ensembles of Regression Trees to Monitor Lubricating Oil Quality / Andres Bustillo ; Alberto Villar ; Eneko Gorritxategi ; Susana Ferreiro ; Juan J. Rodríguez
Image Processing and Other Applications / Section 6:
Image Region Segmentation Based on Color Coherence Quantization / Guang-Nan He ; Yu-Bin Yang ; Yao Zhang ; Yang Gao ; Lin Shang
Image Retrieval Algorithm Based on Enhanced Relational Graph / Ning Li
Prediction-Oriented Dimensionality Reduction of Industrial Data Sets / Maciej Grzenda
Informative Sentence Retrieval for Domain Specific Terminologies / Jia-Ling Koh ; Chin-Wei Cho
Intelligent Techniques for Document Processing / Section 7:
Factoring Web Tables / David W. Embley ; Mukkai Krishnamoorthy ; George Nagy ; Sharad Seth
Document Analysis Research in the Year 2021 / Daniel Lopresti ; Bart Lamiroy
Markov Logic Networks for Document Layout Correction / Stefano Ferilli ; Teresa M.A. Basile ; Nicola Di Mauro
Extracting General Lists from Web Documents: A Hybrid Approach / Fabio Fumarola ; Tim Weninger ; Rick Barber ; Donato Malerba ; Jiawei Han
Modeling and Support of Cognitive and Affective Human Processes / Section 8:
Towards a Computational Model of the Self-attribution of Agency / Koen Hindriks ; Pascal Wiggers ; Catholijn Jonker ; Willem Haselager
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders / Yara van der Laan ; Jan Treur
Multi-modal Biometric Emotion Recognition Using Classifier Ensembles / Ludmila I. Kuncheva ; Thomas Christy ; Iestyn Pierce ; Sa'ad P. Mansoor
Towards a Fully Computational Model of Web-Navigation / Saraschandra Karanam ; Herre van Oostendorp ; Bipin Indurkhya
Robotics and Navigation / Section 9:
Stairway Detection Based on Single Camera / Motion Stereo ; Danilo Cáceres Hernández ; Taeho Kim ; Kang-Hyun Jo
Robot with Two Ears Listens to More than Two Simultaneous Utterances by Exploiting Harmonic Structures / Yasuharu Hirasawa ; Toru Takahashi ; Tetsuya Ogata ; Hiroshi G. Okuno
Author Index
Incremental Clustering and Novelty Detection Techniques and Their Application to Intelligent Analysis of Time Varying Information / Section 1:
Classification Model for Data Streams Based on Similarity / Dayrelis Mena Torres ; Jesús Aguilar Ruiz ; Yanet Rodríguez Sarabia
Comparison of Artificial Neural Networks and Dynamic Principal Component Analysis for Fault Diagnosis / Juan Carlos Tudón-Martínez ; Ruben Morales-Menendez ; Luis Garza-Castañ ón ; Ricardo Ramirez-Mendoza
13.

電子ブック

EB
Kishan G. Mehrotra, Moonis Ali, Takeo Kanade, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
14.

電子ブック

EB
Sabina Jeschke, Honghai Liu, Daniel Schilberg, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
15.

電子ブック

EB
Sabina Jeschke, Honghai Liu, Daniel Schilberg, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
16.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼