Program Schedule
Monday, November 3, 2008
Keynote Speech by Dr. Michael Talbert, USAF AFRL/RYZT
AI Support for Decision Making
Session 1: Knowledge Representation and Reasoning
Session Chair: Esben Rune Hansen
Improving the Performance of Interactive Configuration with Regular String Constraints
Esben Rune Hansen and Peter Tiedemann
The System BioC for Reasoning about Biological Models in Action Language C
Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, and Philippe Veber
Layer Compression in Decision Diagrams
Tarik Hadzic, Esben Rune Hansen, and Barry O'Sullivan
A Model for Multiple Outcomes Games
Ramzi Ben Larbi, Sébastien Konieczny, and Pierre Marquis
Session Chair: Yixin Chen
Dominance of Bayesian Networks and Efficient Learning of Generalized Latent Class Models
Yixin Chen, Dong Hua, and Fang Liu
Veritas: Combining Expert Opinions without Labeled Data
Sharath R. Cholleti, Sally A. Goldman, Avrim Blum, David G. Politte, and Steven Don
Discovering Program’s Behavioral Patterns by Inferring Graph-Grammars from Execution Traces
Chunying Zhao, Keven Ates, Jun Kong, and Kang Zhang
Sub-class Recognition from Aggregate Class Labels: Preliminary Results
Ranga Raju Vatsavai, Shashi Shekhar, and Budhendra Bhaduri
Session Chair: Eric Grégoire
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
Eric Grégoire, Bertrand Mazure, and Cédric Piette
Let the Solver Deal with Redundancy
Cédric Piette
From XSAT to SAT by Exhibiting Equivalencies
Richard Ostrowski and Lionel Paris
Haplotype Inference with Boolean Constraint Solving: An Overview
Ines Lynce, Ana Graca, Joao Marques-Silva, and Arlindo Oliveira
Session Chair: Lei Song
Human-Readable and Machine-Readable Knowledge Bases Using Specialized Word Processors
Martin Molina and Gemma Blasco
Capturing the Semantics of Online News Sources for Business Intelligence Applications
Peter Z. Yeh and Alex Kass
Group Intelligent Decision Support System for Power System Skeleton Restoration
Chunyi Wang and Yutian Liu
Session Chair: Dimitrios Dakopoulos
Adaptive Mobile Interfaces through Grammar Induction
Jun Kong, Keven L. Ates, Kang Zhang, and Yan Gu
Application of Relevance Feedback in Content Based Image Retrieval Using Gaussian Mixture Models
Apostolos Marakakis, Nikolaos Galatsanos, Aristidis Likas, and Andreas Stafylopatis
Real-Time Classification of Streaming Sensor Data
Shashwati Kasetty, Candice Stafford, Gregory P. Walker, Xiaoyue Wang, and Eamonn Keogh
DOG: an Ontology-Powered OSGi Domotic Gateway
Dario Bonino, Emiliano Castellina, and Fulvio Corno
Session Chair: Gerard de Melo
Adding Flexibility to Russian Doll Search
Margarita Razgon and Gregory M. Provan
Comparison of Service Selection Algorithms for Grid Services: Multiple Objective Particle Swarm Optimization and Constraint Satisfaction Based Service Selection
Tapashree Guha and Simone Ludwig
PHC-NSGA-II: A Novel Multi-objective Memetic Algorithm for Continuous Optimization
Slim Bechikh, Nabil Belgasmi, Lamjed Ben Said, and Khaled Ghédira
Integrating YAGO into the Suggested Upper Merged Ontology
Gerard de Melo, Fabian Suchanek, and Adam Pease
Session Chair: Martin Molina
Application of Reactive Multi-Agent System to Vehicle Collision Avoidance
Sibo Yang, Franck Gechter, and Abderrafiaa Koukam
Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype
Sami Al-Maqtari and Habib Abdulrab
A UML-Based Conversion Tool for Monitoring and Testing Multi-Agent Systems
Nariman Mani, Vahid Garousi, and Behrouz H. Far
Agent Based Activity Monitoring System - ABAMS
Umar Manzoor and Samia Nefti
Session Chair: Q. M. Jonathan Wu
A Pyramidal Neural Network Based on Nonclassical Receptive Field Inhibition
Bruno José Torres Fernandes and George Darmiton da Cunha Cavalcanti
Face Recognition Using a Color Subspace LDA Approach
Mani Thomas, Chandra Kambhamettu, and Senthil Kumar
Real-time Approach for Adaptive Object Segmentation in Time-of-Flight Sensors
Ehsan Parvizi and Q. M. Jonathan Wu
The Efficient Features for Tracking
Hyeongyong Jeon, Jaekyong Jeong, Joonwoon Bang, and Chijung Hwang
Session Chair: Kang Zhang
Ant Colony Optimization for Configuration
Patrick Albert, Laurent Henocque, and Mathias Kleiner
Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT
Djamal Habet
On the Effects of Network Structure in Population-based Optimization
Ricardo M. Araujo and Luis C. Lamb
Performing A* Search for Yard Crane Dispatching in Container Terminals
Xi Guo and Shell Ying Huang
Session Chair: Ranga Raju Vatsavai
Automatic Design of Robot Behaviors through Constraint Network Acquisition
Mathias Paulin, Christian Bessiere, and Jean Sallantin
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, and Nic Wilson
Stronger Consistencies in WCSPs with Set Variables
J. H. M. Lee and C. F. K. Siu
Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems
Samba Ndojh Ndiaye, Philippe Jégou, and Cyril Terrioux
Session Chair: Ioannis Hatzilygeroudis
Fuzzy Information Retrieval Model Based on Multiple Related Ontologies
Maria Angelica de Andrade Leite and Ivan L. M. Ricarte
Profile-based Focused Crawler for Social Media-Sharing Websites
Zhiyong Zhang and Olfa Nasraoui
Image Characterization via Multilayer Neural Networks
Celia A. Z. Barcelos, Eduardo F. Ribeiro, and Marcos A. Batista
Information Extraction by Two Dimensional Parser
Atsuhiro Takasu
Session Chair: Olfa Nasraoui
Computational Complexity of Web Service Composition Based on Behavioral Descriptions
Hyunyoung Kil, Wonhong Nam, and Dongwon Lee
Leaning a Probabilistic Semantic Model from Heterogeneous Social Networks for Relationship Identification
Chunying Zhou, Huajun Chen, and Tong Yu
An End-to-End Configuration-Based Framework for Automatic SWS Composition
Patrick Albert, Laurent Henocque, and Mathias Kleiner
Semantic Information Retrieval for Personalized E-learning
Leyla Zhuhadar and Olfa Nasraoui
Tuesday, November 4, 2008
Keynote Speech by Dr. Eun K. Park, NSF CCF-CNS Program Director
Intelligent Software, Software Systems, and Tools for Real-World Systems and Applications: Research Challenges and Opportunities
Session Chair: Jihoon Yang
Minimum Free Energies with “Data Temperature” for Parameter Learning of Bayesian Networks
Takashi Isozaki, Noriji Kato, and Maomi Ueno
RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets
Carlos Abreu Ferreira, João Gama, and Vítor Santos Costa
Ensemble Learning of Regional Classifiers
Byung-woo Lee, Yong-chan Na, Byonghwa Oh, and Jihoon Yang
Attribute Value Taxonomy Generation through Matrix Based Adaptive Genetic Algorithm
Hyunsung Jo, Yong-chan Na, Byong-hwa Oh, Jihoon Yang, and Vasant Honavar
Session Chair: Farokh Bastani
LRNPlanner: Planning Personalized and Contextualized E-learning Routes
Eva Onaindia, Antonio Garrido, and Oscar Sapena
Hybrid Algorithms for Electromagnetic Detection Satellites Scheduling
Hao Chen, Jun Li, Ning Jing, and Yu Tang
FIP: A Fast Planning-Graph-Based Iterative Planner
Jicheng Fu, Farokh Bastani, Vincent Ng, I-Ling Yen, and Yansheng Zhang
A Memetic Algorithm for the University Course Timetabling Problem
Sadaf N. Jat and Shengxiang Yang
Session Chair: Taghi M. Khoshgoftaar
Using Imputation Techniques to Help Learn Accurate Classifiers
Xiaoyuan Su, Taghi M. Khoshgoftaar, and Russell Greiner
Resampling or Reweighting: A Comparison of Boosting Implementations
Chris Seiffert, Taghi M. Khoshgoftaar, Jason Van Hulse, and Amri Napolitano
Improving Learner Performance with Data Sampling and Boosting
Chris Seiffert, Taghi M. Khoshgoftaar, Jason Van Hulse, and Amri Napolitano
Addressing Class Imbalance in Non-Binary Classification Problems
Naeem Seliya, Zhiwei Xu, and Taghi M. Khoshgoftaar
Session Chair: Soomin Lee
Finding Good Starting Points for Solving Structured and Unstructured Nonlinear Constrained Optimization Problems
Soomin Lee and Benjamin Wah
Encoding CSPs with Zero Suppressed Decision Diagrams
Esben Rune Hansen
A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs
Philippe Jégou, Samba Ndojh Ndiaye, and Cyril Terrioux
A New Method for Computing Suitable Tree-decompositions with Respect to Structured CSP Solving
Cédric Pinto and Cyril Terrioux
Session Chair: Atsuhiro Takasu
Scheduling for Dedicated Machine Constraint Using Integer Programming
Huy Nguyen Anh Pham, Arthur Shr, Peter P. Chen, and Alan Liu
TLP-GP: New Results on Temporally-Expressive Planning Benchmarks
Frederic Maris and Pierre Regnier
A General Technique for Plan Repair
Marlene Arangú, Antonio Garrido, and Eva Onaindía
Preprocessing for Point-Based Algorithms of POMDPs
Ai-Hua Bian, Chong-Jun Wang, and Shi-Fu Chen
Session Chair: Yanjun Li
Peer-to-Peer Traffic Identification by Mining IP Layer Data Streams Using Concept-adapting Very Fast Decision Tree
Bijan Raahemi, Weicai Zhong, and Jing Liu
Quantized Indexing Tree for Frequent Updates over Data Streams
Liang Su, Bo Wang, Peng Zou, Yan Jia, Ke Zuo, and ShuQiang Yang
Simultaneous Clustering and Visualization of Web Usage Data Using Swarm-based Intelligence
Esin Saka and Olfa Nasraoui
Feature Exploration for Mining Coronal Loops from Solar Images
Nurcan Durak and Olfa Nasraoui
Session Chair: Nathalie Japkowicz
Visualizing Classifier Performance on Different Domains
Rocio Alaiz-Rodriguez, Nathalie Japkowicz, and Peter Tischer
Policy Gradient Semi-Markov Decision Process
Ngo Anh Vien and TaeChoong Chung
An Empirical Analysis on the Stability of Clustering Algorithms
Reza Zafarani, Majid Makki, and Ali A. Ghorbani
Oracle Clustering: Dynamic Partitioning Based on Random Observations
Reza Zafarani and Ali A. Ghorbani
Session Chair: Nikolaos Bourbakis
Moving Sensor Video Image Processing Enhanced with Elimination of Ego Motion by Global Registration and Sift
Steven Hong and Ella Atkins
Handwritten Digit Segmentation in Images of Historical Documents with One-Class Classifiers
V. O. Alves, Adriano Oliveira, Elias Silva, and Carlos Mello
An Incremental Hough Transform for Detecting Ellipses in Image Data Streams
Sofiane Sellah and Olfa Nasraoui
Automatic Image-to-Text-to-Voice Conversion for Interactively Locating Objects in Home Environments
Nikolaos Bourbakis
Session Chair: Pablo San Segundo
A New Exact Bit-parallel Algorithm for SAT
Pablo San Segundo, Cristóbal Tapia, Julio Puente, and Diego Rodríguez-Losada
A Unified Scoring Scheme for Detecting Essential Proteins in Protein Interaction Networks
Hon Nian Chua, Kar Leong Tew, Xiao-Li Li, and See-Kiong Ng
Information Extraction as an Ontology Population Task and its Application to Genic Interactions
Alain-Pierre Manine, Erick Alphonse, and Philippe Bessières
Definition and Extraction of Causal Relations for QA on Fault Diagnosis of Devices
Sheen-Mok Lee and Ji-Ae Shin
Session Chair: Laura Sebastia
e-Tourism: A Tourist Recommendation and Planning Application
Laura Sebastia, Inma Garcia, Eva Onaindia, and Cesar Guzman
Rough Set Based Learning for Classification
Naohiro Ishii, Takahiro Yamada, Yongguang Bao, and Hidekazu Tanaka
A Hybrid Self-Organizing Model for Sequence Analysis
Christos Ferles and Andreas Stafylopatis
Exploiting Item Taxonomy for Solving Cold-start Problem in Recommendation Making
Li-Tung Weng, Yue Xu, Yuefeng Li, and Richi Nayak
Session Chair: Anna Esposito
Exploiting Syntactic and Shallow Semantic Kernels to Improve Random Walks for Complex Question Answering
Yllias Chali and Shafiq R. Joty
Answering Complex Questions Using Query-Focused Summarization Technique
Yllias Chali and Shafiq R. Joty
Online Structured Learning for Semantic Parsing with Synchronous and λ-Synchronous Context Free Grammars
Le-Minh Nguyen, Akira Shimazu, Xuan-Hieu Phan, and Phuong Thai Nguyen
Robust Speaker Identification Using Greedy Kernel PCA
Min-Seok Kim, Il-Ho Yang, and Ha-Jin Yu
A Speaker Independent Approach to the Classification of Emotional Vocal Expressions
Hicham Atassi and Anna Esposito
Session Chair: Dan Wu
Probabilistic Continuous Constraint Satisfaction Problems
Elsa Carvalho, Jorge Cruz, and Pedro Barahona
Haziness for Common Sensical Inference from Uncertain and Inconsistent Linear Knowledge Base
Lionel Daniel
Marginal Calibration in Multi-agent Probabilistic Systems
Karen H. Jin and Dan Wu
An Efficient Method for Probabilistic Knowledge Integration
Shenyong Zhang, Yun Peng, and Xiaopu Wang
Keynote Speech by Dr. Jack Bantle, Vice President for Research and Graduate Studies, Wright State University
Biological Intelligence vs. Artificial Intelligence
Wednesday, November 5, 2008
Session Chair: Alexandros Pantelopoulos
An Intelligent Tutoring System for Training and Learning in a Virtual Environment for High-Risk Sites
Kahina Amokrane, Domitile Lourdeaux, Jean-Paul Barthès, and Jean-Marie Burkhardt
A Tool for Training Primary Health Care Medical Students: The Virtual Simulated Patient
Víctor López, Eduardo Eisman, and Juan Luis Castro
Classifying User Behavior in Linux Sessions
Richard Fox and Eric Davidson
KON3: A Clinical Decision Support System, in Oncology Environment, Based on Knowledge Management
Michele Ceccarelli, Antonio Donatiello, and Dante Vitale
Combining Link and Content Information for Scientific Topics Discovery
Nacim Fateh Chikhi, Bernard Rothenburger, and Nathalie Aussenac-Gilles
Session Chair: Luigi Portinale
Analysis of Methods for Novel Case Selection
Neil Hurley and Mi Zhang
Ontological Cognitive Map
Lionel Chauvin, David Genest, and Stéphane Loiseau
Formalizing Object Typicality in Context-aware Ontology
Yi Cai and Ho-fung Leung
A Fuzzy Logic Approach to Case Matching and Retrieval Suitable to SQL Implementation
Luigi Portinale and Stefania Montani
Introducing Affect into Competitive Game Play
Maha Alabduljalil, Songhua Xu, and Willard Miranker
Session Chair: Haleh Vafaie
Synthesis of Relational Web Services Based on SCDL
Haitao Gong, Shu Wang, Qi Wang, and Philip Sheu
An Approach to Relational Web Service Composition
Qi Wang and Phillip Sheu
A Scientific Theme Emergence Detection Approach Based on Citation Graph Analysis
Tieyun Qian, Phillip Sheu, Shijun Li, and Lina Wang
Semantic Programming Language SPL+ ─ A Preliminary Report
Zhang Guigang, Shu Wang, Xu ChengZhi, Zhiyuan Gong, and Phillip Sheu
Understanding Structure and Mapping Content to Semantic Models
Haleh Vafaie and Babak Hamidzadeh
Session Chair: Vineela Muppavarapu
A Novel PSO-MP Approach for Database Replications at Edge Servers
Wei Hao, Jicheng Fu, I-Ling Yen, and Zhonghang Xia
A Decision Support Tool for Energy Storage Optimization
Alan Holland
Random Move Tabu Search for Freight Proportion Allocation Problem
Andrew Lim, Hu Qin, Jing Xu, and Zhou Xu
Semantic-Based Access Control for Grid Data Resources in Open Grid Services Architecture - Data Access and Integration (OGSA-DAI)
Vineela Muppavarapu and Soon M. Chung
Enhanced CAS Certificate for Metadata-Based Access Control in Grids
Sang M. Park and Soon M. Chung
Session Chair: Raj Bhatnagar
Extracting Non-Redundant Approximate Rules from Multi-Level Datasets
Gavin Shaw, Yue Xu and Shlomo Geva
Enabling Cross Constraint Satisfaction in RDF-based Heterogeneous Database Integration
Luis Martín, Alberto Anguita, Ana Jiménez, and José Crespo
A Lattice-based Model for Recommender Systems
Shriram Narayanaswamy and Raj Bhatnagar
GeoDialogue: A Software Agent Enabling Collaborative Dialogues between a User and a Conversational GIS
Hongmei Wang, Guoary Cai, and Alan M. MacEachren
XML Integrated Environment for Service-Oriented Data Management
Marwan Y. Maarouf and Soon M. Chung
Session Chair: Naohiro Ishii
Error Estimation Models Integrating Previous Models and Using Artificial Neural Networks for Embedded Software Development Projects
Kazunori Iwata, Toyoshiro Nakashima, Yshiyuki Anan, and Naohiro Ishii
Preference-aware Web Service Composition by Reinforcement Learning
Hongbing Wang and Pingping Tang
Predicting Fault Proneness of Classes Trough a Multiobjective Particle Swarm Optimization Algorithm
André B. de Carvalho, Aurora Pozo, Sílvia Vergílio, and Alexandre Lenz
XONTO: An Ontology-based System for Semantic Information Extraction from PDF Documents
Ermelinda Oro and Massimo Ruffolo
Mining Functional Aspects from Legacy Code
Amal Elkharraz, Hafedh Mili, and Petko Valtchev
Session Chair: Dmitriy Fradkin
An Adaptive Strategy for Allocation of Resources with Gradually or Abruptly Changing Capacities
Yingni She and Ho-fung Leung
An Adaptive Bidding Strategy in Multi-Round Combinatorial Auctions for Resource Allocation
Xin Sui and Ho-fung Leung
Knee Point Detection on Bayesian Information Criterion
Qinpei Zhao, Mantao Xu, and Pasi Fränti
Clustering Inside Classes Improves Performance of Linear Classifiers
Dmitriy Fradkin
Classifying Spend Descriptions with Off-the-Shelf Learning Components
Saikat Mukherjee, Dmitriy Fradkin, and Michael Roth
Session Chair: Rüdiger Brause
Filtering Noise in Regression Problems Using a Multiobjective Leaning Algorithm
D. A. G. Vieira, X. L. Travassos Jr, Vasile Palade, and R. R. Saldanha
The Performance of Approximating Ordinary Differential Equations by Neural Nets
Josef Fojdl and Rüdiger Brause
Constraint-Based Placement and Routing for FPGAs using Self-Organizing Maps
Michail Maniatakos, Songhua Xu, and Willard Miranker
Neural Network Language Models for Translation with Limited Data
Maxim Khalilov, José A R Fonollosa, F. Zamora-Martínez, M.J. Castro-Bleda, and S. España-Boquera
Session Chair: Forrest Sheng Bao
Recognition of Neonatal Facial Expressions of Acute Pain Using Boosted Gabor Features
Lei Yuan, Forrest Sheng Bao, and Guanming Lu
A Comparative Study of Machine Learning Techniques for Caries Prediction
Robson D. Montenegro, Adriano L. I. Oliveira, George G. Cabral, Cintia R. T. Katz, and Aronita Rosenblatt
A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network
Forrest Sheng Bao, Donald Yu-Chun Lie, and Yuanlin Zhang
A Multimodal Interaction Scheme between a Blind User and the Tyflos Assistive Prototype
Nikolaos Bourbakis, Robert Keefer, Dimitrios Dakopoulos, and Anna Esposito
Session Chair: Soon M. Chung
Automatic Object Classification through Semantic Analysis
Xiaokun Li and Zhigang Zhu
Real-time Positioning and Orienting of Pallets Based on Monocular Vision
Sungmin Byun and Minhwan Kim
Contourlet Based Interest Points Detector
Samer Rafik Saydam, Ibrahim El-Rube', and Ameen Shoukry
Session Chair: Vineela Muppavarapu
Straight Line Programs: A New Linear Genetic Programming Approach
Cesar Luis Alonso, José Luis Montaña, and Jorge Puente
Solving Temporal Constraint Satisfaction Problems with Heuristic based Evolutionary Algorithms
Bahareh Jafari Jashmi and Malek Mouhoub
A Self-Organization Genetic Algorithm with Cycle Mutation
Na Wang, Jian Zhuang, Haifeng Du, and Sun'an Wang
Navigation and Guidance Planning for Air Vehicles
Ferhat Uçan and D. Turgay Altilar
Session Chair: Robert Ewing
iMASS: Computational NRF Spectra Signal from Geant4
John Perry, Shanjie Xiao, and Tatjana Jevremovic
A NRF Spectra Signature Detection Model Using Local-Global Graphs
Nikolaos Bourbakis, Alexandros Pantelopoulos, and Raghudeep Kannavara
Context Processing of Sensory Image Data
Robert L. Ewing and M. D. Eyster
Object Recognition Using Log-Polar Wavelet Mapping
Rittavee Matungka, Yuan F. Zheng, and Robert L. Ewing
|
