Table of Contents. Understanding the Internet... 1 Christos H. Papadimitriou

Similar documents
Lecture Notes in Artificial Intelligence 2308

Ioannis P. Vlahavas (Aristotle University of Thessaloniki)

Lecture Notes in Artificial Intelligence 3955

Lecture Notes in Artificial Intelligence 5138

Lecture Notes in Artificial Intelligence 7297

th Panhellenic Conference on Informatics

Lecture Notes in Computer Science 2563 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

AI in a SMART AIrport

Lecture Notes in Artificial Intelligence 8445

MEN HELLENIC. Men / Bench Press / (Hellenic) Name Age Best BW BW cat SQ BP DL. Damtsias, Michail. Teen

First Congress of Greek Mathematicians FCGM 2018

Is Silver Economy a New Way of Tourism Potential for Greece? Dimitrios Kyriakou and Dimitrios Belias The Information and Promotion of Rural

with international participation August 28-30, 2008, Samos Island, Greece

Academic Research of Biometrics in Korea

10ᵗʰ Hellenic Conference on Artificial Intelligence 9 12 JULY Program

Under the Auspices of H. E. the President of the Hellenic Republic Mr. Prokopios Pavlopoulos. First Congress of Greek Mathematicians FCGM-2018

RECHARGING GROWTH: INTERNATIONAL FINANCING FORUM. The financing of energy investments in Greece and Europe. DATE: October 24-25, 2012

Knowlywood: Mining Activity Knowledge from Hollywood Narratives

Proceedings. 12th Pan-Hellenic Conference on Informatics PCI August 28-30, 2008 Samos Island, Greece

FINAL PROGRAM. 5th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI 2009) April 2009, Thessaloniki, Greece

Friday, May Sessions Ι-V Banquet Hall, Parallel Sessions MC2 Hall

ANDREAS MENTZELOPOULOS SCHOLARSHIPS for Studies in the University of Patras

ML CHILDREN TAEKWONDO TOURNAMENT - 01June 2013 Medal Winners 1 / 5

Information Extraction slides adapted from Jim Martin s Natural Language Processing class

Preface. Computer Networks Artificial Intelligence. Software Engineering Data Management. Text Processing Distributed Systems

Tournament: MACEDONIA 2008

Atennea Air. The most comprehensive ERP software for operating & financial management of your airline

Manolis Terrovitis Personal Information

Aircraft Arrival Sequencing: Creating order from disorder

Scalable Runtime Support for Data-Intensive Applications on the Single-Chip Cloud Computer

MASTER S THESIS. Ioannis Mamalikidis, UID: 633

Platform and Products

08:30-08:45 Welcome By Ioannis Demetriou (University of Athens) Head of the Department And. A: Microeconomics

CSCI 5832 Natural Language Processing

20/7/ /7/2017. Name Club Categ. Round 1 Round 2 Round 3 Overall 1 Papadopoulou Niki *NOV -10 F 2,00/34 2,00/34 5,00/25 357,14

EUROPE REGIONAL PROJECTS

Fact-finding mission of the Budgetary Control Committee (CONT) to Greece February 2017

The Archive of Cyprus Child Art (ACCA) Its contribution and implementation in art education

CRETE 2018 Updated: July 12, 2018 Accommodation list by name. Senior participants. Check in, Check out, people

Performance and Efficiency Evaluation of Airports. The Balance Between DEA and MCDA Tools. J.Braz, E.Baltazar, J.Jardim, J.Silva, M.

PROGRAMME OF PARALLEL EVENTS

Aeronautical METeorology in Europe

Annotating, Extracting, and Linking Legal Information

Scalability in GBML, Accuracy-Based Michigan Fuzzy LCS, and New Trends

Introduction Runways delay analysis Runways scheduling integration Results Conclusion. Raphaël Deau, Jean-Baptiste Gotteland, Nicolas Durand

User Requirements Regarding Information Included in Audio-Tactile Maps for Individuals with Blindness

Jeppesen Pairing & Rostering

Springer Proceedings in Business and Economics

CURRICULUM VITAE. ALEXANDROS LAZARIDIS, PhD Electrical and Computer Engineer

Semantic Representation and Scale-up of Integrated Air Traffic Management Data

7th Edition European Investment Summit NPLs & Real Estate Investments Greece & Cyprus SPONSORS

Kernel Principal Component Analysis and its Applications in Face Recognition and Active Shape Models

An Architecture for Combinator Graph Reduction Philip J. Koopman Jr.

= Coordination with Direct Communication

Research, Innovation and Entrepreneurship: A new agenda for the enhancement of structural competitiveness

Mathcad 140 Curriculum Guide

Predicting flight routes with a Deep Neural Network in the operational Air Traffic Flow and Capacity Management system

Towards a Swiss Rescue Robotics Team

Genetic Algorithms Applied to Airport Ground Traffic Optimization

6 th WHBA Summer School in Medical & Biosciences Research & Management Program May 13-21, 2017 Neo Itilo, Mani Laconia & Athens, Greece

Minimum Knowledge Expected of Learner

Airport Flight Departure Delay Model on Improved BN Structure Learning

ATM Seminar 2015 OPTIMIZING INTEGRATED ARRIVAL, DEPARTURE AND SURFACE OPERATIONS UNDER UNCERTAINTY. Wednesday, June 24 nd 2015

Schedule DCAC v7.2 07/06/ :05. Friday, June 1st :30-11:00 DCAC-2018 Session 1: New Aesthetics - New Dimensions

Schedule DCAC Friday, June 1st :30-11:00 DCAC-2018 Session 1: New Aesthetics - New Dimensions. 11:00-11:30 Coffee Break

American Institute of Aeronautics and Astronautics

New Approach to Search for Gliders in Cellular Automata

AQME 10 System Description

Fly at the speed of ingenuity on your Learjet 85

intuitive forecasting to win its fight for survival managing inventory and intuitive forecasting parts requirements

Kurt Winkler 1, Tobias Kuhn 2, Martin Volk 3

Identification of Waves in IGC files

PRAJWAL KHADGI Department of Industrial and Systems Engineering Northern Illinois University DeKalb, Illinois, USA

A Coevolutionary Simulation of Real-Time Airport Gate Scheduling

EVENT TITLE: 18 th scientific conference of the Greek Society of Regional Scientists Regional specialization and entrepreneurship

Operational Evaluation of a Flight-deck Software Application

Dimitrios Yeoryios Ravanos Family

Greece Open 2014 (G1)

Limassol Wine Festival 2012

Mathcad Prime Curriculum Guide

Mathcad 14.0 Curriculum Guide

Arena C1 Vers des nouveaux horizons avec le nouveau modèle commercial de MSC Cruises

Price-Setting Auctions for Airport Slot Allocation: a Multi-Airport Case Study

Free-Flight Flight & Air Traffic Control. Prof Peter Lindsay Boeing Professor of Systems Engineering Director, ACCS

EE382V: Embedded System Design and Modeling

Lecture 2: Image Classification pipeline. Fei-Fei Li & Andrej Karpathy Lecture 2-1

ΕπιχειρούΜµΕ µαζί ΑνεβαίνουΜµΕ µαζί

Supporting a visually impaired person through O&M as a tour guide for museums and archaeological sites

"Free at Last" Cage-based Living Geometry

Issues and Achievements of Computer Science Students by Historical Data Analyses - Are We Ready for Education Big Data?

A New Way to Work in the ERCOT Market

A collaboration for safety from Flight Data Services and IATA. World leading flight data analysis service

Third Workshop on Software Quality Analysis, Monitoring, Improvement and Applications SQAMIA 2014

Research Statement of Hamsa Balakrishnan

Monitoring & Control Tim Stevenson Yogesh Wadadekar

White Paper: Assessment of 1-to-Many matching in the airport departure process

Real-time route planning streamlines onboard operations, reduces fuel burn and delays, and improves on-time performance.

Airline Boarding Schemes for Airbus A-380. Graduate Student Mathematical Modeling Camp RPI June 8, 2007

COSMO-Coast. L Aquila. La Sapienza. Tor Vergata. Dipartimento di Architettura ed Urbanistica. Dipartimento di Informatica, Sistemi e Produzione,

Table of Contents. Preface... xi. Introduction... xiii

Transcription:

Table of Contents Invited Talks Understanding the Internet... 1 Christos H. Papadimitriou Agent-Oriented Software Development... 3 John Mylopoulos, Manuel Kolp, and Paolo Giorgini Knowledge Representation & Reasoning The Ramification and Qualification Problems in Temporal Databases... 18 Nick Papadakis and Dimitris Plexousakis Multi-inference with Multi-neurules... 30 Ioannis Hatzilygeroudis and Jim Prentzas Decision Making Based on Past Problem Cases... 42 Ioannis Stamelos and Ioannis Refanidis Logic Programming & Constraint Satisfaction Relating Defeasible Logic to Extended Logic Programs... 54 George Antoniou On Algorithms for Decomposable Constraints... 65 Kostas Stergiou Cspcons: A Communicating Sequential Prolog with Constraints... 72 Ioannis P. Vlahavas, Ilias Sakellariou, Ivan Futo, Zoltan Pasztor, and Janos Szeredi Genetic Evolution of Software Microorganisms... 85 Themistoklis Panayiotopoulos, Harry Kalogirou, Anthony Petropoulos, and Dionisis Dimopoulos Planning & Scheduling A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty... 97 Ioannis Tsamardinos Crew Pairing Optimization with Genetic Algorithms...109 Harry Kornilakis and Panagiotis Stamatopoulos

