close
1.

電子ブック

EB
Chandan Singh, Vishal Goyal, Takeo Kanade, Jyotsna Sengupta, Dharam Veer Sharma, Gurpreet Singh Lehal
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
Computational Aspect of Verb Classification in Malayalam / K.G. Sulochana ; V. Jayan
Period Prediction System for Tamil Epigraphical Scripts Based on Support Vector Machine / P. Subashini ; M. Krishnaveni ; N. Sridevi
Name Entity Recognition Systems for Hindi Using CRF Approach / Rajesh Sharma ; Vishal Goyal
An N-Gram Based Method for Bengali Keyphrase Extraction / Kamal Sarkar
Feature Extraction and Recognition of Bengali Word Using Gabor Filter and Artificial Neural Network / Mahua Nandy (Pal) ; Sumit Majumdar
The Segmentation of Half Characters in Handwritten Hindi Text / Naresh Kumar Garg ; Lakhwinder Kaur ; Manish K. Jindal
Finding Influence by Cross-Lingual Blog Mining through Multiple Language Lists / Aditya Mogadala ; Vasudeva Varma
Renaissance of Opinion Mining / Ankur Rana ; Vimal K. Soni
OpenLogos Machine Translation: Exploring and Using It in Anusaaraka Platform / Sriram Chaudhury ; Sukhada ; Akshar Bharati
Role of e-Learning Models for Indian Languages to Implement e-Governance / Avinash Sharma ; Vijay Singh Rathore
A Compiler for Morphological Analyzer Based on Finite-State Transducers / Bhuvaneshwari C. Melinamath ; A. G. Math ; Sunanda D. Biradar
On Multifont Character Classification in Telugu / Venkat Rasagna ; K.J. Jinesh ; C.V. Jawahar
Parallel Implementation of Devanagari Document Image Segmentation Approach on GPU / Brijmohan Singh ; Nitin Gupta ; Rashi Tyagi ; Ankush Mittal ; Debashish Ghosh
A Rule Based Schwa Deletion Algorithm for Punjabi TTS System / Parminder Singh
Clause Based Approach for Ordering in MT Using OpenLogos / Arpana Sharma ; Neha Narang ; Sonal Dixit
Comparison of Feature Extraction Methods for Recognition of Isolated Handwritten Characters in Gurmukhi Script / Dharam Veer Sharma ; Puneet Jhajj
Dewarping Machine Printed Documents of Gurmukhi Script / Shilpi Wadhwa
Developing Oriya Morphological Analyzer Using Lt-Toolbox / Itisree Jena ; Himani Chaudhry ; Dipti M. Sharma
Durational Characteristics of Indian Phonemes for Language Discrimination / B. Lakshmi kanth ; Venkatesh Keri ; Kishore S. Prahallad
A Transliteration Based Word Segmentation System for Shahmukhi Script / Tejinder Singh Saini
Optimizing Character Class Count for Devnagari Optical Character Recognition / Jasbir Singh
Multifont Oriya Character Recognition Using Curvelet Transform / Swati Nigam ; Ashish Khare
Exploiting Ontology for Concept Based Information Retrieval / Aditi Sharan ; Manju Lata Joshi ; Anupama Pandey
Parsing of Kumauni Language Sentences after Modifying Earley's Algorithm / Rakesh Pandey ; Nihar Ranjan Pande ; H.S. Dhami
Comparative Analysis of Gabor and Discriminating Feature Extraction Techniques for Script Identification / Rajneesh Rani ; Renu Dhir ; Gurpreet Singh lehal
Poster
Automatic Word Aligning Algorithm for Hindi-Punjabi Parallel Text / Karuna Jindal ; Shikha Jindal
Making Machine Translations Polite: The Problematic Speech Acts / Ritesh Kumar
Tagging Sanskrit Corpus Using BIS POS Tagset / Madhav Gopal ; Girish Nath Jha
Manipuri Transliteration from Bengali Script to Meitei Mayek: A Rule Based Approach / Kishorjit Nongmeikapam ; Ningombam Herojit Singh ; Sonia Thoudam ; Sivaji Bandyopadhyay
Online Handwriting Recognition for Malayalam Script / T.R. Indhu
Optimized Multi Unit Speech Database for High Quality FESTIVAL TTS / T. Sajini
Comparative Analysis of Printed Hindi and Punjabi Text Based on Statistical Parameters / Lalit Goyal
Participles in English to Sanskrit Machine Translation / Vimal Mishra ; R.B. Mishra
Web-Drawn Corpus for Indian Languages: A Case of Hindi / Narayan Choudhary
Handwritten Hindi Character Recognition Using Curvelet Transform / Gyanendra K. Verma ; Shitala Prasad ; Piyush Kumar
Challenges in Developing a TTS for Sanskrit / Diwakar Mishra ; Kalika Bali
A Hybrid Learning Algorithm for Handwriting Recognition / Binu P. Chacko ; P. Babu Anto
Hindi to Punjabi Machine Translation System
Cascading Style Sheet Styling Issues in Punjabi Language / Swati Mittal ; R.K. Sharma ; Parteek Bhatia
Translation of Hindi se to Tamil in a MT System / Sobha Lalitha Devi ; P. Pralayankar ; V. Kavitha ; S. Menaka
Preprocessing Phase of Punjabi Language Text Summarization / Vishal Gupta
Comparative Analysis of Tools Available for Developing Statistical Approach Based Machine Translation System / Ajit Kumar
Discriminative Techniques for Hindi Speech Recognition System / Rajesh Kumar Aggarwal ; Mayank Dave
An Experiment on Resolving Pronominal Anaphora in Hindi: Using Heuristics / Kiran Pala ; Rafiya Begum
A Novel GA Based OCR Enhancement and Segmentation Methodology for Marathi Language in Bimodal Framework / Amarjot Singh ; Ketan Bacchuwar ; Akash Choubey
Panmozhi Vaayil - A Multilingual Indie Keyboard Interface for Business and Personal Use / H.R. Shiva Kumar ; Abhinava Shivakumar ; Akshay Rao ; Sriraman Arun ; A.G. Ramakrishnan
Power Spectral Density Estimation Using Yule Walker AR Method for Tamil Speech Signal / V. Radha ; C. Vimala
Challenges in NP Case-Mapping in Sanskrit Hindi Machine Translation / Kumar Nripendra Pathak
Modeified BLEU for Measuring Performance of a Machine-Translation Software / Kalyan Joshi ; M.B. Rajarshi
Demo Abstracts
A System for Online Gurmukhi Script Recognition
Spoken Isolated Word Recognition of Punjabi Language Using Dynamic Time Warp Technique / Ravinder Kumar ; Mohanjit Singh
Text-To-Speech Synthesis System for Punjabi Language
Hand-Filled Form Processing System for Gurmukhi Script
Urdu to Hindi and Reverse Transliteration System / V.S. Kalra
iPlugin: Indian Language Web Application Development Tool / Anup Kanaskar ; Vrundesh Waghmare
An OCR System for Printed Indie Scripts / Tushar Patnaik
Gujarati Text - TO - Speech System / Samyak Bhuta ; S. Rama Mohan
Large Web Corpora for Indian Languages / Adam Kilgarriff ; Girish Duvuru
Localization of EHCPRs System in the Multilingual Domain: An Implementation / Sarika Jain ; Deepa Chaudhary ; N.K. Jain
Author Index
Oral
A Novel Method to Segment Online Gurmukhi Script / Manoj K. Sachan ; Gurpreet Singh Lehal ; Vijender Kumar Jain
Automatic Speech Segmentation and Multi Level Labeling Tool / R. Ravindra Kumar ; K. G. Sulochana ; Jose Stephen
2.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
Teleo-Reactive Abductive Logic Programs / Fariba Sadri
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni
What Is Negation as Failure? / Dov M. Gabbay
Temporal Reasoning and Action Languages / Part II:
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala
Argumentation and the Event Calculus / Evgenios Hadjisoteriou
Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni
Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond
Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek
GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer
AI and Law / Part III:
Open Texture and Argumentation: What Makes an Argument Persuasive?
Irrationality in Persuasive Argumentation / Paul E. Dunne
Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken
Deontic Logic and Norm-Governed Systems / Part IV:
On the Representation of Normative Sentences in FOL / Steven O. Kimbrough
Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent
Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma
Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto
Logical Approaches to Policies and Authorization / Part V:
Logical Approaches to Authorization Policies
Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky
Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt
Author Index
Marek Sergot: A Memoir / Trevor Bench-Capon
The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor
Logic Programming / Part I:
3.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
4.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
6.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
7.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
8.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
9.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
10.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Special Sessions
Methods of Classifier Fusion
Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov ; Dejan Gjorgjevikj
Ensemble Pruning Using Harmony Search / Shina Sheen ; S.V. Aishwarya ; R. Anitha ; S.V. Raghavan ; S.M. Bhaskar
A First Study on Decomposition Strategies with Data with Class Noise Using Decision Trees / José A. Sáez ; Mikel Galar ; Julián Luengo ; Francisco Herrera
Combining the Advantages of Neural Networks and Decision Trees for Regression Problems in a Steel Temperature Prediction System / Miroslaw Kordos ; Piotr Kania ; Pawel Budzyna ; Marcin Blachnik ; Tadeusz Wieczorek ; Slawomir Golak
Transfer Learning Approach to Debt Portfolio Appraisal / Tomasz Kajdanounicz ; Slawomir Plamowski ; Przemyslaw Kazienko ; Wojciech Indyk
Generalized Weighted Majority Voting with an Application to Algorithms Having Spatial Output / Henrietta Toman ; Laszlo Kovacs ; Agnes Jonas ; Lajos Hajdu ; Andras Hajdu
HAIS for Computer Security (HAISFCS)
Towards the Reduction of Data Used for the Classification of Network Flows / Maciej Grzenda
Encrypting Digital Images Using Cellular Automata / A. Martín del Rey ; G. Rodríguez Sánchez ; A. de la Villa Cuenca
Self-Organizing Maps versus Growing Neural Gas in Detecting Data Outlines for Security Applications / Zorana Banković ; David Fraga ; Juan Carlos Vallejo ; José M. Moya
Cryptographic Applications of 3x3 Block Upper Triangular Matrices / Rafael Álvarez ; Francisco Martínez ; José-Francisco Vicent ; Antonio Zamora
Digital Chaotic Noise Using Tent Map without Scaling and Discretization Process / Ruben Vazquez-Medina ; José Luis Del-Río-Correa ; César Enrigue Rojas-López ; José Alejandro Díaz-Méndez
Data Mining: Data Preparation and Analysis
Hubness-Aware Shared Neighbor Distances for High-Dimensional k-Nearest Neighbor Classification / Nenad Tomasev ; Dunja Mladenic
Comparison of Competitive Learning for SOM Used in Classification of Partial Discharge / Rubén Jaramillo-Vacio ; Alberto Ochoa-Zezzatti ; Armando Rios-Lira
Identification of Different Types of Minority Class Examples in Imbalanced Data / Krystyna Napierala ; Jerzy Stefanowski
Non-Disjoint Discretization for Aggregating One-Dependence Estimator Classifiers / Ana M. Martínez ; Geoffrey I. Webb ; M. Julia Flores ; José A. Gámez
An Adaptive Hybrid and Cluster-Based Model for Speeding Up the k-NN Classifier / Stefanos Ougiaroglou ; Georgios Evangelidis ; Dimitris A. Dervos
A Co-evolutionary Framework for Nearest Neighbor Enhancement: Combining Instance and Feature Weighting with Instance Selection / Joaquín Derrac ; Isaac Triguero ; Salvador García
Improving Multi-label Classifiers via Label Reduction with Association Rules / Francisco Charte ; Antonio Rivera ; María José del Jesús
A GA-Based Wrapper Feature Selection for Animal Breeding Data Mining / Olgierd Unold ; Maciej Dobrowolski ; Henryk Maciejewski ; Pawel Skrobanek ; Ewa Walkowicz
A Simple Noise-Tolerant Abstraction Algorithm for Fast k-NN Classification
Hybrid Artificial Intelligence Systems in Management of Production Systems
Adaptive Inventory Control in Production Systems / Balázs Lénárt ; Katarzyna Grzybowska ; Mónika Cimer
Hybrid Artificial Intelligence System in Constraint Based Scheduling of Integrated Manufacturing ERP Systems / Izabela Rojek ; Mieczyslaw Jagodizinski
Intelligent Data Processing in Recycling of Household Appliances / Edward Chlebus ; Kamil Krot ; Michal Kuliberda ; Boleslaw Jodkowski
Assessment of Risk in a Production System with the Use of the FMEA Analysis and Linguistic Variables / Anna Burduk
Hybrid Methods Aiding Organisational and Technological Production Preparation Using Simulation Models of Nonlinear Production Systems / Arkadiusz Kowalski ; Tomasz Marut
The Concept of Intelligent System for Horizontal Transport in a Copper Ore Mine / Tomasz Chlebus ; Pawel Stefaniak
Integration Production Planning and Scheduling Systems for Determination of Transitional Phases in Repetitive Production / Damian Krenczyk ; Krzysztof Kalinowski ; Cezary Crabowik
The Hybrid Method of Knowledge Representation in a CAPP Knowledge Based System / Cezary Grabowik
Hybrid Artificial Intelligent Systems for Ordinal Regression
An Experimental Study of Different Ordinal Regression Methods and Measures / P.A. Gutiérrez ; M. Pérez-Ortiz ; F. Fernández-Navarro ; J. Sánchez-Monedero ; C. Hervás-Martínez
Neural Network Ensembles to Determine Growth Multi-classes in Predictive Microbiology / Huanhuan Chen ; P. A. Gutiérrez ; Xin Yao
Ordinal Classification Using Hybrid Artificial Neural Networks with Projection and Kernel Basis Functions / M. Dorado-Moreno
Hybrid Metaheuristics for Combinatorial Optimization and Modelling Complex Systems
A Genetic Programming Approach for Solving the Linear Ordering Problem / P. C. Pop ; O. Matei
Comparison of Fuzzy Functions for Low Quality Data GAP Algorithms / Enrique de la Cal ; José R. Villar ; Marco García-Tamargo ; Javier Sedano
A Simple Artificial Chemistry Model for Nash Equilibria Detection in Large Cournot Games / Rodica Ioana Lung ; Lucian Sturzu-Nastase
Dynamics of Networks Evolved for Cellular Automata Computation / Anca Gog ; Camelia Chira
From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs / Marco Pota ; Massimo Esposito ; Giuseppe De Pietro
Combining Metaheuristic Algorithms to Solve a Scheduling Problem / Ma Belén Vaquerizo ; Bruno Baruque ; Emilio Corchado
Hybrid Computational Intelligence and Lattice Computing for Image and Signal Processing
Image Analysis Pipeline for Automatic Karyotyping / Izaro Goienetxea ; Iñigo Barandiaran ; Carlos Jauquicoa ; Grégory Maclair ; Manuel Graña
A Hybrid Gradient for n-Dimensional Images through Hyperspherical Coordinates / Ramón Moreno
A Hybrid Segmentation of Abdominal CT Images / Josu Maiora
Hybrid Computational Methods for Hyperspectral Image Analysis / Miguel A. Veganzones
Image Security and Biometrics: A Review / Ion Marqués
Cocaine Dependent Classification Using Brain Magnetic Resonance Imaging / M. Termenon ; A. Barrós-Loscertales ; J.C. Bustamante ; C. Ávila
A Non-parametric Approach for Accurate Contextual Classification of LIDAR and Imagery Data Fusion / Jorge Garcia-Gutierrez ; Daniel Mateos-Garcia ; Jose C. Riquelme-Santos
Spherical CIELab QAMs: Associative Memories Based on the CIELab System and Quantales for the Storage of Color Images / Marcos Eduardo Valle ; Peter Sussner ; Estevão Esmi
Fuzzy Associative Memories Based on Subsethood and Similarity Measures with Applications to Speaker Identification / Fábio Sakuray ; Laécio Barros
A Novel Lattice Associative Memory Based on Dendritic Computing / Gerhard X. Ritter ; Darya Chyzhyk ; Gonzalo Urcid
Vascular Section Estimation in Medical Images Using Combined Feature Detection and Evolutionary Optimization / Iván Macía
Workshop
Nonstationary Models of Patterns Recognition and Classifier Combinations
Modifications of Classification Strategies in Rule Set Based Bagging for Imbalanced Data / Krystyna Napierula
Semi-supervised Ensemble Learning of Data Streams in the Presence of Concept Drift / Zahra Ahmadi ; Hamid Beigy
Continuous User Feedback Learning for Data Capture from Business Documents / Marcel Hanke ; Klemens Muthmann ; Daniel Schuster ; Alexander Schill ; Kamil Aliyev ; Michael Berger
Evolutionary Adapted Ensemble for Reoccurring Context / Konrad Jackowski
Drift Detection and Model Selection Algorithms: Concept and Experimental Evaluation / Piotr Cal ; Michal Wozniak
Decomposition of Classification Task with Selection of Classifiers on the Medical Diagnosis Example / Robert Burduk ; Marcin Zmyslony
Ensemble of Tensor Classifiers Based on the Higher-Order Singular Value Decomposition / Boguslaw Cyganek
Combining Diverse One-Class Classifiers / Bartosz Krawczyk
Author Index
Special Sessions
Methods of Classifier Fusion
Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov ; Dejan Gjorgjevikj
11.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
12.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Special Sessions
Agents and Multi Agents Systems
An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan ; Ching-Chin Chern
Case-Based Argumentation Infrastructure for Agent Societies / Jaume Jordán ; Stella Heras ; Vicente Julián
The Application of Multi-Agent System in Monitoring and Control of Nonlinear Bioprocesses / Piotr Skupin ; Mieczyslaw Metzger
Agent Capability Taxonomy for Dynamic Environments / Jorge Agüero ; Miguel Rebollo ; Carlos Carrascosa
Modeling Internet as a User-Adapted Speech Service / David Griol ; Javier Carbó ; José Manuel Molina
HAIS Applications
Unsupervised Classification of Audio Signals by Self-Organizing Maps and Bayesian Labeling / Ricardo Cruz ; Andrés Ortiz ; Ana M. Barbancho ; Isabel Barbancho
Robust Speaker Identification Using Ensembles of Kernel Principal Component Analysis / IL-Ho Yang ; Min-Seok Kim ; Byung-Min So ; Myung-Jae Kim ; Ha-Jin Yu
Application of Genetic Algorithms to Optimize a Truncated Mean k-Nearest Neighbours Regressor for Hotel Reservation Forecasting / Andrés Sanz-García ; Julio Fernández-Ceniceros ; Fernando Antoñanzas-Torres ; F. Javier Matínez-de-Pisón-Ascacibar
A Social Network-Based Approach to Expert Recommendation System / Elnaz Davoodi ; Mohsen Afsharchi ; Keivan Kianmehr
Decentralized Multi-tasks Distribution in Heterogeneous Robot Teams by Means of Ant Colony Optimization and Learning Automata / Javier de Lope ; Darío Maravall ; Yadira Quiñonez
Lipreading Procedure for Liveness Verification in Video Authentication Systems / Agnieszka Owczarek ; Krzysztof Slot
Fuzzy Sliding Mode Control with Chattering Elimination for a Quadrotor Helicopter in Vertical Flight / S. Zeghlache ; D. Saigaa ; K. Kara ; Abdelghani Harrag ; A. Bouguerra
Ensemble of Binary Learners for Reliable Text Categorization with a Reject Option / Giuliano Armano ; Camelia Chira ; Nima Hatami
Spontaneous Facial Expression Recognition: Automatic Aggression Detection / Ewa Piatkowska ; Jerzy Martyna
A Memetic Approach to Project Scheduling That Maximizes the Effectiveness of the Human Resources Assigned to Project Activities / Virginia Yannibelli ; Analía Amandi
Hunting for Fraudsters in Random Forests / R.M. Konijn ; W. Kowalczyk
Neural Networks Ensembles Approach for Simulation of Solar Arrays Degradation Process / Vladimir Bukhtoyarov ; Eugene Semenkin ; Andrey Shabalov
Using Genetic Algorithms to Improve Prediction of Execution Times of ML Tasks / Rattan Priya ; Bruno Feres de Souza ; André L.D. Rossi ; André C.P.L.F. de Carvalho
Hybrid Artificial Intelligence Approaches on Vehicle Routing Problem in Logistics Distribution / Dragan Simic ; Svetlana Simic
Fuzzy C-Means Clustering with Bilateral Filtering for Medical Image Segmentation / Yuchen Liu ; Kai Xiao ; Alei Liang ; Haibing Guan
A Improved Clustering Analysis Method Based on Fuzzy C-Means Algorithm by Adding PSO Algorithm / Liang Pang
Cluster Analysis
k-Means Clustering of Asymmetric Data / Dominik Olszewski
A Max Metric to Evaluate a Cluster / Hosein Alizadeh ; Hamid Parvin ; Sajad Parvin ; Zahra Rezaei ; Moslem Mohamadi
Nearest Cluster Classifier / Behrouz Minaei
Diffusion Maps for the Description of Meteorological Data / Ángela Fernández ; Ana M. González ; Julia Díaz ; José R. Dorronsoro
Computational Complexity Reduction and Interpretability Improvement of Distance-Based Decision Trees / Marcin Blachnik ; Miroslaw Kordos
Data Mining and Knowledge Discovery
Improving the Generalization Capability of Hybrid Immune Detector Maturation Algorithm / Jungan Chen ; Feng Liang ; Zhaoxi Fang
White Box Classification of Dissimilarity Data / Barbara Hammer ; Bassam Mokbel ; Frank-Michael Schleif ; Xibin Zhu
On Ensemble Classifiers for Noninstrusive Appliance Load Monitoring / Oliver Kramer ; O. Wilken ; P. Beenken ; A. Hein ; A. Hüwel ; T. Klingenberg ; C. Meinecke ; T. Raabe ; M. Sonnenschein
Lee Path Replanner for Partially-Known Environments / Maciej Polanczyk ; Przemyslaw Baranski ; Michal Strzelecki
Stroke Based Handwritten Character Recognition / D. Álvarez ; R. Fernández ; L. Sánchez
KETO: A Knowledge Editing Tool for Encoding Condition - Action Guidelines into Clinical DSSs / Aniello Minutolo ; Massimo Esposito ; Giuseppe De Pietro
Integration of Intelligent Information Technologies Ensembles for Modeling and Classification / Pavel Galushin
Fusion of Modular Bayesian Networks for Context-Aware Decision Making / Seung-Hyun Lee ; Sung-Bae Cho
Evolutionary Computation
Real-World Problem for Checking the Sensitiveness of Evolutionary Algorithms to the Choice of the Random Number Generator / Miguel Cárdenas-Montes ; Miguel A. Vega-Rodríguez ; Antonio Gómez-Iglesias
Hybrid Multi-objective Machine Learning Classification in Liver Transplanation / M. Pérez-Ortiz ; M. Cruz-Ramírez ; J.C. Fernández-Caballero ; C. Hervás-Martínez
Evolutionary Optimized Forest of Regression Trees: Application in Metallurgy / Jerzy Piotrowski ; Szymon Bialka ; Slawomir Golak ; Tadeusz Wieczorek
Evolutionary Neural Networks for Product Design Tasks / Angela Bernardini ; Javier Asensio ; José Luis Olazagoitia ; Jorge Biera
An Incremental Hypersphere Learning Framework for Protein Membership Prediction / Noel Lopes ; Daniel Correia ; Carlos Pereira ; Bernardete Ribeiro ; António Dourado
An Evolutionary Approach to Generate Solutions for Conflict Scenarios / Davide Carneiro ; Cesar Analide ; Paulo Novais ; José Neves
Initialization Procedures for Multiobjective Evolutionary Approaches to the Segmentation Issue / José L. Guerrero ; Antonio Berlanga
Optimization of Neuro-coefficient Smooth Transition Autoregressive Models Using Differential Evolution / Christoph Bergmeir ; Isaac Triguero ; Francisco Velasco ; José Manuel Benítez
ReactGA - The Search Space Transformation for the Local Optimum Escaping / Radoslaw Ziembinski
Learning Algorithms
PATMAP: Polyadenylation Site Identification from Next-Generation Sequencing Data / Xiaohui Wu ; Meishuang Tang ; Junfeng Yao ; Shuiyuan Lin ; Zhe Xiang ; Guoli Ji
How to Reduce Dimension while Improving Performance / A. Bouchelaghem ; M. Drif ; N. Harrag
On How Percolation Threshold Affects PSO Performance / Blanca Cases ; Alicia D'Anjou ; Abdelmalik Moujahid
Pollen Grains Contour Analysis on Verification Approach / Norma Monzón García ; Víctor Alfonso Elizondo Chaves ; Juan Carlos Briceño ; Carlos M. Travieso
Modelling Stress Recognition in Conflict Resolution Scenarios / Marco Gomes
Multilayer-Perceptron Network Ensemble Modeling with Genetic Algorithms for the Capacity of Bolted Lap Joint / F. Javier Martínez-de-Pisón-Ascacibar
A Hybrid Classical Approach to a Fixed-Charged Transportation Problem / Camelia-M. Pintea ; Corina Pop Sitar ; Mara Hajdu-Macelaru ; Pop Petrica
Computing Optimal Solutions of a Linear Programming Problem with Interval Type-2 Fuzzy Constraints / Juan Carlos Figueroa-García ; Germán Hernandez
Systems, Man, and Cybernetics by HAIS
Supervision Strategy of a Solar Volumetric Receiver Using NN and Rule Based Techniques / Ramón Ferreiro García ; José Luis Calvo Rolle ; Francisco Javier Pérez Castelo
Modeling an Operating System Based on Agents / Javier Palanca Cámara ; Marti Navarro ; Estefania Argente ; Ana Garcia-Fornes
An Empirical Comparison of Some Approximate Methods for Graph Coloring / Israel Rebollo-Ruiz ; Manuel Graña
A Predictive Evolutionary Algorithm for Dynamic Constrained Inverse Kimematics Problems / Patryk Filipiak ; Krzysztof Michalak ; Piotr Lipinski
Non-linear Data Stream Compression: Foundations and Theoretical Results / Alfredo Cuzzocrea ; Hendrik Decker
Reasoning with Qualitative Velocity: Towards a Hybrid Approach / J. Golinska-Pilarek ; E. Muñoz-Velasco
Research of Neural Network Classifier Based on FCM and PSO for Breast Cancer Classification / Lei Zhang ; Lin Wang ; Xujiewen Wang ; Keke Liu ; Ajith Abraham
Improving Evolved Alphabet Using Tabu Set / Jan Platos ; Pavel Kromer
Rough Sets-Based Identification of Heart Valve Diseases Using Heart Sounds / Mostafa A. Salama ; Aboul Ella Hassanien ; Aly A. Fahmy ; Vaclav Snasel
A Novel Hybrid Intelligent Classifier to Obtain the Controller Tuning Parameters for Temperature Control / José Luis Calvo-Rolle ; Emilio Corchado ; Héctor Quintian-Pardo ; Jesús Ángel Román ; Pedro Antonio Hernández
SpaGRID: A Spatial Grid Framework for High Dimensional Medical Databases / Harleen Kaur ; Ritu Chauhan ; Mohd. Afshar Alam ; Syed Aljunid ; Mohd. Salleh
Author Index
Special Sessions
Agents and Multi Agents Systems
An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan ; Ching-Chin Chern
13.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
DALT 2011 Papers
Control and Delegation / Wiebe van der Hoek
Plan Indexing for State-Based Plans / Louise A. Dennis
An Integrated Formal Framework for Reasoning about Goal Interactions / Michael Winikoff
Probing Attacks on Multi-Agent Systems Using Electronic Institutions / Shahriar Bijani ; David Robertson ; David Aspinall
Detecting Conflicts in Commitments / Akin Günay ; Pinar Yolum
Formalizing Commitments Using Action Languages / Tran Cao Son ; Enrico Pontelli ; Chiaki Sakama
Best of DALT
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
The Evolution of Interoperability / Amit K. Chopra ; Munindar P. Singh
1000 Years of Coo-BDI / Viviana Mascardi ; Davide Ancona
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective / Andrés García-Camino ; Juan-Antonio Rodríguez-Aguilar ; Carles Sierra ; Wamberto W. Vasconcelos
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages / Álvaro F. Moreira ; Renata Vieira ; Rafael H. Bordini
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review / Nicoletta Fornara ; Marco Colombetti
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language / Paolo Torroni ; Federico Chesani ; Paola Mello ; Marco Montali
DALT Spring School 2011
Web Service Composition via Organisation-Based (Re)Planning / David Corsar ; Alison Chorley
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification (Extended Abstract)
Author Index
DALT 2011 Papers
Control and Delegation / Wiebe van der Hoek
Plan Indexing for State-Based Plans / Louise A. Dennis
14.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
15.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
16.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
17.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
18.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Supervised Learning: Active, Ensemble, Rare-Class and Online
Time-Evolving Relational Classification and Ensemble Methods / Ryan Rossi ; Jennifer Neville
Active Learning for Hierarchical Text Classification / Xiao Li ; Da Kuang ; Charles X. Ling
TeamSkill Evolved: Mixed Classification Schemes for Team-Based Multi-player Games / Colin DeLong ; Jaideep Srivastava
A Novel Weighted Ensemble Technique for Time Series Forecasting / Ratnadip Adhikari ; R.K. Agrawal
Techniques for Efficient Learning without Search / Houssam Salem ; Pramuditha Suraweera ; Geoffrey I. Webb ; Janice R. Boughton
An Aggressive Margin-Based Algorithm for Incremental Learning / JuiHsi Fu ; Sing Ling Lee
Two-View Online Learning / Tarn T. Nguyen ; Kuiyu Chang ; Siu Cheung Hui
A Generic Classifier-Ensemble Approach for Biomedical Named Entity Recognition / Zhihua Liao ; Zili Zhang
Neighborhood Random Classification / Djamel Abdelkader Zighed ; Diala Ezzeddine ; Fabien Rico
SRF: A Framework for the Study of Classifier Behavior under Training Set Mislabeling Noise / Katsiaryna Mirylenka ; George Giannakopoulos ; Themis Palpanas
Building Decision Trees for the Multi-class Imbalance Problem / T. Ryan Hoens ; Qi Qian ; Nitesh V. Chawla ; Zhi-Hua Zhou
Scalable Random Forests for Massive Data / Bingguo Li ; Xiaojun Chen ; Mark Junjie Li ; Joshua Zhexue Huang ; Shengzhong Feng
Hybrid Random Forests: Advantages of Mixed Trees in Classifying Text Data / Baoxun Xu ; Graham Williams ; Yunming Ye
Learning Tree Structure of Label Dependency for Multi-label Learning / Bin Fu ; Zhihai Wang ; Rong Pan ; Guandong Xu ; Peter Dolog
Multiple Instance Learning for Group Record Linkage / Zhichun Fu ; Jun Zhou ; Peter Christen ; Mac Boot
Incremental Set Recommendation Based on Class Differences / Yasuyuki Shirai ; Koji Tsuruma ; Yuko Sakurai ; Satoshi Oyama ; Shin-ichi Minato
Active Learning for Cross Language Text Categorization / Yue Liu ; Lin Dai ; Weitao Zhou ; Heyan Huang
Evasion Attack of Multi-class Linear Classifiers / Han Xiao ; Thomas Stibor ; Claudia Eckert
Foundation of Mining Class-Imbalanced Data / Jun Du
Active Learning with c-Certainty / Eileen A. Ni
A Term Association Translation Model for Naive Bayes Text Classification / Meng-Sung Wu ; Hsin-Min Wang
A Double-Ensemble Approach for Classifying Skewed Data Streams / Chongsheng Zhang ; Paolo Soda
Generating Balanced Classifier-Independent Training Samples from Unlabeled Data / Youngja Park ; Zijie Qi ; Suresh N. Chari ; Ian M. Molloy
Nyström Approximate Model Selection for LSSVM / Lizhong Ding ; Shizhong Liao
Exploiting Label Dependency for Hierarchical Multi-label Classification / Noor Alaydie ; Ghandan K. Reddy ; Farshad Fotouhi
Diversity Analysis on Boosting Nominal Concepts / Nida Meddouri ; Héla Khoufi ; Mondher Sadok Maddouri
Extreme Value Prediction for Zero-Inflated Data / Fan Xin ; Zubin Abraham
Learning to Diversify Expert Finding with Subtopics / Hang Su ; Jie Tang ; Wanling Hong
An Associative Classifier for Uncertain Datasets / Metanat Hooshsadat ; Osmar R. Zaïane
Unsupervised Learning: Clustering, Probabilistic Modeling
Neighborhood-Based Smoothing of External Cluster Validity Measures / Ken-ichi Fukui ; Masayuki Numao
Sequential Entity Group Topic Model for Getting Topic Flows of Entity Groups within One Document / Young-Seob Jeong ; Ho-Jin Choi
Topological Comparisons of Proximity Measures / Rafik Abdesselam ; Asmelash Hadgu
Quad-tuple PLSA: Incorporating Entity and Its Rating in Aspect Identification / Wenjuan Luo ; Fuzhen Zhuang ; Qing He ; Zhongzhi Shi
Clustering-Based κ-Anonymity / Xianmang He ; HuaHui Chen ; Yefang Chen ; Yihong Dong ; Peng Wang ; Zhenhua Huang
Unsupervised Ensemble Learning for Mining Top-n Outliers / Jun Gao ; Weiming Hu ; Zhongfei(Mark) Zhang ; Ou Wu
Towards Personalized Context-Aware Recommendation by Mining Context Logs through Topic Models / Kuifei Yu ; Baoxian Zhang ; Hengshu Zhu ; Huanhuan Cao ; Jilei Tian
Mining of Temporal Coherent Subspace Clusters in Multivariate Time Series Databases / Hardy Kremer ; Stephan Günnemann ; Arne Held ; Thomas Seidl
A Vertex Similarity Probability Model for Finding Network Community Structure / Kan Li ; Yin Pang
Hybrid-ε-greedy for Mobile Context-Aware Recommender System / Djallel Bouneffouf ; Amel Bouzeghoub ; Alda Lopes Gançarski
Unsupervised Multi-label Text Classification Using a World Knowledge Ontology / Xiaohui Tao ; Yuefeng Li ; Raymond Y.K. Lau ; Hua Wang
Semantic Social Network Analysis with Text Corpora / Dong-mei Yang ; Hui Zheng ; Ji-kun Yan ; Ye Jin
Visualizing Clusters in Parallel Coordinates for Visual Knowledge Discovery / Yang Xiang ; David Fuhry ; Ruoming Jin ; Ye Zhao ; Kun Huang
Feature Enriched Nonparametric Bayesian Co-clustering / Pu Wang ; Carlotta Domeniconi ; Huzefa Rangwala ; Kathryn B. Laskey
Shape-Based Clustering for Time Series Data / Warissara Meesrikamolkul ; Vit Niennattrakul ; Chotirat Ann Ratanamahatana
Privacy-Preserving EM Algorithm for Clustering on Social Network / Bin Yang ; Issei Sato ; Hiroshi Nakagawa
Named Entity Recognition and Identification for Finding the Owner of a Home Page / Vassilis Plachouras ; Matthieu Rivière ; Michalis Vazirgiannis
Clustering and Understanding Documents via Discrimination Information Maximization / Malik Tahir Hassan ; Asim Karim
A Semi-supervised Incremental Clustering Algorithm for Streaming Data / Maria Halkidi ; Myra Spiliopoulou ; Aikaterini Pavlou
Unsupervised Sparse Matrix Co-clustering for Marketing and Sales Intelligence / Anastasios Zouzias ; Michail Vlachos ; Nikolaos M. Freris
Expectation-Maximization Collaborative Filtering with Explicit and Implicit Feedback / Bin Wang ; Mohammadreza Rahimi ; Dequan Zhou ; Xin Wang
Author Index
Supervised Learning: Active, Ensemble, Rare-Class and Online
Time-Evolving Relational Classification and Ensemble Methods / Ryan Rossi ; Jennifer Neville
Active Learning for Hierarchical Text Classification / Xiao Li ; Da Kuang ; Charles X. Ling
19.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
20.

電子ブック

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

電子ブック

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…
22.

電子ブック

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

電子ブック

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

電子ブック

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
25.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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…
29.

電子ブック

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

電子ブック

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

電子ブック

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…
32.

電子ブック

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…
33.

電子ブック

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…
34.

電子ブック

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…
35.

電子ブック

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…
36.

電子ブック

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

電子ブック

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

電子ブック

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…
39.

電子ブック

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
40.

電子ブック

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

電子ブック

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

電子ブック

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…
43.

電子ブック

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…
44.

電子ブック

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

電子ブック

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

電子ブック

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…
47.

電子ブック

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…
48.

電子ブック

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…
49.

電子ブック

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…
50.

電子ブック

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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