SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Richard Ellis, Miltos Petridis, British Computer Society.
Intelligent Spaces - The Vision, the Opportunities, and the Barriers / S Wright ; A Steventon1:
A Vision of Intelligent Spaces / 1.1:
Applications / 1.2:
Technology Capabilities / 1.3:
Roadmap to the Vision / 1.4:
Research Challenges / 1.5:
Summary / 1.6:
The Socio-Economic Impact of Pervasive Computing - Intelligent Spaces and the Organisation of Business / M H Lyons ; R Ellis ; J M M Potter ; D A M Holm ; R Venousiou2:
Commercial Opportunities / 2.1:
New Organisational Forms - The Emerging Value Nets / 2.3:
Creating the Adaptive Company / 2.4:
Changing the Way We Work / 2.5:
No Pervasive Computing Without Intelligent Systems / S G Thompson ; B Azvine2.6:
Needs Identification / 3.1:
Problems from Ubiquitous Computing - Solutions from Intelligent Systems Research / 3.3:
Care in the Community / S Brown ; N Hine ; A Sixsmith ; P Garner4.4:
The Concept of 'Well-Being' / 5.1:
How to Measure Changes in Well-Being / 5.3:
System Design, Deployment, and Service Issues / 5.4:
Summary and Key Technical Challenges / 5.5:
Pervasive Home Environments / P Bull ; R Limb ; R Payne6:
Vision / 6.1:
Technical Challenges / 6.3:
Traffimatics - Intelligent Co-operative Vehicle Highway Systems / G Bilchev ; D Marston ; N Hristov ; E Peytchev ; N Wall6.4:
Vision of Intelligent Co-operative Vehicle Highway Systems / 7.1:
Vision Implementation / 7.3:
Market Opportunities and Barriers / 7.4:
Mixed-Reality Applications in Urban Environments / J Bulman ; B Crabtree ; A Gower ; A Oldroyd ; J Sutton7.5:
3D Virtual-Reality and Mixed-Reality Scene Rendering / 8.1:
Pervasive Gaming - Gaming in Urban Environments / 8.3:
Workforce Management Application / 8.4:
Military Operations in Urban Environments / 8.5:
Future / 8.6:
A Sensor Network for Glaciers / K Martinez ; A Riddoch ; J Hart ; R Ong8.7:
The Glacsweb Project / 9.1:
System Architecture Version 2 / 9.3:
Example Results / 9.4:
Summary and Future Work / 9.5:
Co-operation in the Digital Age - Engendering Trust in Electronic Environments / A Seleznyov ; M O Ahmed ; S Hailes10:
Security Issues in Ubicomp / 10.1:
Decentralised Trust Management / 10.3:
ADAM / 10.4:
Maintaining Privacy in Pervasive Computing - Enabling Acceptance of Sensor-based Services / A Soppera ; T Burbridge10.5:
Emerging Pervasive Computing - Opportunities and Threats / 11.1:
Understanding Privacy in Pervasive Computing / 11.3:
Technical Approaches to Privacy / 11.4:
RFID Security and Privacy - Issues, Standards, and Solutions / D Molnar11.5:
RFID Tags Technology - An Overview / 12.1:
Privacy as a Multilayer Problem / 12.3:
Transfer of Ownership at the Application Level / 12.5:
Ambient Technology - Now You See It, Now You Don't / B MacDonald12.6:
Living in a Moore's Law World / 13.1:
Hardware Technology Influencers and Issues / 13.3:
The Key Hardware Technologies for Enabling iSpaces / 13.4:
Integrated Sensor Networks for Monitoring the Health and Well-Being of Vulnerable Individuals / D J T Heatley ; R S Kalawsky ; I Neild ; P A Bowman13.5:
Importance of Well-Being Care Provision / 14.1:
Activities of Daily Living / 14.3:
Ethical Considerations / 14.4:
Sensing Activities of Daily Living / 14.5:
Multiple Occupancy Issues / 14.6:
Sensor Fusion / 14.7:
Sensor Networks / 14.8:
Experimental Work / 14.9:
Segmentation and Tracking of Multiple Moving Objects for Intelligent Video Analysis / L-Q Xu ; J L Landabaso ; B Lei14.10:
Moving Objects Segmentation with Shadow Removal / 15.1:
Multi-Object Tracking Using Temporal Templates / 15.3:
Experimental Results / 15.4:
An Attention-based Approach to Content-based Image Retrieval / A Bamidele ; F W M Stentiford ; J Morphett15.5:
State of the Art / 16.1:
Current Research / 16.3:
Results / 16.4:
Discussion / 16.5:
Eye Tracking as a New Interface for Image Retrieval / O K Oyekoya16.6:
Current Research Objectives / 17.1:
The Implications of Pervasive Computing on Network Design / R Briscoe17.4:
Architecture / 18.1:
Component Services / 18.3:
Business Implications / 18.4:
Autonomic Computing for Pervasive ICT-A Whole-System Perspective / M Shackleton ; F Saffre ; R Tateson ; E Bonsma ; C Roadknight18.5:
Illustrative Example Systems / 19.1:
Discussion of Example Systems / 19.3:
The Need for 'Complex Systems' Theory and Modelling / 19.4:
Scale-Free Topology for Pervasive Networks / H Jovanovic ; C Hoile ; S Nicolas19.5:
Methodology / 20.1:
NEXUS-Resilient Intelligent Middleware / N Kaveh ; R Ghanea Hercock20.3:
Motivating Scenario / 21.1:
NEXUS Architecture / 21.3:
NEXUS Prototype / 21.4:
Related Work / 21.5:
Intelligent Data Analysis for Detecting Behaviour Patterns in iSpaces / D D Nauck ; B Majeed ; B-S Lee21.6:
Approaches to iSpaces / 22.1:
Intelligent Data Analysis in Sensor Networks / 22.3:
Detecting Unusual Patterns / 22.4:
xAssist-Inferring User Goals from Observed Actions / J Allen ; S Appleby ; G Churcher22.5:
Reasoning and Action Selection / 23.1:
xAssist Framework / 23.3:
Example xAssist Application / 23.4:
Programming iSpaces-A Tale of Two Paradigms / V Callaghan ; M Colley ; H Hagras ; J Chin ; F Doctor ; G Clarke23.5:
Degrees of Intelligence and Autonomy / 24.1:
The iDorm / 24.3:
Embedded Agents / 24.4:
Embedded-Agent-based Approaches / 24.5:
An End-User Programming-based Approach / 24.6:
Summary and Future Directions / 24.7:
Acronyms
Index
Contributors
Introduction
Intelligent Spaces - The Vision, the Opportunities, and the Barriers / S Wright ; A Steventon1:
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Max A. Bramer, Frans Coenen, Andrew L. Tuson, British Computer Society.
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1:
A Discrete Particle Swarm Optimization Algorithm for the Permutation Flowshop Sequencing Problem with Makespan Criterion / Quan-Ke Pan ; M. Fatih Tasgetiren ; Yun-Chia Liang
Intialization Method for Grammar-guided Genetic Programming / Marc Garcia-Arnau ; Daniel Manrique ; Juan Rios ; Alfonso Rodriguez-Paton
Improving the Gradient Based Search Direction to Enhance Training Efficiency of Back Propagation Based Neural Network Algorithms / Nazri Mohd Nawi ; Meghana R. Ransing ; Rajesh S. Ransing
A Decision Tree-Based Attribute Weighting Filter for Naive Bayes / Mark Hall
Graphical Reasoning with Bayesian Networks / Ildiko Flesch
Two Different Approaches to Automated Mark Up of Emotions in Text / Virginia Francisco ; Raquel Hervas ; Pablo Gervas
Towards a Framework for Change Detection in Data Sets / Mirko Botthcer ; Detlef Nauck ; Dymitr Ruta ; Martin Spott
Incremental Inductive Learning in a Constructivist Agent / Filipo Studzinski Perotto ; Luis Otavio Alvares
Argumentation, Dialogue Games and Optimisation / Session 2b:
Argument Based Contract Enforcement / Nir Oren ; Alun Preece ; Timothy J. Norman
Negotiating Intelligently / John Debenham ; Simeon Simoff
Avoiding Long and Fruitless Dialogues in Critiquing / David McSherry ; David W. Aha
LSA-based Landscape Analysis for Multicast Routing / Mohammed S. Zahrani ; Martin J. Loomes ; James A. Malcolm ; Andreas A. Albrecht
Knowledge Representation and Management / Session 3:
Dependent Record Types for Dynamic Context Representation / Richard Dapoigny ; Patrick Barlatier
Adjusting game difficulty level through Formal Concept Analysis / Marco A. Gomez-Martin ; Pedro P. Gomez-Martin ; Pedro A. Gonzalez-Calero ; Belen Diaz-Agudo
Integrating Uncertain Knowledge in a Domain Ontology for Room Concept Classifications / Joana Hois ; Kerstin Schill ; John A. Bateman
Semantic Web / Session 4:
Using AI and Semantic Web Technologies to attack Process Complexity in Open Systems / Simon Thompson ; Nick Giles ; Yang Li ; Hamid Ghari ; Thuc Nguyen (BT)
A Semantic Web Blackboard System / Craig McKenzie ; Peter Gray
Planning with the Semantic Web by fusing Ontologies and Planning Domain Definitions / Marco Cioffi ; Simon Thompson (BT)
A Reusable Commitment Management Service using Semantic Web Technology / Stuart Chalmers
Model Based Systems and Simulation / Session 5:
On-Line Monitoring of Plan Execution: a Distributed Approach / Roberto Micalizio ; Pietro Torasso
Incremental Fault Isolation for Dynamic Processes / George Coghill ; Guofu Wu
Qualitative Approaches to Semantic Scene Modelling and Retrieval / Zia Ul Qayyum ; A.G. Cohn
A Platform for Simulating Language Evolution / Carl Vogel ; Justin Woods
Short Papers
Improving the Interpretability of Classification Rules in Sparse Bioinformatics Datasets / James Smaldon ; Alex A. Freitas
An Agent-Based Approach to Non-Distributed and Distributed Clustering / Ireneusz Czarnowski ; Piotr Jedrzejowicz
Transparency of Computational Intelligence Models / Peter Owotoki ; Friedrich Mayer-Lindenberg
Exploring Web Search Results Clustering / Xiaoxia Wang ; Max Bramer
Case-based Intention Selection for Autonomous Agent that Acts in Structured Synthetic Worlds / Haris Supic
On Clustering Attribute-oriented Induction / Maybin Muyeba ; M. Sulaiman Khan ; Zhiguo Gong
Chinese Text Clustering for Topic Detection Based on Word Pattern Relation / Yen-Ju Yang ; Su-Hsin Yu
Text Classification Using Language Independent Pre-processing / Yanbo J. Wang ; Frans Coenen ; Paul Leng ; Robert Sanderson
Author Index
Best Technical Paper
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines / Arjen Hommersom ; Perry Groot ; Peter Lucas ; Michael Balser ; Jonathan Schmitt
AI Techniques (GAs, Bio-Motivated Computing and Bayes) / Session 1:
Smart Design for Human Performance in the Office of the Future Requirements towards Services and Technical Advises for Tomorrows Office Work / Johannes Kriegel ; Franziska Jehle ; Christos Efstratiou ; Lambert Zaad ; Janina Heppner ; Jürgen Hupp
Intelligent Objects for the Internet of Things
Functional Requirements of a Middleware to Integrate Wireless Sensor Networks (WSN) into Smart Objects Applications / Fritz Meier
Scientific Workshop 4: The Internet of Things State-of-the-Art and Perspectives for Future Research / Dirk Liekenbrock
Scientific Workshop 4: Intelligent Objects for the Internet of Things: Internet of Things - Application of Sensor Networks in Logistics / Christian Flügel ; Volker Gehrmann
When Ambient Intelligence Meets Web 2.0: Wiki-City - A City Interacts with Its Citizen
New Tools for Mobiles and Handhelds Make Life Easier / Gerhard Baier ; Hellmut Beckstein
AmbiSense: Identifying and Locating Objects with Ambient Sensors / Christian Hoene
Scientific Workshop 6: When Ambient Intelligence Meets Web 2.0: Wiki-City - A City Interacts with Its Citizens / Steffen Meyer
Scientific Workshop 6: When Ambient Intelligence Meets Web 2.0: Seamless Localization Technologies in Cities / Thorsten Vaupel
Soprano, Persona, Netcarity & Mpower, Conjoint Workshop on Ambient-Assisted Living
Architectures and Platfroms for AMI: Workshop Summary Report / B.A. Farshchian ; E. Berg ; M. Divitini ; K. Doolin ; R. Pascotto
A Pervasive Environment Based on Personal Self-improving Smart Spaces / Michael Crotty ; Nich Taylor ; Howard Williams ; Korbinian Frank ; Ioanna Roussaki ; Mark Roddy
A Product Line Approach for Aml Environments / Jon Imanol Durán ; Josu Cobelo ; Joseba Laka
ASTRA Awareness Connectivity Platfrom Based on Service Oriented Concepts / Irene Mavrommati ; Ioannis Calemis
Mobile Ontology: Its Creation and Its Usage / Xiaomeng Su ; Stian Alapnes ; Mazen Malek Shiaa
Using Semantic Technology in Pervasive Service Platform / Xiaomeny Su ; Babak Farshchian ; Reidar Martin Svendsen ; Erik Berg
Realizing Context Aware Collaborations Using Grids / Stefan Wesner ; Georgina M. Gallizo ; Alexander Kipp ; Matthias Assel
Capturing Ambient Assisted Living Needs
Proceedings of AMI'08 Workshop: "Capturing Ambient Assisted Living Needs" / Arjan Geven ; Özge Subasi ; Cristina Buiza ; Marianna Obrist ; Wolfgang Reitberger ; Manfred Tscheligi
Author Index
Smart Design for Human Performance
Smart Design for Human Performance in the Office of the Future Requirements towards Services and Technical Advises for Tomorrows Office Work / Johannes Kriegel ; Franziska Jehle ; Christos Efstratiou ; Lambert Zaad ; Janina Heppner ; Jürgen Hupp
Feature Selection with Rough Sets for Web Page Classification / Aijun An ; Yanhui Huang ; Xiangji Huang ; Nick Cercone
On Learning Similarity Relations in Fuzzy Case-Based Reasoning / Eva Armengol ; Francesc Esteva ; Lluís Godo ; Vicenç Torra
Incremental versus Non-incremental Rule Induction for Multicriteria Classification / Salvatore Greco ; Roman Slowiński ; Jerzy Stefanowski ; Marcin Zurawski
Three Strategies to Rule Induction from Data with Numerical Attributes / Jerzy W. Grzymala-Busse
Fuzzy Transforms / Irina Perfilieva
Possible Equivalence Relations and Their Application to Hypothesis Generation in Non-deterministic Information Systems / Hiroshi Sakai
Applications of Fuzzy Logic Functions to Knowledge Discovery in Databases / Noboru Takagi ; Hiroaki Kikuchi ; Masao Mukaidono
Fuzzy Integral Based Fuzzy Switching Functions / Eiichiro Takahagi
First Steps Towards Computably-Infinite Information Systems / Peter Apostoli ; Akira Kanda ; Lech Polkowski
Data Structure and Operations for Fuzzy Multisets / Sadaaki Miyamoto
A Non-controversial Definition of Fuzzy Sets / Jaroslav Ramík ; Milan Vlach
Rough Mereology as a Link Between Rough and Fuzzy Set Theories. A Survey
Fuzzy Rough Sets Based on Residuated Lattices / Anna Maria Radzikowska ; Etienne E. Kerre
Semantics of Fuzzy Sets in Rough Set Theory / Yiyu Yao
A New Proposal for Fuzzy Rough Approximations and Gradual Decision Rule Representation / Masahiro Inuiguchi
Emergent Rough Set Data Analysis / Yasser Hassan ; Eiichiro Tazaki
Author Index
Feature Selection with Rough Sets for Web Page Classification / Aijun An ; Yanhui Huang ; Xiangji Huang ; Nick Cercone
On Learning Similarity Relations in Fuzzy Case-Based Reasoning / Eva Armengol ; Francesc Esteva ; Lluís Godo ; Vicenç Torra
Incremental versus Non-incremental Rule Induction for Multicriteria Classification / Salvatore Greco ; Roman Slowiński ; Jerzy Stefanowski ; Marcin Zurawski
Impacts of Security Protocols on Real-Time Multimedia Communications / Kihun Hong ; Souhwan Jung ; Luigi Lo Iacono ; Christoph Ruland
An Improvement on Privacy and Authentication in GSM / Young Jae Choi ; Soon Ja Kim
Encrypted Watermarks and Linux Laptop Security / Markku-Juhani O. Saarinen
Inconsistency Detection of Authorization Policies in Distributed Component Environment / Chang-Joo Moon ; Hoh Peter In
Public Key Schemes I
Custodian-Hiding Verifiable Encryption / Joseph K. Liu ; Victor K. Wei ; Duncan S. Wong
Proving Key Usage / Malek Bechlaghem ; Vincent Rijmen
Public Key Encryption with Conjunctive Field Keyword Search / Dong Jin Park ; Kihyun Kim ; Pil Joong Lee
Intrusion Detection I
A Probabilistic Method for Detecting Anomalous Program Behavior / Kohei Tatara ; Toshihiro Tabata ; Kouichi Sakurai
Service Discrimination and Audit File Reduction for Effective Intrusion Detection / Fernando Godínez ; Dieter Hutter ; Raúl Monroy
IDS False Alarm Filtering Using KNN Classifier / Kwok Ho Law ; Lam For Kwok
Watermarking/Anti-spamming
Content-Based Synchronization Using the Local Invariant Feature for Robust Watermarking / Hae-Yeoun Lee ; Jong-Tae Kim ; Heung-Kyu Lee ; Young-Ho Suh
Some Fitting of Naive Bayesian Spam Filtering for Japanese Environment / Manabu Iwanaga
Public Key Schemes II
Efficient Authenticated Key Agreement Protocol for Dynamic Groups / Kui Ren ; Hyunrok Lee ; Kwangjo Kim ; Taewhan Yoo
A Ring Signature Scheme Using Bilinear Pairings / Jing Xu ; Zhenfeng Zhang ; Dengguo Feng
Verifiable Pairing and Its Applications / Sherman S.M. Chow
Intrusion Detection II
Improving the Performance of Signature-Based Network Intrusion Detection Sensors by Multi-threading / Bart Haagdorens ; Tim Vermeiren ; Marnix Goossens
An Effective Placement of Detection Systems for Distributed Attack Detection in Large Scale Networks / Seok Bong Jeong ; Young Woo Choi ; Sehun Kim
Application of Content Computing in Honeyfarm / Yi-Yuan Huang ; Kwok-Yan Lam ; Siu-Leung Chung ; Chi-Hung Chi ; Jia-Guang Sun
Digital Rights Management
License Protection with a Tamper-Resistant Token / Cheun Ngen Chong ; Bin Ren ; Jeroen Doumen ; Sandro Etalle ; Pieter H. Hartel ; Ricardo Corin
An Adaptive Approach to Hardware Alteration for Digital Rights Management / Yinyan Yu ; Zhi Tang
Dynamic Fingerprinting over Broadcast Using Revocation Scheme / Mira Kim ; Kazukuni Kobara ; Hideki Imai
Practical Pay-TV Scheme Using Traitor Tracing Scheme for Multiple Channels / Chong Hee Kim ; Yong Ho Hwang
e-Commerce Security
Vulnerability of a Mobile Payment System Proposed at WISA 2002 / Sang Cheol Hwang ; Dong Hoon Lee ; Daewan Han ; Jae-Cheol Ryou
Fair Offline Payment Using Verifiable Encryption / Sangjin Kim ; Heekuck Oh
A Limited-Use Key Generation Scheme for Internet Transactions / Supakorn Kungpisdan ; Phu Dung Le ; Bala Srinivasan
Efficient Implementation
Efficient Representation and Software Implementation of Resilient Maiorana-McFarland S-boxes / Kishan Chand Gupta ; Palash Sarkar
Signed Digit Representation with NAF and Balanced Ternary Form and Efficient Exponentiation in GF(qn) Using a Gaussian Normal Basis of Type II / Soonhak Kwon
Hyperelliptic Curve Coprocessors on a FPGA / HoWon Kim ; Thomas Wollinger ; YongJe Choi ; KyoIl Chung ; Christof Paar
Anonymous Communication
Key-Exchange Protocol Using Pre-agreed Session-ID / Kenji Imamoto
A New k-Anonymous Message Transmission Protocol / Gang Yao
Onions Based on Universal Re-encryption - Anonymous Communication Immune Against Repetitive Attack / Marcin Gomulkiewicz ; Marek Klonowski ; Mirosław Kutyłowski
Side-Channel Attacks
Side Channel Cryptanalysis on SEED / HyungSo Yoo ; ChangKyun Kim ; JaeCheol Ha ; SangJae Moon ; IlHwan Park
Secure and Efficient AES Software Implementation for Smart Cards / Elena Trichina ; Lesya Korkishko
Practical Template Attacks / Christian Rechberger ; Elisabeth Oswald
Evaluation and Improvement of the Tempest Fonts / Hidema Tanaka ; Osamu Takizawa ; Akihiro Yamamura
Author Index
Network/Computer Security
Impacts of Security Protocols on Real-Time Multimedia Communications / Kihun Hong ; Souhwan Jung ; Luigi Lo Iacono ; Christoph Ruland
An Improvement on Privacy and Authentication in GSM / Young Jae Choi ; Soon Ja Kim