XII Table of Contents Integration of Topological and Metric Maps for Indoor Mobile Robot Path Planning and Navigation...121 Panagiotis G. Zavlangas and Spyros G. Tzafestas Natural Language Processing Symbolic Authoring for Multilingual Natural Language Generation...131 Ion Androutsopoulos, Dimitris Spiliotopoulos, Konstantinos Stamatakis, Aggeliki Dimitromanolaki, Vangelis Karkaletsis, and Constantine D. Spyropoulos A User-Sensitive Spoken Dialogue System Incorporating Emotional Responsiveness...143 Gloria Dabiri, Michael Brown, Maria Aretoulaki, and Matthias Nitzsche Transforming Spontaneous Telegraphic Language to Well-Formed Greek Sentences for Alternative and Augmentative Communication...155 Georgios Karberis and Georgios Kouroupetroglou Role Identification from Free Text Using Hidden Markov Models...167 Georgios Sigletos, Georgios Paliouras, and Vangelis Karkaletsis Human-Computer Interaction Improving SMS Usability Using Bayesian Networks...179 Manolis Maragoudakis, Nikolaos K. Tselios, Nikolaos Fakotakis, and Nikolaos M. Avouris Fuzzy Inference for Student Diagnosis in Adaptive Educational Hypermedia...191 Maria Grigoriadou, Harry Kornilakis, Kyparisia A. Papanikolaou, and George D. Magoulas MultiCAD-GA: A System for the Design of 3D Forms Based on Genetic Algorithms and Human Evaluation...203 Nikolaos Vassilas, George Miaoulis, Dionysios Chronopoulos, Elias Konstantinidis, Ioanna Ravani, Dimitrios Makris, and Dimitri Plemenos Intelligent Semantic Access to Audiovisual Content...215 Yannis Avrithis, Giorgos Stamou, Anastasios Delopoulos, and Stefanos Kollias Machine Learning A Multi-clustering Fusion Algorithm...225 Dimitrios Frossyniotis, Minas Pertselakis, and Andreas Stafylopatis

Table of Contents XIII Distance and Feature-Based Clustering of Time Series: An Application on Neurophysiology...237 George Potamias Least-Squares Methods in Reinforcement Learning for Control...249 Michail G. Lagoudakis, Ronald Parr, and Michael L. Littman Knowledge Discovery Association Rules & Evolution in Time...261 George Koundourakis and Babis Theodoulidis Managing Uncertainty and Quality in the Classification Process...273 Maria Halkidi and Michalis Vazirgiannis The Role of Domain Knowledge in a Large Scale Data Mining Project...288 Ioannis Kopanas, Nikolaos M. Avouris, and Sophia Daskalaki Neural Networks Artificial Neural Network Learning: A Comparative Review...300 Costas Neocleous and Christos Schizas Piecewise Neural Networks for Function Approximation, Cast in a Form Suitable for Parallel Computation...314 Ioannis G. Tsoulos, Isaac E. Lagaris, and Aristidis C. Likas Using Hopfield Networks to Solve Assignment Problem and N-Queen Problem: An Application of Guided Trial and Error Technique...325 Christos Douligeris and Gang Feng A Bayesian Regularization Method for the Probabilistic RBF Network...337 Constantinos Constantinopoulos, Michalis K. Titsias, and Aristidis Likas Pattern Recognition Support Vector Machines with Clustering for Training with Very Large Datasets...346 Theodoros Evgeniou and Massimiliano Pontil A Temporal Network of Support Vector Machine Classifiers for the Recognition of Visual Speech...355 Mihaela Gordan, Constantine Kotropoulos, and Ioannis Pitas Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control...366 Gerasimos G. Rigatos

XIV Table of Contents Machine Vision Overview of Wave Probe-Based High-Resolution Subsurface Sensing, Imaging, and Vision...378 George A. Tsihrintzis and Konstantinos G. Girtis 3D Volume Reconstruction by Serially Acquired 2D Slices Using a Distance Transform-Based Global Cost Function...390 Stelios Krinidis, Christophoros Nikou, and Ioannis Pitas Definition and Extraction of Visual Landmarks for Indoor Robot Navigation...401 Dimitrios I. Kosmopoulos and Konstantinos V. Chandrinos Factors Affecting the Accuracy of an Active Vision Head...413 Antonios Gasteratos and Giulio Sandini Intelligent Internet & Multiagent Systems Query Translation for Mediators over Ontology-Based Information Sources...423 Yannis Tzitzikas, Nicolas Spyratos, and Panos Constantopoulos Intelligent Querying of Web Documents Using a Deductive XML Repository...437 Nick Bassiliades and Ioannis P. Vlahavas Roles in Collaborative Activity...449 Ioannis Partsakoulakis and George Vouros Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours...461 Petros Kefalas Intelligent Applications On the Application of Artificial Intelligence Techniques to the Quality Improvement of Industrial Processes...473 Pavlos Georgilakis and Nikos Hatziargyriou Using Non-uniform Crossover in Genetic Algorithm Methods to Speed up the Generation of Test Patterns for Sequential Circuits...485 Michael Dimopoulos and Panagiotis Linardis Hybrid Computational Intelligence Schemes in Complex Domains: An Extended Review...494 Athanasios Tsakonas and George Dounias Author Index...513

http://www.springer.com/978-3-540-43472-6