Last update:
Sat May 2 17:31:26 MDT 2020
Sarah Zelikovitz and
Haym Hirsh Integrating Background Knowledge into
Nearest-Neighbor Text Classification . . 1
Ian Watson Applying Knowledge Management:
Techniques for Building Organisational
Memories . . . . . . . . . . . . . . . . 6
Tsz-Chiu Au and
Héctor Muñoz-Avila and
Dana S. Nau On the Complexity of Plan Adaptation by
Derivational Analogy in a Universal
Classical Planning Framework . . . . . . 13
Joachim Baumeister and
Martin Atzmüller and
Frank Puppe Inductive Learning for Case-Based
Diagnosis with Multiple Faults . . . . . 28
Derek Bridge and
Alex Ferguson Diverse Product Recommendations Using an
Expressive Language for Case Retrieval 43
James D. Carswell and
David C. Wilson and
Michela Bertolotto Digital Image Similarity for Geo-spatial
Knowledge Management . . . . . . . . . . 58
Belén Díaz-Agudo and
Pablo Gervás and
Pedro A. González-Calero Poetry Generation in COLIBRI . . . . . . 73
Göran Falkman Adaptation Using Iterated Estimations 88
Göran Falkman The Use of a Uniform Declarative Model
in $3$D Visualisation for Case-Based
Reasoning . . . . . . . . . . . . . . . 103
Paulo Gomes and
Francisco C. Pereira and
Paulo Paiva and
Nuno Seco and
Paulo Carreiro and
José L. Ferreira and
Carlos Bento Experiments on Case-Based Retrieval of
Software Designs . . . . . . . . . . . . 118
Kalyan Moy Gupta and
David W. Aha and
Nabil Sandhu Exploiting Taxonomic and Causal
Relations in Conversational Case
Retrieval . . . . . . . . . . . . . . . 133
Daniel N. Hennessy and
Bruce G. Buchanan and
John M. Rosenberg Bayesian Case Reconstruction . . . . . . 148
Ioannis Iglezakis and
Thomas Reinartz Relations between Customer Requirements,
Performance Measures, and General Case
Properties for Case Base Maintenance . . 159
Martha Dòrum Jære and
Agnar Aamodt and
Pål Skalle Representing Temporal Knowledge for
Case-Based Prediction . . . . . . . . . 174
Boris Kerkez and
Michael T. Cox Local Predictions for Case-Based Plan
Recognition . . . . . . . . . . . . . . 189
David B. Leake and
Raja Sooriamurthi Automatically Selecting Strategies for
Multi-Case-Base Reasoning . . . . . . . 204
David McSherry Diversity-Conscious Retrieval . . . . . 219
Miquel Montaner and
Beatriz López and
Josep Lluís de la Rosa Improving Case Representation and Case
Base Maintenance in Recommender Agents 234
Babak Mougouie and
Ralph Bergmann Similarity Assessment for Generalizied
Cases by Optimization Methods . . . . . 249
Sasidhar Mukkamalla and
Héctor Muñoz-Avila Case Acquisition in a Project Planning
Environment . . . . . . . . . . . . . . 264
Derry O' Sullivan and
David Wilson and
Barry Smyth Improving Case-Based Recommendation: A
Collaborative Filtering Approach . . . . 278
David W. Patterson and
Niall Rooney and
Mykola Galushka Efficient Similarity Determination and
Case Construction Techniques for
Case-Based Reasoning . . . . . . . . . . 292
Enric Plaza and
Josep-Lluís Arcos Constructive Adaptation . . . . . . . . 306
Luigi Portinale and
Stefania Montani A Fuzzy Case Retrieval Approach Based on
SQL for Implementing Electronic Catalogs 321
Jim Prentzas and
Ioannis Hatzilygeroudis Integrating Hybrid Rule-Based with
Case-Based Reasoning . . . . . . . . . . 336
Magali Ruet and
Laurent Geneste Search and Adaptation in a Fuzzy Object
Oriented Case Base . . . . . . . . . . . 350
Maria Salamó and
Elisabet Golobardes Deleting and Building Sort Out
Techniques for Case Base Maintenance . . 365
Sascha Schmitt and
Philipp Dopichaj and
Patricia Domínguez-Marín Entropy-Based vs. Similarity-Influenced:
Attribute Selection Methods for Dialogs
Tested on Different Electronic Commerce
Domains . . . . . . . . . . . . . . . . 380
Mikael Sollenborn and
Peter Funk Category-Based Filtering and User
Stereotype Cases to Reduce the Latency
Problem in Recommender Systems . . . . . 395
Armin Stahl Defining Similarity Measures: Top-Down
vs. Bottom-Up . . . . . . . . . . . . . 406
Nirmalie Wiratunga and
Susan Craw and
Ray Rowe Learning to Adapt for Case-Based Design 421
Gabriele Zenobi and
Pádraig Cunningham An Approach to Aggregating Ensembles of
Lazy Learners That Supports Explanation 436
Lu Zhang and
Frans Coenen and
Paul Leng An Experimental Study of Increasing
Diversity for Case-Based Diagnosis . . . 448
Stefano Aguzzoli and
Paolo Avesani and
Paolo Massa Collaborative Case-Based Recommender
Systems . . . . . . . . . . . . . . . . 460
Stefania Bandini and
Sara Manzoni and
Carla Simone Tuning Production Processes through a
Case Based Reasoning Approach . . . . . 475
Massimo Barbera and
Cristina Barbero and
Paola Dal Zovo and
Fernanda Farinaccio and
Evangelos Gkroustiotis and
Sofoklis Kyriazakos and
Ivan Mura and
Gianluca Previti An Application of Case-Based Reasoning
to the Adaptive Management of Wireless
Networks . . . . . . . . . . . . . . . . 490
Lorcan Coyle and
Pádraig Cunningham and
Conor Hayes A Case-Based Personal Travel Assistant
for Elaborating User Requirements and
Assessing Offers . . . . . . . . . . . . 505
Florentino Fdez-Riverola and
Juan M. Corchado and
Jesús M. Torres An Automated Hybrid CBR System for
Forecasting . . . . . . . . . . . . . . 519
Paulo Gomes and
Francisco C. Pereira and
Paulo Paiva and
Nuno Seco and
Paulo Carreiro and
José L. Ferreira and
Carlos Bento Using CBR for Automation of Software
Design Patterns . . . . . . . . . . . . 534
Mahmoudreza Hejazi and
Kambiz Badie A New Approach to Solution Adaptation
and Its Application for Design Purposes 549
Deepak Khemani and
Radhika B. Selvamani and
Ananda Rabi Dhar and
S. M. Michael InfoFrax : CBR in Fused Cast Refractory
Manufacture . . . . . . . . . . . . . . 560
Lorraine Mc Ginty and
Barry Smyth Comparison-Based Recommendation . . . . 575
Sara Passone and
Paul W. H. Chung and
Vahid Nassehi Case-Based Reasoning for Estuarine Model
Design . . . . . . . . . . . . . . . . . 590
Petra Perner and
Horst Perner and
Bernd Müller Similarity Guided Learning of the Case
Description and Improvement of the
System Performance in an Image
Classification System . . . . . . . . . 604
Francesco Ricci and
Bora Arslan and
Nader Mirzadeh and
Adriano Venturini ITR: A Case-Based Travel Advisory System 613
Martin Schaaf and
Rainer Maximini and
Ralph Bergmann and
Carsten Tautz and
Ralph Traphöner Supporting Electronic Design Reuse by
Integrating Quality-Criteria into
CBR-Based IP Selection . . . . . . . . . 628
Xingwen Wang and
Anthony G. O. Yeh Building a Case-Based Decision Support
System for Land Development Control
Using Land Use Function Pattern . . . . 642
Anonymous Author Index . . . . . . . . . . . . . . 655
Michael J. Pazzani Commercial Applications of Machine
Learning for Personalized Wireless
Portals . . . . . . . . . . . . . . . . 1
Eduard Hovy Learning, Collecting, and Using
Ontological Knowledge for NLP . . . . . 6
Norman Y. Foo Hidden Variables in Knowledge
Representation . . . . . . . . . . . . . 7
Thomas Rist Intellimedia Systems: Research and
Applications at the Intersection of
Multimedia and Artificial Intelligence 9
Ryohei Nakatsu Integration of Multimedia and Art for
New Human-Computer Communications . . . 19
Yuyan Chao and
Norimitsu Kawana and
Lifeng He and
Tsuyoshi Nakamura and
Hidenori Itoh R-UNSEARCHMO: A Refinement on UNSEARCHMO 29
Takahiro Tagawa and
Jingde Cheng Deontic Relevant Logic: A Strong
Relevant Logic Approach to Removing
Paradoxes from Deontic Logic . . . . . . 39
Quoc Bao Vo and
Norman Y. Foo Solving the Ramification Problem: Causal
Propagation in an
Argumentation-Theoretic Approach . . . . 49
Yan Zhang and
Norman Y. Foo Representing Actions over Dynamic
Domains . . . . . . . . . . . . . . . . 60
Dongmo Zhang and
Samir Chopra and
Norman Y. Foo Consistency of Action Descriptions . . . 70
Kee-Eung Kim and
Thomas Dean Solving Factored MDPs with Large Action
Space Using Algebraic Decision Diagrams 80
Andrzej Buller Dynamic Fuzziness . . . . . . . . . . . 90
Ahlem Ben Hassine and
Khaled Ghédira Distributed Reinforcement of
Arc-Consistency . . . . . . . . . . . . 97
Wenhui Zhang and
Zhuo Huang and
Jian Zhang Parallel Execution of Stochastic Search
Procedures on Reduced SAT Instances . . 108
Yutaka Matsuo and
Mitsuru Ishizuka Two Transformations of Clauses into
Constraints and Their Properties for
Cost-Based Hypothetical Reasoning . . . 118
Noda Itsuki Hidden Markov Modeling for Multi-agent
Systems . . . . . . . . . . . . . . . . 128
Wayne Wobcke Modelling PRS-Like Agents' Mental States 138
Pinata Winoto Genetic Algorithm and Social Simulation 148
Boonserm Kijsirikul and
Nitiwut Ussivakul and
Surapant Meknavin Adaptive Directed Acyclic Graphs for
Multiclass Classification . . . . . . . 158
Hyunjin Lee and
Hyeyoung Park and
Yillbyung Lee Network Optimization through Learning
and Pruning in Neuromanifold . . . . . . 169
W. L. Tung and
C. Quek DIC: A Novel Discrete Incremental
Clustering Technique for the Derivation
of Fuzzy Membership Functions . . . . . 178
Akira Ito Application of Episodic Q-Learning to a
Multi-agent Cooperative Task . . . . . . 188
Taro Konda and
Tomohiro Yamaguchi LC-Learning: Phased Method for Average
Reward Reinforcement Learning ---
Analysis of Optimal Criteria - . . . . . 198
Taro Konda and
Shinjiro Tensyo and
Tomohiro Yamaguchi LC-Learning: Phased Method for Average
Reward Reinforcement Learning ---
Preliminary Results . . . . . . . . . . 208
Takuya Wada and
Tetsuya Yoshida and
Hiroshi Motoda and
Takashi Washio Extension of the RDR Method That Can
Adapt to Environmental Changes and
Acquire Knowledge from Both Experts and
Data . . . . . . . . . . . . . . . . . . 218
Keisei Fujiwara and
Tetsuya Yoshida and
Hiroshi Motoda and
Takashi Washio Case Generation Method for Constructing
an RDR Knowledge Base . . . . . . . . . 228
Defit Sarjon and
Noor Md Sap Mohd Association Rules Using Rough Set and
Association Rule Methods . . . . . . . . 238
Leigh J. Fitzgibbon and
David L. Dowe and
Lloyd Allison Change-Point Estimation Using New
Minimum Message Length Approximations 244
Takashi Matsuda and
Hiroshi Motoda and
Tetsuya Yoshida and
Takashi Washio Knowledge Discovery from Structured Data
by Beam-Wise Graph-Based Induction . . . 255
W. L. Tung and
C. Quek BackPOLE: Back Propagation Based on
Objective Learning Errors . . . . . . . 265
Tae-Seung Lee and
Ho-Jin Choi and
Young-Kil Kwag and
Byong-Won Hwang A Method on Improvement of the Online
Mode Error Backpropagation Algorithm for
Pattern Recognition . . . . . . . . . . 275
Hirotaka Inoue and
Hiroyuki Narihisa Optimizing a Multiple Classifier System 285
M. Arif and
T. Ishihara and
H. Inooka Generalization of Iterative Learning
Control for Multiple Desired
Trajectories in Robotic Systems . . . . 295
Takehisa Yairi and
Masahito Togami and
Koichi Hori Learning Topological Maps from
Sequential Observation and Action Data
under Partially Observable Environment 305
Kyungjoo Cheoi and
Yillbyung Lee A Saliency Map Model for Active
Perception Using Color Information and
Local Competitive Mechanism . . . . . . 315
Ken Endo and
Funinori Yamasaki and
Takashi Maeno and
Hiroaki Kitano Generation of Optimal Biped Walking for
Humanoid Robot by Co-evolving Morphology
and Controller . . . . . . . . . . . . . 325
Jeroen Valk and
Cees Witteveen Multi-agent Coordination in Planning . . 335
Yizhi Lao and
Hon Wai Leong A Multi-agent Based Approach to the
Inventory Routing Problem . . . . . . . 345
Zili Zhang and
Chengqi Zhang An Agent-Based Hybrid Intelligent System
for Financial Investment Planning . . . 355
Henry Hexmoor and
Xin Zhang Socially Intelligent Aerial Combat
Simulator . . . . . . . . . . . . . . . 365
Kyu-Baek Hwang and
Jae Won Lee and
Seung-Woo Chung and
Byoung-Tak Zhang Construction of Large-Scale Bayesian
Networks by Local to Global Search . . . 375
Jung-Wook Bang and
Duncan Gillies Using Bayesian Networks with Hidden
Nodes to Recognise Neural Cell
Morphology . . . . . . . . . . . . . . . 385
Hung-Ju Huang and
Chun-Nan Hsu Recognizing 100 Speakers Using
Homologous Naive Bayes . . . . . . . . . 395
Akiko Aizawa An Approach to Microscopic Clustering of
Terms and Documents . . . . . . . . . . 404
Sang-Bum Kim and
Hae-Chang Rim and
DongSuk Yook and
Heui-Seok Lim Effective Methods for Improving Naive
Bayes Text Classifiers . . . . . . . . . 414
Patrick Pantel and
Dekang Lin Efficiently Clustering Documents with
Committees . . . . . . . . . . . . . . . 424
Jeong-Ho Chang and
Jae Won Lee and
Yuseop Kim and
Byoung-Tak Zhang Topic Extraction from Text Documents
Using Multiple-Cause Networks . . . . . 434
Kang Hyuk Lee and
Judy Kay and
Byeong Ho Kang and
Uwe Rosebrock A Comparative Study on Statistical
Machine Learning Algorithms and
Thresholding Strategies for Automatic
Text Categorization . . . . . . . . . . 444
Jae Won Lee and
Sung-Dong Kim PATI: An Approach for Identifying and
Resolving Ambiguities . . . . . . . . . 454
Sebon Ku and
Bogju Lee and
Eunyong Ha Extracting User Profiles from E-mails
Using the Set-Oriented Classifier . . . 463
Jaeyoung Yang and
Jungsun Kim and
Kyoung-Goo Doh and
Joongmin Choi Wrapper Generation by Using XML-Based
Domain Knowledge for Intelligent
Information Extraction . . . . . . . . . 472
Hajime Kitakami and
Tomoki Kanbara and
Yasuma Mori and
Susumu Kuroki and
Yukiko Yamazaki Modified PrefixSpan Method for Motif
Discovery in Sequence Databases . . . . 482
Konstantinos Karasavvas and
Albert Burger and
Richard Baldock A Multi-agent Bioinformatics Integration
System with Adjustable Autonomy . . . . 492
Rhodora L. Reyes and
Raymund C. Sison Using Case-Based Reasoning Approach in
Planning Instructional Activities . . . 502
Tiffany Y. Tang and
Keith C. Chan Feature Construction for Student Group
Forming Based on Their Browsing
Behaviors in an E-learning System . . . 512
Chong-woo Woo and
Jin-woo Choi Web-Based Tutoring System for Computer
Security . . . . . . . . . . . . . . . . 522
Jaepil Ko and
Eunju Kim and
Hyeran Byun A Simple Illumination Normalization
Algorithm for Face Recognition . . . . . 532
Paul Robertson and
Robert Laddaga A Self-Adaptive Architecture and Its
Application to Robust Face
Identification . . . . . . . . . . . . . 542
Hiroshi G. Okuno and
Kazuhiro Nakadai and
Hiroaki Kitano Realizing Audio-Visually Triggered
ELIZA-Like Non-verbal Behaviors . . . . 552
Soonkyu Lee and
Dongsuk Yook Audio-to-Visual Conversion Using Hidden
Markov Models . . . . . . . . . . . . . 563
Helmut Prendinger and
Sylvain Descamps and
Mitsuru Ishizuka Scripting the Bodies and Minds of
Life-Like Characters . . . . . . . . . . 571
Penny Baillie and
Dickson Lukose An Affective Decision Making Agent
Architecture Using Emotion Appraisals 581
Hisashi Hayashi and
Kenta Cho and
Akihiko Ohsuga Logic Programming for Agents . . . . . . 591
Marie Piron and
Alain Cardon and
Christophe Cambier Evolutionary Multi-agents System for
Prediction of Social Behavior in Large
Cities . . . . . . . . . . . . . . . . . 592
Elhadi Shakshuki and
Trang Dang Agent-Based Cooperative Distributed
Tutoring Systems . . . . . . . . . . . . 594
Ruediger Oehlmann A Computational Model of Reasoning as
Socially-Constructed Process . . . . . . 595
Ken Taniguchi and
Setsuya Kurahashi and
Takao Terano Managing Information Complexity of
Supply Chains via Agent-Based Genetic
Programming . . . . . . . . . . . . . . 596
Noriaki Izumi and
Takahira Yamaguchi Semantic Integration of E-business
Models Based on Multi-layered Repository 597
Henry E. Kyburg and
Choh Man Teng Randomization and Uncertain Inference 598
Kyung-Joong Kim and
Sung-Bae Cho Checkers Strategy Evolution with
Speciated Neural Networks . . . . . . . 599
Zbigniew \'Swi\catnicki and
Vladimír Olej Generation and Optimization of Fuzzy
Neural Network Structure . . . . . . . . 600
W. L. Tung and
C. Quek FuzzyDrive: A Fuzzy Rule-Based Auto
Pilot System . . . . . . . . . . . . . . 601
Ghassan Beydoun and
Lina Al-Jadir Implementing NRDR Using OO Database
Management System (OODBMS) . . . . . . . 602
Rex B. H. Kwok Using Ripple Down Rules for Actions and
Planning . . . . . . . . . . . . . . . . 604
Stefan Diaconescu A Generative Dependency Grammar . . . . 605
Mohammad Teduh Uliniansyah and
Shun Ishizaki and
Kiyoko Uchiyama Indonesian Morphological Parser with
Minimum Connectivity Cost to Solve
Ambiguities . . . . . . . . . . . . . . 606
Yuseop Kim and
Jeong-Ho Chang and
Byoung-Tak Zhang Target Word Selection Using WordNet and
Data-Driven Models in Machine
Translation . . . . . . . . . . . . . . 607
Ichiro Kobayashi and
Michiaki Iwazume and
Shino Iwashita and
Toru Sugimoto and
Michio Sugeno A Study on Using Natural Language as a
Computer Communication Protocol . . . . 608
Naohiro Matsumura and
Yukio Ohsawa and
Mitsuru Ishizuka Automatic Indexing Based on Term
Activities . . . . . . . . . . . . . . . 609
Kyung-Soon Lee and
Jae-Ho Kim and
Key-Sun Choi Answer Extraction by Flexible Matching,
Filtering, and Interpretation . . . . . 610
Kwanyong Lee and
Hyeyoung Park A Statistical Identification and
Verification Method for Biometrics . . . 611
Masahiro Araki and
Kiyoshi Ueda and
Masashi Akita and
Takuya Nishimoto and
Yasuhisa Niimi Proposal of a Multimodal Dialogue
Description Language . . . . . . . . . . 612
Keiji Yanai Image Classification by Web Images . . . 613
Chang-Woo Lee and
Yeon-Chul Lee and
Sang-Yong Bak and
Hang-Joon Kim Real-Time Face Detection and Tracking
Using PCA and NN . . . . . . . . . . . . 615
Nicolas Bredeche and
Jean-Daniel Zucker and
Yann Chevaleyre A Wrapper-Based Approach to Robot
Learning Concepts from Images . . . . . 616
Hyuk-Jang Park and
Sung-Bae Cho An Effective HMM-Based Intrusion
Detection System with Privilege Change
Event Modeling . . . . . . . . . . . . . 617
Tae-Seung Lee and
Ho-Jin Choi and
Seung-Hoe Choi and
Byong-Won Hwang A Method on Improving of Enrolling Speed
for the MLP-Based Speaker Verification
System through Reducing Learning Data 619
Thomas Meyer and
Aditya Ghose and
Samir Chopra Syntactic Representations of Semantic
Merging Operations . . . . . . . . . . . 620
Anonymous Author Index . . . . . . . . . . . . . . 621
Changxuan Wan and
Yunsheng Liu Efficient Supporting XML Query and
Keyword Search in Relational Database
Systems . . . . . . . . . . . . . . . . 1
Jianhua Lv and
Guoren Wang and
Jeffrey X. Yu and
Ge Yu and
Hongjun Lu and
Bing Sun Performance Evaluation of a DOM-Based
XML Database: Storage, Indexing and
Query Optimization . . . . . . . . . . . 13
Shihui Zheng and
Aoying Zhou and
Jeffrey Xu Yu and
Long Zhang and
Han Tao Structural Map: A New Index for
Efficient XML Path Expression Processing 25
Erlend Tòssebro and
Mads Nygård An Advanced Discrete Model for Uncertain
Spatial Data . . . . . . . . . . . . . . 37
Choon-Bo Shim and
Jae-Woo Chang A Spatio-Temporal Representation Scheme
for Content- and Semantic-Based Video
Retrieval on Moving Objects'
Trajectories . . . . . . . . . . . . . . 52
Joon-Hee Kwon and
Yong-Ik Yoon Efficient Access Technique Using
Levelized Data in Web-Based GIS . . . . 64
Shengfei Shi and
Jianzhong Li and
Chaokun Wang Using PR-Tree and HPIR to Manage
Coherence of Semantic Cache for Location
Dependent Data in Mobile Database . . . 72
Xiu-li Ma and
Shi-wei Tang and
Dong-qing Yang and
Xiao-ping Du Towards Efficient Re-mining of Frequent
Patterns upon Threshold Changes . . . . 80
Jie Zuo and
Changjie Tang and
Tianqing Zhang Mining Predicate Association Rule by
Gene Expression Programming . . . . . . 92
Jianzhong Chen and
Mary Shapcott and
Sally McClean and
Kenny Adamson Learning with Concept Hierarchies in
Probabilistic Relational Data Mining . . 104
Aoying Zhou and
Xiong Fang and
Weining Qian An Empirical Study of Learning-Based Web
Search . . . . . . . . . . . . . . . . . 116
Zengyou He and
Shengchun Deng and
Xiaofei Xu Outlier Detection Integrating Semantic
Knowledge . . . . . . . . . . . . . . . 126
Liping Ma and
John Shepherd and
Yanchun Zhang Extracting Information from
Semistructured Data . . . . . . . . . . 132
Wilfred Ng Maintaining Consistency of Integrated
XML Trees . . . . . . . . . . . . . . . 145
Qingqing Yuan and
Yubo Lou and
Haofeng Zhou and
Wei Wang and
Baile Shi Extract Frequent Pattern from Simple
Graph Data . . . . . . . . . . . . . . . 158
Peng Xu and
Wenjun Yang and
Kehong Wang XML-Based Data Rendering Engine for
Content Management System . . . . . . . 170
Kang Chen and
Weimin Zheng and
Xiatie Deng and
Haodi Feng and
Shanfeng Zhu Text Distinguishers Used in an
Interactive Meta Search Engine . . . . . 181
Jian Cao and
Shensheng Zhang and
Xiaoguang Zhang Team Work Oriented Flexible Workflow
Management System . . . . . . . . . . . 189
Akhil Kumar and
J. Leon Zhao EROICA: A Rule-Based Approach to
Organizational Policy Management in
Workflow Systems . . . . . . . . . . . . 201
Kwang-Hoon Kim and
In-Soo Kim The Admon-Time Workflow Client: Why Do
We Need the Third Type of Workflow
Client Designated for Administration and
Monitoring Services? . . . . . . . . . . 213
Matthias Wagner and
Werner Kießling and
Wolf-Tilo Balke Progressive Content Delivery for Mobile
E-services . . . . . . . . . . . . . . . 225
Junko Tanoue and
Noboru Matoba and
Masatoshi Yoshikawa and
Shunsuke Uemura GeneAround: A Browsing System for Gene
Annotation Using XML Technologies . . . 236
Chi-Hon Choi and
Jeffrey Xu Yu and
Gang Gou What Difference Heuristics Make:
Maintenance-Cost View-Selection
Revisited . . . . . . . . . . . . . . . 247
Enrique Medina and
Juan Trujillo Representing Conceptual Multidimensional
Properties Using the Common Warehouse
Metamodel (CWM) . . . . . . . . . . . . 259
Jianhua Feng and
Li Chao and
Xudong Jiang and
Lizhu Zhou OLAP Query Processing Algorithm Based on
Relational Storage . . . . . . . . . . . 271
Lixin Fu Querying and Clustering Very Large Data
Sets Using Dynamic Bucketing Approach 279
Jae-Woo Chang CBCM: A Cell-Based Clustering Method for
Data Mining Applications . . . . . . . . 291
Hanxiong Chen and
Jiyuan An and
Kazutaka Furuse and
Nobuo Ohbo C$^2$ VA: Trim High Dimensional Indexes 303
Xiaoyu Wang and
Zhiguo Lu and
Aoying Zhou Topic Exploration and Distillation for
Web Search by a Similarity-Based
Analysis . . . . . . . . . . . . . . . . 316
Jean-Loup Guillaume and
Matthieu Latapy and
Laurent Viennot Efficient and Simple Encodings for the
Web Graph . . . . . . . . . . . . . . . 328
Song Hui and
Zhang Ling and
Ye Yunming and
Ma Fanyuan Object-Extraction-Based Hidden Web
Information Retrieval . . . . . . . . . 338
Chen Ding and
Chi-Hung Chi and
Tiejian Luo An Improved Usage-Based Ranking . . . . 346
Qing Zhang and
Xuemin Lin On Linear-Spline Based Histograms . . . 354
Tran Khanh Dang and
Josef Küng and
Roland Wagner A General and Efficient Approach for
Solving Nearest Neighbor Problem in the
Vague Query System . . . . . . . . . . . 367
Kelvin Lau and
Yiu-Kai Ng A Client-Based Web-Cache Management
System . . . . . . . . . . . . . . . . . 379
Sang-Kyun Kim and
Myungcheol Lee and
Kyu-Chul Lee Immediate and Partial Validation
Mechanism for the Conflict Resolution of
Update Operations in XML Databases . . . 387
YunSheng Liu and
GuoQiong Liao and
GuoHui Li and
JiaLi Xia Relaxed Atomic Commit for Real-Time
Transactions in Mobile Computing
Environment . . . . . . . . . . . . . . 397
Zhenggui Xiang and
Tianxiang Yao and
Jiang Li and
Keman Yu Real-Time Facial Patterns Mining and
Emotion Tracking . . . . . . . . . . . . 409
Gongde Guo and
Hui Wang and
David Bell Data Reduction and Noise Filtering for
Predicting Times Series . . . . . . . . 421
Xianfeng Zhao and
Weinong Wang and
Kefei Chen Exploiting the Intrinsic Irreversibility
of Adaptive Technologies to Enhance the
Security of Digital Watermarking . . . . 430
Yasuhito Asano and
Hiroshi Imai and
Masashi Toyoda and
Masaru Kitsuregawa Web-Linkage Viewer: Finding Graph
Structures in the Web . . . . . . . . . 441
JinShui Chen and
Yan Tu GDWFMS: A Workflow System for Submitting
Graphs and Documents . . . . . . . . . . 443
Anonymous Author Index . . . . . . . . . . . . . . 445
David Aspinall and
Donald Sannella From Specifications to Code in CASL . . 1
Igor Walukiewicz Automata and Games for Synthesis . . . . 15
Peter D. Mosses Pragmatics of Modular SOS . . . . . . . 21
Gilles Barthe and
Pierre Courtieu and
Guillaume Dufay and
Simão Melo de Sousa Tool-Assisted Specification and
Verification of the JavaCard Platform 41
Dale Miller Higher-Order Quantification and Proof
Search . . . . . . . . . . . . . . . . . 60
José Luiz Fiadeiro Algebraic Support for Service-Oriented
Architecture (Extended Abstract) . . . . 75
Christian Haack and
Brian Howard and
Allen Stoughton and
Joe B. Wells Fully Automatic Adaptation of Software
Components Based on Semantic
Specifications . . . . . . . . . . . . . 83
Lutz Schröder and
Till Mossakowski HASCASL: Towards Integrated
Specification and Development of
Functional Programs . . . . . . . . . . 99
María Alpuente and
Santiago Escobar and
Salvador Lucas Removing Redundant Arguments of
Functions . . . . . . . . . . . . . . . 117
Michaël Adéla\"\ide and
Olivier Roux A Class of Decidable Parametric Hybrid
Systems . . . . . . . . . . . . . . . . 132
Yifei Dong and
Beata Sarna-Starosta and
C. R. Ramakrishnan and
Scott A. Smolka Vacuity Checking in the Modal
Mu-Calculus . . . . . . . . . . . . . . 147
Samuel Hornus and
Philippe Schnoebelen On Solving Temporal Logic Queries . . . 163
Guangyuan Guo and
Ryszard Janicki Modelling Concurrent Behaviours by
Commutativity and Weak Causality
Relations . . . . . . . . . . . . . . . 178
Raymond Devillers and
Hanna Klaudel and
Maciej Koutny and
Franck Pommereau An Algebra of Non-safe Petri Boxes . . . 192
Irek Ulidowski Refusal Simulation and Interactive Games 208
Prasannaa Thati and
Reza Ziaei and
Gul Agha A Theory of May Testing for Asynchronous
Calculi with Locality and No Name
Matching . . . . . . . . . . . . . . . . 223
Luca Aceto and
Zoltán Ésik and
Anna Ingólfsdóttir Equational Axioms for Probabilistic
Bisimilarity . . . . . . . . . . . . . . 239
Paolo Baldan and
Andrea Bracciali and
Roberto Bruni Bisimulation by Unification . . . . . . 254
Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi Transforming Processes to Check and
Ensure Information Flow Security . . . . 271
Johannes Borgström and
Uwe Nestmann On Bisimulations for the Spi Calculus 287
Cees-Bart Breunesse and
Bart Jacobs and
Joachim van den Berg Specifying and Verifying a Decimal
Representation in Java for Smart Cards 304
Dominik Haneberg and
Wolfgang Reif and
Kurt Stenzel A Method for Secure Smartcard
Applications . . . . . . . . . . . . . . 319
Anonymous Author Index . . . . . . . . . . . . . . 321
Kerry Trentelman and
Marieke Huisman Extending JML Specifications with
Temporal Logic . . . . . . . . . . . . . 334
Robert Giegerich and
Carsten Meyer Algebraic Dynamic Programming . . . . . 349
Axel Simon and
Andy King Analyzing String Buffers in C . . . . . 365
Patricia M. Hill and
Fausto Spoto A Foundation of Escape Analysis . . . . 380
John G. Stell A Framework for Order-Sorted Algebra . . 396
Dusko Pavlovic and
Douglas R. Smith Guarded Transitions in Evolving
Specifications . . . . . . . . . . . . . 411
Antónia Lopes and
José Luiz Fiadeiro Revisiting the Categorical Approach to
Systems . . . . . . . . . . . . . . . . 426
Axel Schairer and
Dieter Hutter Proof Transformations for Evolutionary
Formal Software Development . . . . . . 441
Mats Skoglund Sharing Objects by Read-Only References 457
Bernhard Reus Class-Based versus Object-Based: A
Denotational Comparison . . . . . . . . 473
Tatiana Rybina and
Andrei Voronkov \em BRAIN: Backward Reachability
Analysis with Integers . . . . . . . . . 489
Serge Autexier and
Dieter Hutter and
Till Mossakowski and
Axel Schairer The Development Graph Manager MAYA . . . 495
Elisa Barney Smith and
Xiaohui Qiu Relating Statistical Image Differences
and Degradation Features . . . . . . . . 1
D. Dhanya and
A. G. Ramakrishnan Script Identification in Printed
Bilingual Documents . . . . . . . . . . 13
D. Dhanya and
A. G. Ramakrishnan Optimal Feature Extraction for Bilingual
OCR . . . . . . . . . . . . . . . . . . 25
B. Vijay Kumar and
A. G. Ramakrishnan Machine Recognition of Printed Kannada
Text . . . . . . . . . . . . . . . . . . 37
Stefano Vezzosi and
Luigi Bedini and
Anna Tonazzini An Integrated System for the Analysis
and the Recognition of Characters in
Ancient Documents . . . . . . . . . . . 49
K. G. Aparna and
A. G. Ramakrishnan A Complete Tamil Optical Character
Recognition System . . . . . . . . . . . 53
José Eduardo Bastos Dos Santos and
Bernard Dubuisson and
Flávio Bortolozzi Distinguishing between Handwritten and
Machine Printed Text in Bank Cheque
Images . . . . . . . . . . . . . . . . . 58
Katsuhiko Ueda and
Ken'ichi Matsuo Multi-expert Seal Imprint Verification
System for Bankcheck Processing . . . . 62
Nabeel Murshed Automatic Reading of Traffic Tickets . . 66
Hanhong Xue and
Venu Govindaraju A Stochastic Model Combining Discrete
Symbols and Continuous Attributes and
Its Application to Handwriting
Recognition . . . . . . . . . . . . . . 70
Eiki Ishidera and
Simon M. Lucas and
Andrew C. Downton Top-Down Likelihood Word Image
Generation Model for Holistic Word
Recognition . . . . . . . . . . . . . . 82
Yefeng Zheng and
Huiping Li and
David Doermann The Segmentation and Identification of
Handwriting in Noisy Document Images . . 95
Ondrej Velek and
Masaki Nakagawa The Impact of Large Training Sets on the
Recognition Rate of Offline Japanese
Kanji Character Classifiers . . . . . . 106
Sungho Ryu and
Jin-Hyung Kim Automatic Completion of Korean Words for
Open Vocabulary Pen Interface . . . . . 111
Ondrej Velek and
Masaki Nakagawa Using Stroke-Number-Characteristics for
Improving Efficiency of Combined Online
and Offline Japanese Character
Classifiers . . . . . . . . . . . . . . 115
Eugene Bodansky and
Alexander Gribov Closing Gaps of Discontinuous Lines: A
New Criterion for Choosing the Best
Prolongation . . . . . . . . . . . . . . 119
Sriharsha Veeramachaneni and
George Nagy Classifier Adaptation with
Non-representative Training Data . . . . 123
Hiroaki Takebe and
Koji Kurokawa and
Yutaka Katsuyama and
Satoshi Naoi A Learning Pseudo Bayes Discriminant
Method Based on Difference Distribution
of Feature Vectors . . . . . . . . . . . 134
L. Bovino and
G. Dimauro and
S. Impedovo and
G. Pirlo and
A. Salzo Increasing the Number of Classifiers in
Multi-classifier Systems: A
Complementarity-Based Analysis . . . . . 145
G. Dimauro and
S. Impedovo and
M. G. Lucchese and
G. Pirlo and
A. Salzo Discovering Rules for Dynamic
Configuration of Multi-classifier
Systems . . . . . . . . . . . . . . . . 157
A. F. R. Rahman and
H. Alam and
M. C. Fairhurst Multiple Classifier Combination for
Character Recognition: Revisiting the
Majority Voting System and Its
Variations . . . . . . . . . . . . . . . 167
A. Lawrence Spitz Correcting for Variable Skew . . . . . . 179
Thomas M. Breuel Two Geometric Algorithms for Layout
Analysis . . . . . . . . . . . . . . . . 188
Karl Tombre and
Salvatore Tabbone and
Lo\"\ic Pélissier and
Bart Lamiroy and
Philippe Dosch Text/Graphics Separation Revisited . . . 200
Yalin Wang and
Ihsin T. Phillips and
Robert M. Haralick A Study on the Document Zone Content
Classification Problem . . . . . . . . . 212
Jian Liang and
David Doermann Logical Labeling of Document Images
Using Layout Graph Matching with
Adaptive Learning . . . . . . . . . . . 224
A. Antonacopoulos and
H. Meng A Ground-Truthing Tool for Layout
Analysis Performance Evaluation . . . . 236
Aimamorn Suvichakorn and
Sarin Watcharabusaracum and
Wasin Sinthupinyo Simple Layout Segmentation of Gray-Scale
Document Images . . . . . . . . . . . . 245
Yalin Wang and
Jianying Hu Detecting Tables in HTML Documents . . . 249
Hiroshi Sako and
Naohiro Furukawa and
Masakazu Fujio and
Shigeru Watanabe Document-Form Identification Using
Constellation Matching of Keywords
Abstracted by Character Recognition . . 261
Yalin Wang and
Ihsin T. Phillips and
Robert M. Haralick Table Detection via Probability
Optimization . . . . . . . . . . . . . . 272
Akira Amano and
Naoki Asada Complex Table Form Analysis Using Graph
Grammar . . . . . . . . . . . . . . . . 283
Saleh Alrashed and
W. A. Gray Detection Approaches for Table Semantics
in Text . . . . . . . . . . . . . . . . 287
Howard Wasserman and
Keitaro Yukawa and
Bon Sy and
Kui-Lam Kwok and
Ihsin T. Phillips A Theoretical Foundation and a Method
for Document Table Structure Extraction
and Decompositon . . . . . . . . . . . . 291
A. Antonacopoulos and
D. Karatzas Fuzzy Segmentation of Characters in Web
Images Based on Human Colour Perception 295
Poh Kok Loo and
Chew Lim Tan Word and Sentence Extraction Using
Irregular Pyramid . . . . . . . . . . . 307
Yue Lu and
Chew Lim Tan Word Searching in Document Images Using
Word Portion Matching . . . . . . . . . 319
Hye-Ran Byun and
Myung-Cheol Roh and
Kil-Cheon Kim and
Yeong-Woo Choi and
Seong-Whan Lee Scene Text Extraction in Complex Images 329
Hyeran Byun and
Inyoung Jang and
Yeongwoo Choi Text Extraction in Digital News Video
Using Morphology . . . . . . . . . . . . 341
Francesca Cesarini and
Simone Marinai and
Giovanni Soda Retrieval by Layout Similarity of
Documents Represented with MXY Trees . . 353
Qing H. Liu and
Chew L. Tan Automatic Indexing of Newspaper
Microfilm Images . . . . . . . . . . . . 365
Stefan Klink and
Armin Hust and
Markus Junker and
Andreas Dengel Improving Document Retrieval by
Automatic Query Expansion Using
Collaborative Learning of Term-Based
Concepts . . . . . . . . . . . . . . . . 376
Koichi Kise and
Masaaki Tsujino and
Keinosuke Matsumoto Spotting Where to Read on Pages ---
Retrieval of Relevant Parts from Page
Images . . . . . . . . . . . . . . . . . 388
Andreas Schmidt and
Markus Junker Mining Documents for Complex Semantic
Relations by the Use of Context
Classification . . . . . . . . . . . . . 400
Kazem Taghva and
Jeffrey Coombs Hairetes: A Search Engine for OCR
Documents . . . . . . . . . . . . . . . 412
George R. Thoma and
Glenn Ford and
Daniel Le and
Zhirong Li Text Verification in an Automated System
for the Extraction of Bibliographic Data 423
Andreas R. Dengel and
Bertin Klein \em smartFIX: A Requirements-Driven
System for Document Analysis and
Understanding . . . . . . . . . . . . . 433
Andrew D. Bagdanov and
Marcel Worring Multi-scale Document Description Using
Rectangular Granulometries . . . . . . . 445
Janusz Wnek Machine Learning of Generalized Document
Templates for Data Extraction . . . . . 457
Karim Hadjar and
Oliver Hitz and
Lyse Robadey and
Rolf Ingold Configuration REcognition Model for
Complex Reverse Engineering Methods:
2(CREM) . . . . . . . . . . . . . . . . 469
Artem Mikheev and
Luc Vincent and
Mike Hawrylycz and
Léon Bottou Electronic Document Publishing Using
DjVu . . . . . . . . . . . . . . . . . . 480
L. Cinque and
S. Levialdi and
A. Malizia and
F. De Rosa DAN: An Automatic Segmentation and
Classification Engine for Paper
Documents . . . . . . . . . . . . . . . 491
Kyong-Ho Lee and
Yoon-Chul Choy and
Sung-Bae Cho and
Xiao Tang and
Victor McCrary Document Reverse Engineering: From Paper
to XML . . . . . . . . . . . . . . . . . 503
Henry S. Baird and
Kris Popat Human Interactive Proofs and Document
Image Analysis . . . . . . . . . . . . . 507
Leon Todoran and
Marcel Worring and
Arnold W. M. Smeulders Data GroundTruth, Complexity, and
Evaluation Measures for Color Document
Analysis . . . . . . . . . . . . . . . . 519
Daniel Lopresti Exploiting WWW Resources in Experimental
Document Analysis Research . . . . . . . 532
A. Antonacopoulos and
D. P. Kennedy An Automated Tachograph Chart Analysis
System . . . . . . . . . . . . . . . . . 544
Ashutosh Morde and
Ramanujan S. Kashi and
Michael K. Brown and
Deborah Grove and
James L. Flanagan A Multimodal System for Accessing
Driving Directions . . . . . . . . . . . 556
Anonymous Author Index . . . . . . . . . . . . . . 569
Rose Dieng Corporate Semantic Webs . . . . . . . . 1
Yves Pigneur A Framework for Defining E-business
Models . . . . . . . . . . . . . . . . . 2
Pierre Sabloni\`ere GRID in E-business . . . . . . . . . . . 4
Yingxu Wang The Latest Development on Cognitive
Informatics . . . . . . . . . . . . . . 5
Christos K. K. Loverdos and
Kostas Saidis and
Anya Sotiropoulou and
Dimitrios Theotokis Pluggable Services for Tailorable
E-content Delivery . . . . . . . . . . . 6
Dimitris Gouscos and
Stathis Rouvas and
Costas Vassilakis and
Panagiotis Georgiadis An Object-Oriented Approach for
Designing Administrative E-forms and
Transactional E-services . . . . . . . . 19
Costas Calcanis and
Dilip Patel and
Shushma Patel Trust Objects in Electronic Commerce
Transactions . . . . . . . . . . . . . . 31
Piotr Habela and
Kazimierz Subieta OODBMS Metamodel Supporting
Configuration Management of Large
Applications . . . . . . . . . . . . . . 40
Mark Roantree and
Kazimierz Subieta Generic Applications for Object-Oriented
Databases . . . . . . . . . . . . . . . 53
Sandra de F. Mendes Sampaio and
Norman W. Paton and
Jim Smith and
Paul Watson Validated Cost Models for Parallel OQL
Query Processing . . . . . . . . . . . . 60
José Martinez and
Rania Lutfi and
Marc Gelgon An Object-Oriented Schema for Querying
Audio . . . . . . . . . . . . . . . . . 76
Brendan Haire and
David Lowe and
Brian Henderson-Sellers Supporting Web Development in the OPEN
Process: Additional Roles and Techniques 82
Hyon Hee Kim and
Seung Soo Park Semantic Integration of Heterogeneous
XML Data Sources . . . . . . . . . . . . 95
Lina Al-Jadir and
Fatmé El-Moukaddem F2/XML: Storing XML Documents in Object
Databases . . . . . . . . . . . . . . . 108
Juan Cappi and
Gustavo Rossi and
Andres Fortier Customization Policies Need more than
Rule Objects . . . . . . . . . . . . . . 117
Rébecca Deneck\`ere Using Meta-patterns to Construct
Patterns . . . . . . . . . . . . . . . . 124
Agn\`es Conte and
Mounia Fredj and
Ibtissem Hassine and
Jean-Pierre Giraudin and
Dominique Rieu A Tool and a Formalism to Design and
Apply Patterns . . . . . . . . . . . . . 135
Guilaine Talens and
Isabelle Dedun and
Danielle Boulanger A Support System for Reuse Knowledge
Components . . . . . . . . . . . . . . . 147
Javier Garzás and
Mario Piattini Object Oriented Design Knowledge:
Ontology and Measurement of Impact . . . 153
Ludwik Kuzniarz and
Miroslaw Staron Generating Domain Models from Ontologies 160
Michel Sala and
Pierre Pompidor and
Dani\`ele Hérin A Framework to Review Complex
Experimental Knowledge . . . . . . . . . 167
Pedro Sánchez and
Patricio Letelier and
Juan A. Pastor and
Juan A. Ortega A Framework to Translate UML Class
Generalization into Java Code . . . . . 173
Geri Georg and
Robert France UML Aspect Specification Using Role
Models . . . . . . . . . . . . . . . . . 186
Jernej Kovse and
Theo Härder Generic XMI-Based UML Model
Transformations . . . . . . . . . . . . 192
Axel Uhl and
Horst Lichter A UML Variant for Modeling System
Searchability . . . . . . . . . . . . . 199
Camille Salinesi and
Jaana Wäyrynen A Methodological Framework for
Understanding IS Adaptation through
Enterprise Change1 . . . . . . . . . . . 211
Isabelle Mirbel and
Violaine de Rivieres Adapting Analysis and Design to Software
Context: The JECKO Approach . . . . . . 223
M. K. Serour and
B. Henderson-Sellers and
J. Hughes and
D. Winder and
L. Chow Organizational Transition to Object
Technology: Theory and Practice . . . . 229
Walter Cazzola and
Ahmed Ghoneim and
Gunter Saake Reflective Analysis and Design for
Adapting Object Run-Time Behavior . . . 242
Ying Liang Generation of Object Models for
Information Systems from Business System
Models . . . . . . . . . . . . . . . . . 255
M. J. Escalona and
J. Torres and
M. Mejías Requirements Capture Workflow in Global
Information Systems . . . . . . . . . . 267
Johan Fabry Supporting Development of Enterprise
JavaBeans through Declarative Meta
Programming . . . . . . . . . . . . . . 280
Carla Osthoff and
Cristiana Bentes and
Daniel Ariosto and
Marta Mattoso and
Claudio L. Amorim Evaluating the DSMIO Cache-Coherence
Algorithm in Cluster-Based Parallel
ODBMS . . . . . . . . . . . . . . . . . 286
Hironori Washizaki and
Yoshiaki Fukazawa A Retrieval Technique for Software
Components Using Directed Replaceability
Similarity . . . . . . . . . . . . . . . 298
Peter Bielkowicz and
Preeti Patel and
Thein Than Tun Evaluating Information Systems
Development Methods: A New Framework . . 311
Daniel Hagimont and
Noël De Palma Non-functional Capability-Based Access
Control in the Java Environment . . . . 323
Yingxu Wang and
Graham King A European COTS Architecture with
Built-in Tests . . . . . . . . . . . . . 336
Mohammed Benattou and
Jean-Michel Bruel Active Objects for Coordination in
Distributed Testing . . . . . . . . . . 348
Bent Bruun Kristensen Associative Modeling and Programming . . 358
Marcela Genero and
Luis Jiménez and
Mario Piattini A Controlled Experiment for Validating
Class Diagram Structural Complexity
Metrics . . . . . . . . . . . . . . . . 372
Michael Goedicke and
Klaus Pohl and
Uwe Zdun Domain-Specific Runtime Variability in
Product Line Architectures . . . . . . . 384
José Romero and
Oscar Pastor and
Jorge Belenguer Methodological Approach to Software
Quality Assurance through High-Level
Object-Oriented Metrics . . . . . . . . 397
B. Henderson-Sellers and
D. Zowghi and
T. Klemola and
S. Parasuram Sizing Use Cases: How to Create a
Standard Metrical Approach . . . . . . . 409
Marl\`ene Villanova-Oliver and
Jérôme Gensel and
Hervé Martin Progressive Access: A Step towards
Adaptability in Web-Based Information
Systems . . . . . . . . . . . . . . . . 422
Ikram Amous and
Anis Jedidi and
Florence S\`edes A Contribution to Multimedia Document
Modeling and Organizing . . . . . . . . 434
Jacques Lonchamp An Object Oriented Collaboration Flow
Management System for Virtual Team
Support . . . . . . . . . . . . . . . . 445
Bruno Traverson and
Nesrine Yahiaoui Connectors for CORBA Components . . . . 458
Vania Marangozova and
Daniel Hagimont Non-functional Replication Management in
the Corba Component Model . . . . . . . 464
Ana Paula V. Pais and
Bárbara O. B. Corrêa and
Carlo E. T. Oliveira and
Gilson Tavares A Responsive Client Architecture with
Local Object Behavior Deployment . . . . 470
Tommi Myllymäki and
Kai Koskimies and
Tommi Mikkonen Structuring Product-Lines: A Layered
Architectural Style . . . . . . . . . . 482
George Kogiomtzis and
Drakoulis Martakos Integrating Heterogeneous Communication
and Messaging Systems in an
Object-Oriented Middleware Framework . . 488
K. Chandra Sekharaiah and
D. Janaki Ram Object Schizophrenia Problem in Object
Role System Design . . . . . . . . . . . 494
Stefan Hanenberg and
Rainer Unland Roles and Aspects: Similarities,
Differences, and Synergetic Potential 507
Daniel Pfeifer Flexible Object-Oriented Views Using
Method Propagation . . . . . . . . . . . 521
Samira Si-Said Cherfi and
Nadira Lammari Towards an Assisted Reorganization of
Is$_A$ Hierarchies . . . . . . . . . . . 536
Anonymous Author Index . . . . . . . . . . . . . . 549
Holger Hermanns 1. Introduction . . . . . . . . . . . . 1
Holger Hermanns 2. Interactive Processes . . . . . . . . 7
Holger Hermanns 3. Markov Chains . . . . . . . . . . . . 35
Holger Hermanns 4. Interactive Markov Chains . . . . . . 57
Holger Hermanns 5. Algebra of Interactive Markov Chains 89
Holger Hermanns 6. Interactive Markov Chains in Practice 129
Holger Hermanns 7. Conclusions . . . . . . . . . . . . . 155
Holger Hermanns Appendix A: Proofs for Chapters 3 and 4 161
Holger Hermanns Appendix B: Proofs for Chapter 5 . . . . 175
Anonymous Bibliography . . . . . . . . . . . . . . 207
Ralph Bergmann 1. Introduction . . . . . . . . . . . . 1
Ralph Bergmann 2. Experience Management . . . . . . . . 25
Ralph Bergmann 3. Representing Experience . . . . . . . 47
Ralph Bergmann 4. Assessing Experience Utility . . . . 93
Ralph Bergmann 5. Representing Knowledge for Adaptation 141
Ralph Bergmann 6. User Communication . . . . . . . . . 155
Ralph Bergmann 7. Experience Retrieval . . . . . . . . 187
Ralph Bergmann 8. Experience Adaptation . . . . . . . . 219
Ralph Bergmann 9. Developing and Maintaining Experience
Management Applications . . . . . . . . 241
Ralph Bergmann 10. Experience Management for Electronic
Commerce . . . . . . . . . . . . . . . . 281
Ralph Bergmann 11. Experience Management for
Self-Service and Help-Desk Support . . . 315
Ralph Bergmann 12. Experience Management for Electronic
Design Reuse . . . . . . . . . . . . . . 347
Ralph Bergmann List of Symbols . . . . . . . . . . . . 365
Anonymous References . . . . . . . . . . . . . . . 367
Anonymous Index . . . . . . . . . . . . . . . . . 391
Heejin Jang and
Sangwook Kim Real-Time Intruder Tracing through
Self-Replication . . . . . . . . . . . . 1
Taekyoung Kwon On the Difficulty of Protecting Private
Keys in Software . . . . . . . . . . . . 17
John S. Baras and
Maben Rabi Intrusion Detection with Support Vector
Machines and Generative Models . . . . . 32
Akashi Satoh and
Sumio Morioka Small and High-Speed Hardware
Architectures for the 3GPP Standard
Cipher KASUMI . . . . . . . . . . . . . 48
Helger Lipmaa Fast Software Implementations of SC2000 63
Tim Grembowski and
Roar Lien and
Kris Gaj and
Nghi Nguyen and
Peter Bellows and
Jaroslav Flidr and
Tom Lehman and
Brian Schott Comparative Analysis of the Hardware
Implementations of Hash Functions SHA-1
and SHA-512 . . . . . . . . . . . . . . 75
Kahil Jallad and
Jonathan Katz and
Bruce Schneier Implementation of Chosen-Ciphertext
Attacks against PGP and GnuPG . . . . . 90
G. Navarro and
S. Robles and
J. Borrell Role-Based Access Control for E-commerce
Sea-of-Data Applications . . . . . . . . 102
Alban Gabillon and
Manuel Munier and
Jean-Jacques Bascou and
Laurent Gallon and
Emmanuel Bruno An Access Control Model for Tree Data
Structures . . . . . . . . . . . . . . . 117
Ed Dawson and
Javier Lopez and
Jose A. Montenegro and
Eiji Okamoto A New Design of Privilege Management
Infrastructure for Organizations Using
Outsourced PKI . . . . . . . . . . . . . 136
Feng Zhu and
Duncan S. Wong and
Agnes H. Chan and
Robbie Ye Password Authenticated Key Exchange
Based on RSA for Imbalanced Wireless
Networks . . . . . . . . . . . . . . . . 150
Tsan-sheng Hsu and
Churn-Jung Liau and
Da-Wei Wang and
Jeremy K.-P. Chen Quantifying Privacy Leakage through
Answering Database Queries . . . . . . . 162
Weidong Qiu and
Kefei Chen and
Dawu Gu A New Offline Privacy Protecting E-cash
System with Revokable Anonymity . . . . 177
Masayuki Abe and
Koutarou Suzuki Receipt-Free Sealed-Bid Auction . . . . 191
Nicolás González-Deleito and
Olivier Markowitch Exclusion-Freeness in Multi-party
Exchange Protocols . . . . . . . . . . . 200
Josep Lluís Ferrer-Gomila and
Magdalena Payeras-Capell\`a and
Llorenç Huguet-Rotger A Realistic Protocol for Multi-party
Certified Electronic Mail . . . . . . . 210
Shunsuke Araki A Nyberg-Rueppel Signature for Multiple
Messages and Its Batch Verification . . 220
Apol\textperiodcenteredl\`onia Martínez-Nadal and
Josep Lluís Ferrer-Gomila Comments to the UNCITRAL Model Law on
Electronic Signatures . . . . . . . . . 229
Rie Shigetomi and
Akira Otsuka and
Takahide Ogawa and
Hideki Imai An Anonymous Loan System Based on Group
Signature Scheme . . . . . . . . . . . . 244
Shoko Yonezawa and
Goichiro Hanaoka and
Junji Shikata and
Hideki Imai Traceability Schemes for Signed
Documents . . . . . . . . . . . . . . . 257
Emmanuel Bresson and
Jacques Stern Proofs of Knowledge for Non-monotone
Discrete-Log Formulae and Applications 272
Nam-Yeun Kim and
Dae-Ghon Kho and
Kee-Young Yoo Inversion/Division Systolic Architecture
for Public-Key Cryptosystems in GF($ 2^m
$ ) . . . . . . . . . . . . . . . . . . 289
Soonhak Kwon and
Heuisu Ryu Efficient Bit Serial Multiplication
Using Optimal Normal Bases of Type II in
\em GF$ (2^m) $ . . . . . . . . . . . . 300
Yuji Watanabe and
Masayuki Numao Conditional Cryptographic Delegation for
P2P Data Sharing . . . . . . . . . . . . 309
L. Chen and
K. Harrison and
A. Moss and
D. Soldera and
N. P. Smart Certification of Public Keys within an
Identity Based System . . . . . . . . . 322
Jiande Zheng A New Public Key Cryptosystem for
Constrained Hardware . . . . . . . . . . 334
Vanesa Daza and
Javier Herranz and
Carles Padró and
Germán Sáez A Distributed and Computationally Secure
Key Distribution Scheme . . . . . . . . 342
Helger Lipmaa On Optimal Hash Tree Traversal for
Interval Time-Stamping . . . . . . . . . 357
Michael T. Goodrich and
Roberto Tamassia and
Jasminka Hasi\'c An Efficient Dynamic and Distributed
Cryptographic Accumulator . . . . . . . 372
Katsuyuki Okeya and
Kouichi Sakurai A Second-Order DPA Attack Breaks a
Window-Method Based Countermeasure
against Side Channel Attacks . . . . . . 389
Bodo Möller Parallelizable Elliptic Curve Point
Multiplication Method with Resistance
against Side-Channel Attacks . . . . . . 402
Fabio Martinelli and
Marinella Petrocchi and
Anna Vaccarelli Automated Analysis of Some Security
Mechanisms of SCEP . . . . . . . . . . . 414
José R. M. Monteiro and
Ricardo Dahab An Attack on a Protocol for Certified
Delivery . . . . . . . . . . . . . . . . 428
Hiroaki Kikuchi Oblivious Counter and Majority Protocol 437
Wai Han Soo and
Azman Samsudin and
Alwyn Goh Efficient Mental Card Shuffling via
Optimised Arbitrary-Sized Benes
Permutation Network . . . . . . . . . . 446
M. Fernandez and
M. Soriano Fingerprinting Concatenated Codes with
Efficient Identification . . . . . . . . 459
Josep Domingo-Ferrer A Provably Secure Additive and
Multiplicative Privacy Homomorphism . . 471
Yasuyuki Sakai and
Kouichi Sakurai Algorithms for Efficient Simultaneous
Elliptic Scalar Multiplication with
Reduced Joint Hamming Weight
Representation of Scalars . . . . . . . 484
Anonymous Author Index . . . . . . . . . . . . . . 501
Paolo Atzeni Time: A Coordinate for Web Site
Modelling . . . . . . . . . . . . . . . 1
Claus Boyens and
Oliver Günther Trust Is not Enough: Privacy and
Security in ASP and Web Service
Environments . . . . . . . . . . . . . . 8
Hans-Jörg Schek and
Heiko Schuldt and
Christoph Schuler and
Roger Weber Infrastructure for Information Spaces 23
Chris Giannella An Axiomatic Approach to Defining
Approximation Measures for Functional
Dependencies . . . . . . . . . . . . . . 37
Robert Koval and
Pavol Návrat Intelligent Support for Information
Retrieval in WWW Environment . . . . . . 51
Shuigeng Zhou and
Jihong Guan An Approach to Improve Text
Classification Efficiency . . . . . . . 65
Gabriela Pol\vcicová and
Pavol Návrat Semantic Similarity in Content-Based
Filtering . . . . . . . . . . . . . . . 80
Marek Wojciechowski and
Maciej Zakrzewicz Data Access Paths for Frequent Itemsets
Discovery . . . . . . . . . . . . . . . 86
Sergio Ilarri and
Eduardo Mena and
Arantza Illarramendi Monitoring Continuous Location Queries
Using Mobile Agents . . . . . . . . . . 92
Ukhyun Lee and
Buhyun Hwang Optimistic Concurrency Control Based on
Timestamp Interval for Broadcast
Environment . . . . . . . . . . . . . . 106
George Samaras and
Christoforos Panayiotou A Flexible Personalization Architecture
for Wireless Internet Based on Mobile
Agents . . . . . . . . . . . . . . . . . 120
Oleg Shigiltchoff and
Panos K. Chrysanthis and
Evaggelia Pitoura Multiversion Data Broadcast
Organizations . . . . . . . . . . . . . 135
Sotiris Brakatsoulas and
Dieter Pfoser and
Yannis Theodoridis Revisiting R-Tree Construction
Principles . . . . . . . . . . . . . . . 149
Antonio Corral and
Joaquin Cañadas and
Michael Vassilakopoulos Approximate Algorithms for
Distance-Based Queries in
High-Dimensional Data Spaces Using
R-Trees . . . . . . . . . . . . . . . . 163
Elena Jurado and
Manuel Barrena Efficient Similarity Search in Feature
Spaces with the Q-Tree . . . . . . . . . 177
Baher A. El-Geresy and
Alia I. Abdelmoty and
Christopher B. Jones Spatio-Temporal Geographic Information
Systems: A Causal Perspective . . . . . 191
Joon-Hee Kwon and
Yong-Ik Yoon An Access Method for Integrating
Multi-scale Geometric Data . . . . . . . 204
Fuat Akal and
Klemens Böhm and
Hans-Jörg Schek OLAP Query Evaluation in a Database
Cluster: A Performance Study on
Intra-Query Parallelism . . . . . . . . 218
Enrique Medina and
Juan Trujillo A Standard for Representing
Multidimensional Properties: The Common
Warehouse Metamodel (CWM) . . . . . . . 232
Albertas Caplinskas and
Audrone Lupeikiene and
Olegas Vasilecas A Framework to Analyse and Evaluate
Information Systems Specification
Languages . . . . . . . . . . . . . . . 248
Piotr Habela and
Mark Roantree and
Kazimierz Subieta Flattening the Metamodel for Object
Databases . . . . . . . . . . . . . . . 263
José R. Paramá and
Nieves R. Brisaboa and
Miguel R. Penabad and
Ángeles S. Places A Semantic Query Optimization Approach
to Optimize Linear Datalog Programs . . 277
Alexandre Zamulin An Object Algebra for the ODMG Standard 291
Thomas Feyer and
Bernhard Thalheim Many-Dimensional Schema Modeling . . . . 305
Alexandre Konovalov Object-Oriented Data Model for Data
Warehouse . . . . . . . . . . . . . . . 319
Johann Eder and
Wolfgang Gruber A Meta Model for Structured Workflows
Supporting Workflow Transformations . . 326
Maxim Grinev and
Sergey Kuznetsov Towards an Exhaustive Set of Rewriting
Rules for XQuery Optimization: BizQuery
Experience . . . . . . . . . . . . . . . 340
Mona Marathe and
Hemalatha Diwakar Architecture of a Blended-Query and
Result-Visualization Mechanism for
Web-Accessible Databases and Associated
Implementation Issues . . . . . . . . . 346
Yannis Stavrakas and
Manolis Gergatsoulis and
Christos Doulkeridis and
Vassilis Zafeiris Accommodating Changes in Semistructured
Databases Using Multidimensional OEM . . 360
Jixue Liu and
Chengfei Liu A Declarative Way of Extracting XML Data
in XSL . . . . . . . . . . . . . . . . . 374
Peter Dolog and
Mária Bieliková Towards Variability Modelling for Reuse
in Hypermedia Engineering . . . . . . . 388
Lilian Harada Complex Temporal Patterns Detection over
Continuous Data Streams . . . . . . . . 401
Anonymous Author Index . . . . . . . . . . . . . . 415
Shi-Kuo Chang A Growing Book for Distance Learning . . 3
Ruimin Shen and
Peng Han and
Fan Yang and
Qiang Yang and
Joshua Zhexe Huang An Open Framework for Smart and
Personalized Distance Learning . . . . . 19
William W. Song A Metadata Framework for Description of
Learning Objects . . . . . . . . . . . . 31
Woochun Jun and
Le Gruenwald and
Jungmoon Park and
Suk-ki Hong A Web-Based Motivation-Supporting Model
for Effective Teaching-Learning . . . . 44
Hyosook Jung and
Woochun Jun and
Le Gruenwald and
Suk-ki Hong The Design and Implementation of a
Web-Based Teaching-Learning Model for
Information Communication Technology
Application Education . . . . . . . . . 56
Feng-Hsu Wang On Analysis and Modeling of Student
Browsing Behavior in Web-Based
Asynchronous Learning Environments . . . 69
Sanding Luo and
Sha Sha and
Deyao Shen and
Weijia Jia Conceptual Network Based Courseware
Navigation and Web Presentation
Mechanisms . . . . . . . . . . . . . . . 81
Faris Albermani and
Kwok-wing Chau Web-Based Knowledge-Based System on
Liquid Retaining Structure Design as
Instructional Tool . . . . . . . . . . . 95
Johann Gamper and
Judith Knapp A Web-Based Language Learning System . . 106
Chunnian Liu and
Lei Zheng and
Junzhong Ji and
Dong Jia and
Chuan Jiang and
Wensheng Yang WebMath: A Web-Based ITS System . . . . 119
Yuanchun Shi and
Weikai Xie and
Guangyou Xu Smart Remote Classroom: Creating a
Revolutionary Real-Time Interactive
Distance Learning System . . . . . . . . 130
Hao Wang and
Heng Xu and
Hock Chuan Chan and
Ling Chen Critical Success Factors for Web-Based
Organizational IT Training Systems . . . 142
Reggie Kwan and
Jimmy S. F. Chan Application of Quality Assurance in
Web-Based Laboratories . . . . . . . . . 154
Changtao Qu and
Wolfgang Nejdl Towards Open Standards: The Evolution of
an XML/JSP/WebDAV Based Collaborative
Courseware Generating System . . . . . . 167
Christos Bouras and
Dimitrios Psaltoulis and
Christos Psaroudis and
Thrasyvoulos Tsiatsos An Educational Community Using
Collaborative Virtual Environments . . . 180
Hai Zhuge and
Yanyan Li and
Jia Bi and
To-yat Cheung KGCL: A Knowledge-Grid-Based Cooperative
Learning Environment . . . . . . . . . . 192
Yugyung Lee and
James Geller A Component-Based Architecture for
Adaptive, Collaborative Web-Based
Learning . . . . . . . . . . . . . . . . 203
Jiannong Cao and
Alvin Chan and
Weidong Cao and
Cassidy Yeung Virtual Programming Lab for Online
Distance Learning . . . . . . . . . . . 216
Zhiwei Xu and
Wei Li and
Hongguang Fu and
Zhenbing Zeng The Vega Grid and Grid-Based Education 228
Francis Y. L. Chin and
C. K. M. Wong and
V. Mak Experiences in Running a Flexible,
Web-Based, and Self-Paced Course . . . . 241
Karl Kurbel Virtual Teaching and Learning Based on
Multimedia Techniques: Experiences from
a Master Program Delivered over the
Internet . . . . . . . . . . . . . . . . 252
John Barrett and
Nadia Hing-Wah Ng and
Kathy Edwards Experiences in Developing a Large-Scale
School IT Project: Processes, Outcomes,
and Issues . . . . . . . . . . . . . . . 263
Ralf Klamma and
Matthias Jarke and
Elisabeth Hollender and
Dagmar Börner-Klein Enabling Communities by Constructed
Media: The Case of a Web-Based Study
Environment for a Talmudic Tractate . . 275
Ronnie C. T. Cheung Innovative Teaching through the Cyber
University . . . . . . . . . . . . . . . 287
Changjie Tang and
Qing Li and
Rynson W. H. Lau and
Xiaodong Huang Supporting Practices in Web-Based
Learning . . . . . . . . . . . . . . . . 300
Akira Okada and
Yahiko Kambayashi A Web-Based Lecture Video Database
System with Flexible Indexing Method
Using Action Logs . . . . . . . . . . . 313
Chanjung Park and
Hwakyung Rim A Locking-Based Transaction Scheduling
Algorithm for Supporting Web-Based
Classes . . . . . . . . . . . . . . . . 325
Jianting Zhang and
Le Gruenwald and
Chris Candler and
Gary McNutt and
Wei Shung Chung Database and Metadata Support of a
Web-Based Multimedia Digital Library for
Medical Education . . . . . . . . . . . 339
Chisa Sumitomo and
Akira Okada and
Yahiko Kambayashi Design and Evaluation of Lecture Support
Functions for Question Databases . . . . 351
Daling Wang and
Yubin Bao and
Ge Yu and
Guoren Wang Using Page Classification and
Association Rule Mining for Personalized
Recommendation in Distance Learning . . 363
Simon So Web-Based Video Indexing and Retrieval
for Teaching and Learning . . . . . . . 377
Yueh-Min Huang and
Chin-Chiang Chang and
Pin-Ying Chiu and
Shin-Chang Huang and
William Cheng-Chung Chu Applying Multimedia Authoring Tool and
XML Techniques to Standardized Knowledge
Management for Web-Based Learning . . . 386
Joseph Fong and
Irene Kwan and
Margaret Ng and
K. L. Lau Fifth Normal Form Made Easy with Novel
Web-Based CAI HCI . . . . . . . . . . . 398
Yueting Zhuang and
Xiang Liu Multimedia Knowledge Exploitation for
E-Learning: Some Enabling Techniques . . 411
Li Yang and
Mustafa Sanver Web-Based Interactive $3$D Visualization
for Computer Graphics Education . . . . 423
Anonymous Author Index . . . . . . . . . . . . . . 433
Paul Master The Age of Adaptive Computing Is Here 1
Reiner W. Hartenstein Disruptive Trends by Data-Stream-Based
Computing . . . . . . . . . . . . . . . 4
Gordon Brebner Multithreading for Logic-Centric Systems 5
Siavash Bayat Sarmadi and
Seyed Ghassem Miremadi and
Ghazanfar Asadi and
Ali Reza Ejlali Fast Prototyping with Co-operation of
Simulation and Emulation . . . . . . . . 15
Helena Krupnova and
Veronique Meurou and
Christophe Barnichon and
Carlos Serra and
Farid Morsi How Fast Is Rapid FPGA-based
Prototyping: Lessons and Challenges from
the Digital TV Design Prototyping
Project . . . . . . . . . . . . . . . . 26
Quoc Thai Ho and
Jean-Baptiste Rigaud and
Laurent Fesquet and
Marc Renaudin and
Robin Rolland Implementing Asynchronous Circuits on
LUT Based FPGAs . . . . . . . . . . . . 36
Beniamino Di Martino and
Nicola Mazzocca and
Giacinto Paolo Saggese and
Antonio G. M. Strollo A Technique for FPGA Synthesis Driven by
Automatic Source Code Analysis and
Transformations . . . . . . . . . . . . 47
Katherine Compton and
Akshay Sharma and
Shawn Phillips and
Scott Hauck Flexible Routing Architecture Generation
for Domain-Specific Reconfigurable
Subsystems . . . . . . . . . . . . . . . 59
Jawad Khan and
Manish Handa and
Ranga Vemuri iPACE-V1: A Portable Adaptive Computing
Engine for Real Time Applications . . . 69
Mihai Sima and
Stamatis Vassiliadis and
Sorin Cotofana and
Jos T. J. van Eijndhoven and
Kees Vissers Field-Programmable Custom Computing
Machines --- A Taxonomy . . . . . . . . 79
Katarzyna Leijten-Nowak and
Jef L. van Meerbergen Embedded Reconfigurable Logic Core for
DSP Applications . . . . . . . . . . . . 89
Francisco Cardells-Tormo and
Javier Valls-Coquillat and
Vicenc Almenar-Terre and
Vicente Torres-Carot Efficient FPGA-based QPSK Demodulation
Loops: Application to the DVB Standard 102
Chris Dick and
Fred Harris FPGA QAM Demodulator Design . . . . . . 112
Guy G. Lemieux and
David M. Lewis Analytical Framework for Switch Block
Design . . . . . . . . . . . . . . . . . 122
Aneesh Koorapaty and
Lawrence Pileggi Modular, Fabric-Specific Synthesis for
Programmable Architectures . . . . . . . 132
Hongbing Fan and
Jiping Liu and
Yu-Liang Wu and
Chak-Chung Cheung On Optimum Designs of Universal Switch
Blocks . . . . . . . . . . . . . . . . . 142
Ian Robertson and
James Irvine and
Patrick Lysaght and
David Robinson Improved Functional Simulation of
Dynamically Reconfigurable Logic . . . . 152
S. Lopez-Buedo and
P. Riviere and
P. Pernas and
E. Boemo Run-Time Reconfiguration to Check
Temperature in Custom Computers: An
Application of JBits Technology . . . . 162
Gerard J. M. Smit and
Paul J. M. Havinga and
Lodewijk T. Smit and
Paul M. Heysters and
Michel A. J. Rosien Dynamic Reconfiguration in Mobile
Systems . . . . . . . . . . . . . . . . 171
Edson L. Horta and
John W. Lockwood and
Sérgio T. Kofuji Using PARBIT to Implement Partial
Run-Time Reconfigurable Systems . . . . 182
R. H. Turner and
R. Woods and
T. Courtney Multiplier-less Realization of a
Poly-phase Filter Using LUT-based FPGAs 192
Stephen J. Melnikoff and
Steven F. Quigley and
Martin J. Russell Speech Recognition on an FPGA Using
Discrete and Continuous Hidden Markov
Models . . . . . . . . . . . . . . . . . 202
Antony Jamin and
Petri Mähönen FPGA Implementation of the Wavelet
Packet Transform for High Speed
Communications . . . . . . . . . . . . . 212
A. Carreira and
T. W. Fox and
L. E. Turner A Method for Implementing Bit-Serial
Finite Impulse Response Digital Filters
in FPGAs Using JBits$^{\mathrm {TM}}$ 222
Valavan Manohararajah and
Terry Borer and
Stephen D. Brown and
Zvonko Vranesic Automatic Partitioning for Improved
Placement and Routing in Complex
Programmable Logic Devices . . . . . . . 232
Parivallal Kannan and
Shankar Balachandran and
Dinesh Bhatia Rapid and Reliable Routability
Estimation for FPGAs . . . . . . . . . . 242
Martin Danek and
Zdenek Muzikár Integrated Iterative Approach to FPGA
Placement . . . . . . . . . . . . . . . 253
Lucídio A. F. Cabral and
Júlio S. Aude and
Nelson Maculan TDR: A Distributed-Memory Parallel
Routing Algorithm for FPGAs . . . . . . 263
Rafal Kielbik and
Juan Manuel Moreno and
Andrzej Napieralski and
Grzegorz Jablonski and
Tomasz Szymanski High-Level Partitioning of Digital
Systems Based on Dynamically
Reconfigurable Devices . . . . . . . . . 271
Yoshiki Yamaguchi and
Yosuke Miyajima and
Tsutomu Maruyama and
Akihiko Konagaya High Speed Homology Search Using
Run-Time Reconfiguration . . . . . . . . 281
Matthias Dyer and
Christian Plessl and
Marco Platzner Partially Reconfigurable Cores for
Xilinx Virtex . . . . . . . . . . . . . 292
Manuel G. Gericota and
Gustavo R. Alves and
Miguel L. Silva and
José M. Ferreira On-line Defragmentation for Run-Time
Partially Reconfigurable FPGAs . . . . . 302
Kara K. W. Poon and
Andy Yan and
Steven J. E. Wilton A Flexible Power Model for FPGAs . . . . 312
Oswaldo Cadenas and
Graham Megson A Clocking Technique with Power Savings
in Virtex-Based Pipelined Designs . . . 322
Maurizio Martina and
Guido Masera and
Gianluca Piccinini and
Fabrizio Vacca and
Maurizio Zamboni Energy Evaluation on a Reconfigurable,
Multimedia-Oriented Wireless Sensor . . 332
E. Todorovich and
M. Gilabert and
G. Sutter and
S. Lopez-Buedo and
E. Boemo A Tool for Activity Estimation in FPGAs 340
Gustavo Sutter and
Elias Todorovich and
Sergio Lopez-Buedo and
Eduardo Boemo FSM Decomposition for Low Power in FPGA 350
Gi-Joon Nam and
Karem Sakallah and
Rob Rutenbar Hybrid Routing for FPGAs by Integrating
Boolean Satisfiability with Geometric
Search . . . . . . . . . . . . . . . . . 360
K. Benkrid and
D. Crookes and
A. Benkrid and
S. Belkacemi A Prolog-Based Hardware Development
Environment . . . . . . . . . . . . . . 370
C. H. Ho and
P. H. W. Leong and
K. H. Tsoi and
R. Ludewig and
P. Zipf and
A. G. Ortiz and
M. Glesner Fly --- A Modifiable Hardware Compiler 381
Ivo Bolsens Challenges and Opportunities for FPGA
Platforms . . . . . . . . . . . . . . . 391
Masayuki Kirimura and
Yoshifumi Takamoto and
Takanori Mori and
Keiichi Yasumoto and
Akio Nakata and
Teruo Higashino Design and Implementation of FPGA
Circuits for High Speed Network Monitors 393
Maya Gokhale and
Dave Dubois and
Andy Dubois and
Mike Boorman and
Steve Poole and
Vic Hogsett Granidt: Towards Gigabit Rate Network
Intrusion Detection Technology . . . . . 404
Kuan Zhou and
Channakeshav and
Jong-Ru Guo and
Chao You and
Bryan S. Goda and
Russell P. Kraft and
John F. McDonald Fast SiGe HBT BiCMOS FPGAs with New
Architecture and Power Saving Techniques 414
Tyson S. Hall and
Paul Hasler and
David V. Anderson Field-Programmable Analog Arrays: A
Floating-Gate Approach . . . . . . . . . 424
Kazuya Tanigawa and
Tetsuo Hironaka and
Akira Kojima and
Noriyoshi Yoshida A Generalized Execution Model for
Programming on Reconfigurable
Architectures and an Architecture
Supporting the Model . . . . . . . . . . 434
T. Pionteck and
P. Zipf and
L. D. Kabulepa and
M. Glesner A Framework for Teaching
(Re)Configurable Architectures in
Student Projects . . . . . . . . . . . . 444
Young H. Cho and
Shiva Navab and
William H. Mangione-Smith Specialized Hardware for Deep Network
Packet Filtering . . . . . . . . . . . . 452
Thomas Buerner Implementation of a Successive Erasure
BCH(16,7,6) Decoder and Performance
Simulation by Rapid Prototyping . . . . 462
J. Ramírez and
A. García and
U. Meyer-Baese and
A. Lloris Fast RNS FPL-based Communications
Receiver Design and Implementation . . . 472
Simon D. Haynes and
Henry G. Epsom and
Richard J. Cooper and
Paul L. McAlpine UltraSONIC: A Reconfigurable
Architecture for Video Image Processing 482
Trevor W. Fox and
Laurence E. Turner Implementing the Discrete Cosine
Transform Using the Xilinx Virtex FPGA 492
Alexander Staller and
Peter Dillinger and
Reinhard Männer Implementation of the JPEG 2000 Standard
on a Virtex 1000 FPGA . . . . . . . . . 503
Jean-Luc Beuchat and
Arnaud Tisserand Small Multiplier-Based Multiplication
and Division Operators for Virtex-II
Devices . . . . . . . . . . . . . . . . 513
Altaf Abdul Gaffar and
Wayne Luk and
Peter Y. K. Cheung and
Nabeel Shirazi and
James Hwang Automating Customisation of
Floating-Point Designs . . . . . . . . . 523
Ju-wook Jang and
Seonil Choi and
Viktor K. Prasanna Energy-Efficient Matrix Multiplication
on FPGAs . . . . . . . . . . . . . . . . 534
Shay Seng and
Wayne Luk and
Peter Y. K. Cheung Run-Time Adaptive Flexible Instruction
Processors . . . . . . . . . . . . . . . 545
José T. de Sousa and
Fernando M. Gonçalves and
Nuno Barreiro and
João Moura DARP --- A Digital Audio Reconfigurable
Processor . . . . . . . . . . . . . . . 556
Stephen Charlwood and
Jonathan Mangnall and
Steven Quigley System-Level Modelling for Performance
Estimation of Reconfigurable
Coprocessors . . . . . . . . . . . . . . 567
Kurt K. Ting and
Steve C. L. Yuen and
K. H. Lee and
Philip H. W. Leong An FPGA Based SHA-256 Processor . . . . 577
P. Zipf and
M. Glesner and
C. Bauer and
H. Wojtkowiak Handling FPGA Faults and Configuration
Sequencing Using a Hardware Extension 586
Andrzej Krasniewski On the Set of Target Path Delay Faults
in Sequential Subcircuits of LUT-based
FPGAs . . . . . . . . . . . . . . . . . 596
M. Rebaudengo and
M. Sonza Reorda and
M. Violante Simulation-Based Analysis of SEU Effects
on SRAM-based FPGAs . . . . . . . . . . 607
Andrzej Krasniewski Exploiting Reconfigurability for
Effective Testing of Delay Faults in
Sequential Subcircuits of LUT-based
FPGAs . . . . . . . . . . . . . . . . . 616
Rudolf Matousek and
Milan Tichý and
Zdenek Pohl and
Jirí Kadlec and
Chris Softley and
Nick Coleman Logarithmic Number System and
Floating-Point Arithmetics on FPGA . . . 627
Eric Roesler and
Brent Nelson Novel Optimizations for Hardware
Floating-Point Units in a Modern FPGA
Architecture . . . . . . . . . . . . . . 637
Silviu Chiricescu and
Michael Schuette and
Robin Glinton and
Herman Schmit Morphable Multipliers . . . . . . . . . 647
Pavle Belanovic and
Miriam Leeser A Library of Parameterized
Floating-Point Modules and Their Use . . 657
Tony Stansfield Wordlength as an Architectural Parameter
for Reconfigurable Computing Devices . . 667
Massimo Baleani and
Massimo Conti and
Alberto Ferrari and
Valerio Frascolla and
Alberto Sangiovanni-Vincentelli An Enhanced POLIS Framework for Fast
Exploration and Implementation of I/O
Subsystems on CSoC Platforms . . . . . . 677
Grant B. Wigley and
David A. Kearney and
David Warren Introducing ReConfigME: An Operating
System for Reconfigurable Computing . . 687
Reetinder Sidhu and
Viktor K. Prasanna Efficient Metacomputation Using
Self-Reconfiguration . . . . . . . . . . 698
Miguel Arias-Estrada and
Eduardo Rodríguez-Palacios An FPGA Co-processor for Real-Time
Visual Tracking . . . . . . . . . . . . 710
Viktor Fischer and
Milos Drutarovský and
Rastislav Lukac Implementation of $3$-D Adaptive LUM
Smoother in Reconfigurable Hardware . . 720
A. Amira and
A. Bouridane and
P. Milligan and
F. Bensaali Custom Coprocessor Based Matrix
Algorithms for Image and Signal
Processing . . . . . . . . . . . . . . . 730
Nazeeh Aranki and
Alex Moopenn and
Raoul Tawel Parallel FPGA Implementation of the
Split and Merge Discrete Wavelet
Transform . . . . . . . . . . . . . . . 740
Tim Kerins and
Emanuel Popovici and
William Marnane and
Patrick Fitzpatrick Fully Parameterizable Elliptic Curve
Cryptography Processor over GF(2) . . . 750
Antti Hämäläinen and
Matti Tommiska and
Jorma Skyttä 6.78 Gigabits per Second Implementation
of the IDEA Cryptographic Algorithm . . 760
Emmanuel A. Moreira and
Paul L. McAlpine and
Simon D. Haynes Rijndael Cryptographic Engine on the
UltraSONIC Reconfigurable Platform . . . 770
Jean-Jacques Quisquater and
François-Xavier Standaert and
Gael Rouvroy and
Jean-Pierre David and
Jean-Didier Legat A Cryptanalytic Time-Memory Tradeoff:
First FPGA Implementation . . . . . . . 780
Rudy Lauwereins Creating a World of Smart
Re-configurable Devices . . . . . . . . 790
Théodore Marescaux and
Andrei Bartic and
Dideriek Verkest and
Serge Vernalde and
Rudy Lauwereins Interconnection Networks Enable
Fine-Grain Dynamic Multi-tasking on
FPGAs . . . . . . . . . . . . . . . . . 795
Wesley J. Landaker and
Michael J. Wirthlin and
Brad L. Hutchings Multitasking Hardware on the SLAAC1-V
Reconfigurable Computing System . . . . 806
Tuomas Valtonen and
Jouni Isoaho and
Hannu Tenhunen The Case for Fine-Grained
Re-configurable Architectures: An
Analysis of Conceived Performance . . . 816
Zbigniew Kokosinski and
Wojciech Sikora An FPGA Implementation of a
Multi-comparand Multi-search Associative
Processor . . . . . . . . . . . . . . . 826
Anna Labbé and
Annie Pérez AES Implementation on FPGA: Time ---
Flexibility Tradeoff . . . . . . . . . . 836
François Koeune and
Gael Rouvroy and
François-Xavier Standaert and
Jean-Jacques Quisquater and
Jean-Pierre David and
Jean-Didier Legat An FPGA Implementation of the Linear
Cryptanalysis . . . . . . . . . . . . . 845
Mihai Budiu and
Seth Copen Goldstein Compiling Application-Specific Hardware 853
João M. P. Cardoso and
Markus Weinhardt XPP-VC: A C Compiler with Temporal
Partitioning for the PACT-XPP
Architecture . . . . . . . . . . . . . . 864
Justin L. Tripp and
Preston A. Jackson and
Brad L. Hutchings Sea Cucumber: A Synthesizing Compiler
for FPGAs . . . . . . . . . . . . . . . 875
J. E. Carletta and
M. D. Rayman Practical Considerations in the
Synthesis of High Performance Digital
Filters for Implementation on FPGAs . . 886
U. Meyer-Baese and
J. Ramírez and
A. García Low Power High Speed Algebraic Integer
Frequency Sampling Filters Using FPLDs 897
Francisco Cardells-Tormo and
Javier Valls-Coquillat High Performance Quadrature Digital
Mixers for FPGAs . . . . . . . . . . . . 905
Oskar Mencer and
Zhining Huang and
Lorenz Huelsbergen HAGAR: Efficient Multi-context Graph
Processors . . . . . . . . . . . . . . . 915
Benjamin Carrión Schäfer and
S. F. Quigley and
A. H. C. Chan Scalable Implementation of the Discrete
Element Method on a Reconfigurable
Computing Platform . . . . . . . . . . . 925
Kai-Pui Lam and
Sui-Tung Mak On Computing Transitive-Closure
Equivalence Sets Using a Hybrid GA-DP
Approach . . . . . . . . . . . . . . . . 935
Zoran Salcic and
Partha Roop and
Morteza Biglari-Abhari and
Abbas Bigdeli REFLIX: A Processor Core for Reactive
Embedded Applications . . . . . . . . . 945
Girish Venkataramani and
Suraj Sudhir and
Mihai Budiu and
Seth Copen Goldstein Factors Influencing the Performance of a
CPU-RFU Hybrid Architecture . . . . . . 955
A. Sanz and
J. I. García-Nicolás and
I. Urriza Implementing Converters in FPLD . . . . 966
Domingo Benitez A Quantitative Understanding of the
Performance of Reconfigurable
Coprocessors . . . . . . . . . . . . . . 976
Klaus Buchenrieder and
Ulrich Nageldinger and
Andreas Pyttel and
Alexander Sedlmeier Integration of Reconfigurable Hardware
into System-Level Design . . . . . . . . 987
Frank Wolz and
Reiner Kolla A Retargetable Macro Generation Method
for the Evaluation of Repetitive
Configurable Architectures . . . . . . . 997
Ramaswamy Ramaswamy and
Russell Tessier The Integration of SystemC and
Hardware-Assisted Verification . . . . . 1007
Alireza S. Kaviani Using Design Hierarchy to Improve
Quality of Results in FPGAs . . . . . . 1017
G. Koutroumpezis and
K. Tatas and
D. Soudris and
S. Blionas and
K. Masselos and
A. Thanailakis Architecture Design of a Reconfigurable
Multiplier for Flexible Coarse-Grain
Implementations . . . . . . . . . . . . 1027
Naoto Kaneko and
Hideharu Amano A General Hardware Design Model for
Multicontext FPGAs . . . . . . . . . . . 1037
Mario Porrmann and
Ulf Witkowski and
Heiko Kalte and
Ulrich Rückert Dynamically Reconfigurable Hardware ---
A New Perspective for Neural Network
Implementations . . . . . . . . . . . . 1048
Raphael David and
Daniel Chillet and
Sebastien Pillement and
Olivier Sentieys A Compilation Framework for a
Dynamically Reconfigurable Architecture 1058
Shuichi Ichikawa and
Shoji Yamamoto Data Dependent Circuit for Subgraph
Isomorphism Problem . . . . . . . . . . 1068
Jan Schmidt and
Martin Novotný and
Martin Jäger and
Milos Becvár and
Michal Jáchim Exploration of Design Space in ECDSA . . 1072
Issam Damaj and
Suhaib Majzoub and
Hassan Diab $2$D and $3$D Computer Graphics
Algorithms under MORPHOSYS . . . . . . . 1076
S. Blionas and
K. Masselos and
C. Dre and
C. Drosos and
F. Ieromnimon and
T. Pagonis and
A. Pneymatikakis and
A. Tatsaki and
T. Trimis and
A. Vontzalidis and
D. Metafas A HIPERLAN/2 --- IEEE 802.11a
Reconfigurable System-on-Chip . . . . . 1080
Stephanie McBader and
Luca Clementel and
Alvise Sartori and
Andrea Boni and
Peter Lee SoftTOTEM: An FPGA Implementation of the
TOTEM Parallel Processor . . . . . . . . 1084
Takashi Yokota and
Masamichi Nagafuchi and
Yoshito Mekada and
Tsutomu Yoshinaga and
Kanemitsu Ootsu and
Takanobu Baba Real-Time Medical Diagnosis on a
Multiple FPGA-based System . . . . . . . 1088
Kazuo Aoyama and
Hiroshi Sawada Threshold Element-Based Symmetric
Function Generators and Their Functional
Extension . . . . . . . . . . . . . . . 1092
Wolfgang Schlecker and
Achim Engelhart and
Werner G. Teich and
Hans-Jörg Pfleiderer Hardware Implementation of a Multiuser
Detection Scheme Based on Recurrent
Neural Networks . . . . . . . . . . . . 1097
James Hwang and
Jonathan Ballagh Building Custom FIR Filters Using System
Generator . . . . . . . . . . . . . . . 1101
Klaus Feske and
Georg Heinrich and
Berndt Fritzsche and
Mark Langer SoC Based Low Cost Design of Digital
Audio Broadcasting Transport Network
Applications . . . . . . . . . . . . . . 1105
Ernest Jamro and
Kazimierz Wiatr Dynamic Constant Coefficient Convolvers
Implemented in FPGAs . . . . . . . . . . 1110
Urs Kanus and
Gregor Wetekam and
Johannes Hirche and
Michael Meißner VIZARD II: An FPGA-based Interactive
Volume Rendering System . . . . . . . . 1114
Naoyuki Izu and
Tomonori Yokoyama and
Junichiro Tsuchiya and
Konosuke Watanabe and
Hideharu Amano RHiNET/NI: A Reconfigurable Network
Interface for Cluster Computing . . . . 1118
Filip Miletic and
Rene van Leuken and
Alexander de Graaf General Purpose Prototyping Platform for
Data-Processor Research and Development 1122
Tomoyoshi Kobori and
Tsutomu Maruyama High Speed Computation of Three
Dimensional Cellular Automata with FPGA 1126
Sylvain Poussier and
Hassan Rabah and
Serge Weber SOPC-based Embedded Smart Strain Gage
Sensor . . . . . . . . . . . . . . . . . 1131
Yajun Ha and
Radovan Hipik and
Serge Vernalde and
Diederik Verkest and
Marc Engels and
Rudy Lauwereins and
Hugo De Man Adding Hardware Support to the HotSpot
Virtual Machine for Domain Specific
Applications . . . . . . . . . . . . . . 1135
Roberto Gaudino and
Vito De Feo and
M. Chiaberge and
C. Sanso\`e An FPGA-based Node Controller for a High
Capacity WDM Optical Packet Network . . 1139
F. Calmon and
M. Fathallah and
P. J. Viverge and
C. Gontrand and
J. Carrabina and
P. Foussier FPGA and Mixed FPGA-DSP Implementations
of Electrical Drive Algorithms . . . . . 1144
Wim J. C. Melis and
Peter Y. K. Cheung and
Wayne Luk Image Registration of Real-Time
Broadcast Video Using the UltraSONIC
Reconfigurable Computer . . . . . . . . 1148
Dylan Carline and
Paul Coulton A Novel Watermarking Technique for LUT
Based FPGA Designs . . . . . . . . . . . 1152
Martin Henz and
Edgar Tan and
Roland H. C. Yap Implementing CSAT Local Search on FPGAs 1156
Adronis Niyonkuru and
Göran Eggers and
Hans Christoph Zeidler A Reconfigurable Processor Architecture 1160
Sebastian Friebe and
Steffen Köhler and
Rainer G. Spallek and
Henrik Juhr and
Klaus Künanz A Reconfigurable System-on-Chip-Based
Fast EDM Process Monitor . . . . . . . . 1164
Steven A. Guccione and
Eric Keller Gene Matching Using JBits . . . . . . . 1168
Daniel G. Saab and
Fatih Kocan and
Jacob A. Abraham Massively Parallel/Reconfigurable
Emulation Model for the D-algorithm . . 1172
Akira Miyashita and
Toshihito Fujiwara and
Tsutomu Maruyama A Placement/Routing Approach for FPGA
Accelerators . . . . . . . . . . . . . . 1177
Anonymous Author Index . . . . . . . . . . . . . . 1183
Christine M. Neuwirth Groupware and Text Technologies . . . . 3
Gerry Stahl Groupware Goes to School . . . . . . . . 7
J. M. Martins Ferreira and
Gustavo R. C. Alves and
Ricardo Costa and
Nick Hine Collaborative Learning in a
Web-Accessible Workbench . . . . . . . . 25
Nelson Baloian and
Alexander Berges and
Stephan Buschmann and
Katrin Gaßner and
Jens Hardings and
Heinz Ulrich Hoppe and
Wolfram Luther Document Management in a
Computer-Integrated Classroom . . . . . 35
Pedro Antunes and
Carlos J. Costa Handheld CSCW in the Meeting Environment 47
Juan Carlos Leyva López and
Dina Esperanza López Elizalde Effect of the Coordination Modes in
Supporting Group Multiple Criteria
Decision Making in a Distributed and
Asynchronous Environment . . . . . . . . 61
Weigang Wang and
Jörg M. Haake and
Jessica Rubart A Cooperative Visual Hypermedia Approach
to Planning and Conducting Virtual
Meetings . . . . . . . . . . . . . . . . 70
Jessica Rubart and
Peter Dawabi Towards UML-G: A UML Profile for
Modeling Groupware . . . . . . . . . . . 93
Sergio F. Ochoa and
Luis A. Guerrero and
David A. Fuller and
Oriel Herrera Designing the Communications
Infrastructure of Groupware Systems . . 114
Ana P. T. Bacelo Blois and
Karin Becker A Component-Based Architecture to
Support Collaborative Application Design 134
Alberto L. Morán and
Jesus Favela and
Ana M. Martínez-Enríquez and
Dominique Decouchant Before Getting There: Potential and
Actual Collaboration . . . . . . . . . . 147
Rosa Alarcón and
David Fuller Intelligent Awareness in Support of
Collaborative Virtual Work Groups . . . 168
Edmundo P. Leiva-Lobos and
Eliana Covarrubias The $3$-Ontology: A Framework to Place
Cooperative Awareness . . . . . . . . . 189
César A. Collazos and
Luis A. Guerrero and
José A. Pino and
Sergio F. Ochoa Evaluating Collaborative Learning
Processes . . . . . . . . . . . . . . . 203
Renata Mendes de Araujo and
Flavia M. Santoro and
Marcos R. S. Borges The CSCW Lab for Groupware Evaluation 222
Alejandro Fernández and
Jörg M. Haake and
Adele Goldberg Tailoring Group Work . . . . . . . . . . 232
Hechmi Khlifi and
Jocelyn Desbiens and
Mohamed Cheriet Building Groupwares over Duplicated
Object Systems . . . . . . . . . . . . . 245
Stephan Lukosch Adaptive and Transparent Data
Distribution Support for Synchronous
Groupware . . . . . . . . . . . . . . . 255
José Maria N. David and
Marcos R. S. Borges COPSE-Web: An Infrastructure for
Developing Web-Based Groupware
Applications . . . . . . . . . . . . . . 275
Anonymous Author Index . . . . . . . . . . . . . . 285
Sean Murphy and
Matthew J. B. Robshaw Essential Algebraic Structure within the
AES . . . . . . . . . . . . . . . . . . 1--16
Antoine Joux and
Gwenaëlle Martinet and
Frédéric Valette Blockwise-Adaptive Attackers: Revisiting
the (In)Security of Some Provably Secure
Encryption Modes: CBC, GEM, IACBC . . . 17--30
Moses Liskov and
Ronald L. Rivest and
David Wagner Tweakable Block Ciphers . . . . . . . . 31--46
Dani Halevy and
Adi Shamir The LSD Broadcast Encryption Scheme . . 47--60
Jan Camenisch and
Anna Lysyanskaya Dynamic Accumulators and Application to
Efficient Revocation of Anonymous
Credentials . . . . . . . . . . . . . . 61--76
Nicholas J. Hopper and
John Langford and
Luis von Ahn Provably Secure Steganography: (Extended
Abstract) . . . . . . . . . . . . . . . 77--92
Jacques Stern and
David Pointcheval and
John Malone-Lee and
Nigel P. Smart Flaws in Applying Proof Methodologies to
Signature Schemes . . . . . . . . . . . 93--110
Jesper Buus Nielsen Separating Random Oracle Proofs from
Complexity Theoretic Proofs: The
Non-committing Encryption Case . . . . . 111--126
Jakob Jonsson and
Burton S. Kaliski, Jr. On the Security of RSA Encryption in TLS 127--142
Ran Canetti and
Hugo Krawczyk Security Analysis of IKE's
Signature-Based Key-Exchange Protocol 143--161
Mihir Bellare and
Adriana Palacio GQ and Schnorr Identification Schemes:
Proofs of Security against Impersonation
under Active and Concurrent Attacks . . 162--177
Rosario Gennaro and
Yuval Ishai and
Eyal Kushilevitz and
Tal Rabin On $2$-Round Secure Multiparty
Computation . . . . . . . . . . . . . . 178--193
Markus Bläser and
Andreas Jakoby and
Maciej Liskiewicz and
Bodo Siebert Private Computation --- $k$-Connected
versus 1-Connected Networks . . . . . . 194--209
Phong Q. Nguyen and
David Pointcheval Analysis and Improvements of NTRU
Encryption Paddings . . . . . . . . . . 210--225
Jean-Sébastien Coron and
Marc Joye and
David Naccache and
Pascal Paillier Universal Padding Schemes for RSA . . . 226--241
Alexander May Cryptanalysis of Unbalanced RSA with
Small CRT-Exponent . . . . . . . . . . . 242--256
Chi-Jen Lu Hyper-encryption against Space-Bounded
Adversaries from On-Line Strong
Extractors . . . . . . . . . . . . . . . 257--271
Ronald Cramer and
Serge Fehr Optimal Black-Box Secret Sharing over
Arbitrary Abelian Groups . . . . . . . . 272--287
David Wagner A Generalized Birthday Problem:
(Extended Abstract) . . . . . . . . . . 288--303
Ilya Mironov (Not So) Random Shuffles of RC4 . . . . 304--319
John Black and
Phillip Rogaway and
Thomas Shrimpton Black-Box Analysis of the
Block-Cipher-Based Hash-Function
Constructions from PGV . . . . . . . . . 320--335
Karl Rubin and
Alice Silverberg Supersingular Abelian Varieties in
Cryptology . . . . . . . . . . . . . . . 336--353
Paulo S. L. M. Barreto and
Hae Y. Kim and
Ben Lynn and
Michael Scott Efficient Algorithms for Pairing-Based
Cryptosystems . . . . . . . . . . . . . 354--368
Frederik Vercauteren Computing Zeta Functions of
Hyperelliptic Curves over Finite Fields
of Characteristic $2$ . . . . . . . . . 369--384
Philip MacKenzie and
Thomas Shrimpton and
Markus Jakobsson Threshold Password-Authenticated Key
Exchange: (Extended Abstract) . . . . . 385--400
Jesper Buus Nielsen A Threshold Pseudorandom Function
Construction and Its Applications . . . 401--416
Joy Algesheimer and
Jan Camenisch and
Victor Shoup Efficient Computation Modulo a Shared
Secret with Application to the
Generation of Shared Safe-Prime Products 417--432
Wen-Ching W. Li and
Mats Näslund and
Igor E. Shparlinski Hidden Number Problem with the Trace and
Bit Security of XTR and LUC . . . . . . 433--448
Ivan Damgård and
Jesper Buus Nielsen Expanding Pseudorandom Functions; or:
From Known-Plaintext Security to
Chosen-Plaintext Security . . . . . . . 449--464
Emmanuel Bresson and
Jacques Stern and
Michael Szydlo Threshold Ring Signatures and
Applications to Ad-hoc Groups . . . . . 465--480
Moni Naor Deniable Ring Authentication . . . . . . 481--498
Gene Itkis and
Leonid Reyzin SiBIR: Signer-Base Intrusion-Resilient
Signatures . . . . . . . . . . . . . . . 499--514
Don Coppersmith and
Shai Halevi and
Charanjit Jutla Cryptanalysis of Stream Ciphers with
Linear Masking . . . . . . . . . . . . . 515--532
Palash Sarkar The Filter-Combiner Model for Memoryless
Synchronous Stream Ciphers . . . . . . . 533--548
Claude Carlet A Larger Class of Cryptographic Boolean
Functions via a Study of the
Maiorana--McFarland Construction . . . . 549--564
Serge Fehr and
Ueli Maurer Linear VSS and Distributed Commitments
Based on Secret Sharing and Pairwise
Checks . . . . . . . . . . . . . . . . . 565--580
Ivan Damgård and
Jesper Buus Nielsen Perfect Hiding and Perfect Binding
Universally Composable Commitment
Schemes with Constant Expansion Factor 581--596
Anna Lysyanskaya Unique Signatures and Verifiable Random
Functions from the DH--DDH Separation 597--612
Jean-Sébastien Coron Security Proof for Partial-Domain Hash
Signature Schemes . . . . . . . . . . . 613--626
David House and
Björn Granström Multimodal Speech Synthesis: Improving
Information Flow in Dialogue Systems
Using $3$D Talking Heads . . . . . . . . 1
Lubo\vs Popelínský Efficient Relational Learning from
Sparse Data . . . . . . . . . . . . . . 11
E. N. Smirnov and
I. G. Sprinkhuizen-Kuyper and
H. J. van den Herik Efficient Instance Retraction . . . . . 21
A. Osmani Learning Patterns in Multidimensional
Space Using Interval Algebra . . . . . . 31
Antoine Monsifrot and
François Bodin and
René Quiniou A Machine Learning Approach to Automatic
Production of Compiler Heuristics . . . 41
Éric Grégoire and
Bertrand Mazure and
Lakhdar Sa\"\is Using Failed Local Search for SAT as an
Oracle for Tackling Harder A.I. Problems
More Efficiently . . . . . . . . . . . . 51
Dimitris Vrakas and
Ioannis Vlahavas A Heuristic for Planning Based on Action
Evaluation . . . . . . . . . . . . . . . 61
Natalia López and
Manuel Núñez and
Ismael Rodríguez and
Fernando Rubio WHAT: Web-Based Haskell Adaptive Tutor 71
Diego Magro and
Pietro Torasso Decomposing and Distributing
Configuration Problems . . . . . . . . . 81
Ieroham Baruch and
Alfredo del Carmen Martinez Q. and
Ruben Garrido and
Boyka Nenkova Direct Adaptive Neural Control with
Integral-Plus-State Action . . . . . . . 91
Svetla Boytcheva ILP Techniques for Free-Text Input
Processing . . . . . . . . . . . . . . . 101
Sunil Choenni and
Henk Blanken A Dempster-Shafer Approach to Physical
Database Design . . . . . . . . . . . . 111
Nestor Miliaev and
Alison Cawsey and
Greg Michaelson Technical Documentation: An Integrated
Architecture for Supporting the Author
in Generation and Resource Editing . . . 122
Daniel Pacholczyk and
Mohamed Quafafou and
Laurent Garcia Optimistic vs. Pessimistic
Interpretation of Linguistic Negation 132
Vicente Carrillo and
Víctor J. Díaz Left Corner Parser for Tree Insertion
Grammars . . . . . . . . . . . . . . . . 142
Velislava Stoykova Bulgarian Noun --- Definite Article in
DATR . . . . . . . . . . . . . . . . . . 152
Gaële Simon and
Marianne Flouret and
Bruno Mermet A Methodology to Solve Optimisation
Problems with MAS Application to the
Graph Colouring Problem . . . . . . . . 162
Feliciano Manzano Casas and
L. A. García OCOA: An Open, Modular, Ontology Based
Autonomous Robotic Agent Architecture 173
Guido Boella and
Rossana Damiano A Replanning Algorithm for a Reactive
Agent Architecture . . . . . . . . . . . 183
S. L. M. Lin A Broker Approach for Multi-agent
Scheduling . . . . . . . . . . . . . . . 193
Milo\vs Kova\vcevi\'c and
Michelangelo Dilligenti and
Marco Gori and
Veljko Milutinovi\'c Recognition of Common Areas in a Web
Page Using a Visualization Approach . . 203
Jesús Medina and
Enrique Mérida-Casermeiro and
Manuel Ojeda-Aciego A Neural Approach to Abductive
Multi-adjoint Reasoning . . . . . . . . 213
I. P. de Guzmán and
Manuel Ojeda-Aciego and
A. Valverde Restricted $ {\Delta } $-Trees in
Multiple-Valued Logics . . . . . . . . . 223
Daniel Pop and
Viorel Negru Knowledge Management in Expert System
Creator . . . . . . . . . . . . . . . . 233
Seungyeob Choi Towards Semantic Goal-Directed Forward
Reasoning in Resolution . . . . . . . . 243
Christo Dichev Do What We Do to Find What You Want . . 253
Diana Maynard and
Hamish Cunningham and
Kalina Bontcheva and
Marin Dimitrov Adapting a Robust Multi-genre NE System
for Automatic Content Extraction . . . . 264
Carole Goble The Semantic Web: A Killer App for AI? 274
Anonymous Author Index . . . . . . . . . . . . . . 279
C. Mohan Dynamic E-business: Trends in Web
Services . . . . . . . . . . . . . . . . 1
Mikael Ronström and
Vinay P. Joosery Telecom Databases for the E-services
Industry . . . . . . . . . . . . . . . . 6
Asuman Dogac and
Ibrahim Cingil and
Gokce Laleci and
Yildiray Kabak Improving the Functionality of UDDI
Registries through Web Service Semantics 9
Christoph Bussler Public Process Inheritance for
Business-to-Business Integration . . . . 19
Alexey Valikov and
Alexei Akhounov and
Andreas Schmidt A Model-Transformers Architecture for
Web Applications . . . . . . . . . . . . 29
Massimo Mecella and
Francesco Parisi Presicce and
Barbara Pernici Modeling $ {E} $-service Orchestration
through Petri Nets . . . . . . . . . . . 38
Anil K. Nori and
Rajiv Jain Composite Applications: Process Based
Application Development . . . . . . . . 48
Mike P. Papazoglou and
Jian Yang Design Methodology for Web Services and
Business Processes . . . . . . . . . . . 54
Abdelsalam Helal and
Jingting Lu E-service Based Information Fusion: A
User-Level Information Integration
Framework . . . . . . . . . . . . . . . 65
M. Aiello and
Mike P. Papazoglou and
Jian Yang and
M. Carman and
M. Pistore and
L. Serafini and
P. Traverso A Request Language for Web-Services
Based on Planning and Constraint
Satisfaction . . . . . . . . . . . . . . 76
Joann J. Ordille and
Thomas Petsche Communication Flow Expressions in a
Notification and Response System . . . . 86
Alan S. Abrahams and
David M. Eyers and
Jean M. Bacon A Coverage-Determination Mechanism for
Checking Business Contracts against
Organizational Policies . . . . . . . . 97
Haifei Li and
Jun-Jang Jeng and
Henry Chang Managing Business Relationships in
E-services Using Business Commitments 107
Andrei Popovici and
Gustavo Alonso Ad-Hoc Transactions for Mobile Services 118
Jing Li and
Xin Zhang and
Zhong Tian Advanced Web Session Provider for
Suspensible E-services . . . . . . . . . 131
Liangzhao Zeng and
David Flaxer and
Henry Chang and
Jun-Jang Jeng \em PLM$_{flow}$-Dynamic Business
Process Composition and Execution by
Rule Inference . . . . . . . . . . . . . 141
Seokwon Yang and
Herman Lam and
Stanley Y. W. Su Trust-Based Security Model and
Enforcement Mechanism for Web Service
Technology . . . . . . . . . . . . . . . 151
Chihiro Ito and
Mizuho Iwaihara and
Yahiko Kambayashi Fair Exchange under Limited Trust . . . 161
Anonymous Author Index . . . . . . . . . . . . . . 171
Mira Balaban Structure and Interpretation of Music
Concepts: Music from a Computational
Perspective . . . . . . . . . . . . . . 1
Antonio Camurri Expressive Gesture . . . . . . . . . . . 4
Rens Bod A General Parsing Model for Music and
Language . . . . . . . . . . . . . . . . 5
Elaine Chew The Spiral Array: An Algorithm for
Determining Key Boundaries . . . . . . . 18
Darrell Conklin Representation and Discovery of Vertical
Patterns in Music . . . . . . . . . . . 32
Roger B. Dannenberg and
Ning Hu Discovering Musical Structure in Audio
Recordings . . . . . . . . . . . . . . . 43
Simon Dixon and
Werner Goebl and
Gerhard Widmer Real Time Tracking and Visualisation of
Musical Expression . . . . . . . . . . . 58
Perfecto Herrera and
Alexandre Yeterian and
Fabien Gouyon Automatic Classification of Drum Sounds:
A Comparison of Feature Selection
Methods and Classification Techniques 69
Tim Horton Some Formal Problems with Schenkerian
Representations of Tonal Structure . . . 81
Soh Igarashi and
Tomonobu Ozaki and
Koichi Furukawa Respiration Reflecting Musical
Expression: Analysis of Respiration
during Musical Performance by Inductive
Logic Programming . . . . . . . . . . . 94
Eduardo Reck Miranda Mimetic Development of Intonation . . . 107
François Pachet Interacting with a Musical Learning
System: The Continuator . . . . . . . . 119
Aggelos Pikrakis and
Sergios Theodoridis and
Dimitris Kamarotos Recognition of Isolated Musical Patterns
Using Hidden Markov Models . . . . . . . 133
Dirk-Jan Povel A Model for the Perception of Tonal
Melodies . . . . . . . . . . . . . . . . 144
Somnuk Phon-Amnuaisuk Control Language for Harmonisation
Process . . . . . . . . . . . . . . . . 155
Christian Spevak and
Belinda Thom and
Karin Höthker Evaluating Melodic Segmentation . . . . 168
Neta Spiro Combining Grammar-Based and Memory-Based
Models of Perception of Time Signature
and Phase . . . . . . . . . . . . . . . 183
David Temperley A Bayesian Approach to Key-Finding . . . 195
Anonymous Author Index . . . . . . . . . . . . . . 207
Ricardo Baeza-Yates and
José Miguel Piquer Agents, Crawlers, and Web Retrieval . . 1
Kenji Mase Intelligent Interfaces for Information
Agents: Systems, Experiences, Future
Challenges . . . . . . . . . . . . . . . 10
Pablo Noriega and
Carles Sierra Electronic Institutions: Future Trends
and Challenges . . . . . . . . . . . . . 14
Fausto Giunchiglia and
Ilya Zaihrayeu Making Peer Databases Interact --- A
Vision for an Architecture Supporting
Data Coordination . . . . . . . . . . . 18
Mikko Laukkanen and
Heikki Helin and
Heimo Laamanen Tourists on the Move . . . . . . . . . . 36
E. Mena and
J. A. Royo and
A. Illarramendi and
A. Goñi An Agent-Based Approach for Helping
Users of Hand-Held Devices to Browse
Software Catalogs . . . . . . . . . . . 51
Tadashige Iwao and
Makoto Okada and
Kazuya Kawashima and
Satoko Matsumura and
Hajime Kanda and
Susumu Sakamoto and
Tatsuya Kainuma and
Makoto Amamiya Large Scale Peer-to-Peer Experiments
with Virtual Private Community (VPC)
Framework . . . . . . . . . . . . . . . 66
Ana García-Serrano and
Javier Calle-Gómez A Cognitive Architecture for the Design
of an Interaction Agent . . . . . . . . 82
Antonella Di Stefano and
Giuseppe Pappalardo and
Corrado Santoro and
Emiliano Tramontana A Multi-agent Reflective Architecture
for User Assistance and Its Application
to E-commerce . . . . . . . . . . . . . 90
Simeon Simoff and
John Debenham Curious Negotiator . . . . . . . . . . . 104
Michael Grimsley and
Anthony Meehan Measuring Behaviour-Based Trust between
Negotiating Agents . . . . . . . . . . . 112
Rina Azoulay-Schwartz and
Sarit Kraus Acquiring an Optimal Amount of
Information for Choosing from
Alternatives . . . . . . . . . . . . . . 123
Yasuhiko Kitamura and
Toshiki Sakamoto and
Shoji Tatsumi A Competitive Information Recommendation
System and Its Behavior . . . . . . . . 138
Gulden Uchyigit and
Keith Clark Agents That Model and Learn User
Interests for Dynamic Collaborative
Filtering . . . . . . . . . . . . . . . 152
Miquel Montaner and
Beatriz López and
Josep Lluís de la Rosa Opinion-Based Filtering through Trust 164
M. Koubarakis and
C. Tryfonopoulos and
P. Raftopoulou and
T. Koutris Data Models and Languages for
Agent-Based Textual Information
Dissemination . . . . . . . . . . . . . 179
R. Scott Cost and
Srikanth Kallurkar and
Hemali Majithia and
Charles Nicholas and
Yongmei Shi Integrating Distributed Information
Sources with CARROT II . . . . . . . . . 194
Fabien Gandon and
Rose Dieng-Kuntz Distributed Artificial Intelligence for
Distributed Corporate Knowledge
Management . . . . . . . . . . . . . . . 202
Santiago Macho-Gonzalez and
Boi Faltings Integrating Information Gathering and
Problem-Solving in Open Environments . . 218
Stuart Chalmers and
Peter M. D. Gray and
Alun Preece Supporting Virtual Organisations Using
BDI Agents and Constraints . . . . . . . 226
Juan M. Serrano and
Sascha Ossowski An Approach to Agent Communication Based
on Organisational Roles . . . . . . . . 241
Heiner Stuckenschmidt Exploiting Partially Shared Ontologies
for Multi-agent Communication . . . . . 249
David Ben-Ami and
Onn Shehory Evaluation of Distributed and
Centralized Agent Location Mechanisms 264
Meirav Hadad and
Sarit Kraus Exchanging and Combining Temporal
Information in a Cooperative Environment 279
Rebecca Montanari and
Gianluca Tonti and
Cesare Stefanelli Programming Agent Mobility . . . . . . . 287
Biljana Cubaleska and
Markus Schneider A Method for Protecting Mobile Agents
against Denial of Service Attacks . . . 297
Roman Morawek Threshold Route Optimization Algorithm
for Information Retrieving Mobile Agents 312
Anonymous Author Index . . . . . . . . . . . . . . 321
David J. Hand Pattern Detection and Discovery . . . . 1
Katharina Morik Detecting Interesting Instances . . . . 13
Arno Siebes and
Zbyszek Struzik Complex Data: Mining Using Patterns . . 24
Richard J. Bolton and
David J. Hand and
Niall M. Adams Determining Hit Rate in Pattern Search 36
Paul Cohen and
Brent Heeringa and
Niall M. Adams An Unsupervised Algorithm for Segmenting
Categorical Timeseries into Episodes . . 49
Antony Unwin If You Can't See the Pattern, Is It
There? . . . . . . . . . . . . . . . . . 63
Marek Wojciechowski and
Maciej Zakrzewicz Dataset Filtering Techniques in
Constraint-Based Frequent Pattern Mining 77
Marzena Kryszkiewicz Concise Representations of Association
Rules . . . . . . . . . . . . . . . . . 92
Baptiste Jeudy and
Jean-François Boulicaut Constraint-Based Discovery and Inductive
Queries: Application to Association Rule
Mining . . . . . . . . . . . . . . . . . 110
Bart Goethals and
Jan Van den Bussche Relational Association Rules: Getting
WARMeR . . . . . . . . . . . . . . . . . 125
M. Delgado and
M. J. Martín-Bautista and
D. Sánchez and
M. A. Vila Mining Text Data: Special Features and
Patterns . . . . . . . . . . . . . . . . 140
Myra Spiliopoulou and
Carsten Pohle Modelling and Incorporating Background
Knowledge in the Web Mining Process . . 154
Dunja Mladeni\'c Modeling Information in Textual Data
Combining Labeled and Unlabeled Data . . 170
Helena Ahonen-Myka Discovery of Frequent Word Sequences in
Text . . . . . . . . . . . . . . . . . . 180
Pierre-Yves Rolland and
Jean-Gabriel Ganascia Pattern Detection and Discovery: The
Case of Music Data Mining . . . . . . . 190
Frank Höppner Discovery of Core Episodes from
Sequences . . . . . . . . . . . . . . . 199
Ursula Gather and
Roland Fried and
Michael Imhoff and
Claudia Becker Patterns of Dependencies in Dynamic
Multivariate Data . . . . . . . . . . . 214
Anonymous Author Index . . . . . . . . . . . . . . 227
Jorge Graña and
Miguel A. Alonso and
Manuel Vilares A Common Solution for Tokenization and
Part-of-Speech Tagging . . . . . . . . . 3
Imad A. Al-Sughaiyer and
Ibrahim A. Al-Kharashi Rule Parser for Arabic Stemmer . . . . . 11
Pavel Kv\veto\vn and
Karel Oliva Achieving an Almost Correct PoS-Tagged
Corpus . . . . . . . . . . . . . . . . . 19
Rei Oguro and
Hiromi Sekiya and
Yuhei Morooka and
Kazuyuki Takagi and
Kazuhiko Ozeki Evaluation of a Japanese Sentence
Compression Method Based on Phrase
Significance and Inter-Phrase Dependency 27
Michael V. Boldasov and
Elena G. Sokolova and
Michael G. Malkovsky User Query Understanding by the InBASE
System as a Source for a Multilingual NL
Generation Module . . . . . . . . . . . 33
Andrés Montoyo and
Rafael Romero and
Sonia Vázquez and
Carmen Calle and
Susana Soler The Role of WSD for Multilingual Natural
Language Applications . . . . . . . . . 41
Antoine Rozenknop Gibbsian Context-Free Grammar for
Parsing . . . . . . . . . . . . . . . . 49
Douglas W. Oard and
Dina Demner-Fushman and
Jan Haji\vc and
Bhuvana Ramabhadran and
Samuel Gustman and
William J. Byrne and
Dagobert Soergel and
Bonnie Dorr and
Philip Resnik and
Michael Picheny Cross-Language Access to Recorded Speech
in the MALACH Project . . . . . . . . . 57
Marek Trabalka and
Mária Bieliková Using Salient Words to Perform
Categorization of Web Sites . . . . . . 65
Gábor Alberti and
Helga M. Szabó Discourse-Semantic Analysis of Hungarian
Sign Language . . . . . . . . . . . . . 73
Tomá\vs Holan Dependency Analyser Configurable by
Measures . . . . . . . . . . . . . . . . 81
Sven Hartrumpf and
Hermann Helbig The Generation and Use of Layer
Information in Multilayered Extended
Semantic Networks . . . . . . . . . . . 89
Jan \vZi\vzka and
Ale\vs Bourek Filtering of Large Numbers of
Unstructured Text Documents by the
Developed Tool TEA . . . . . . . . . . . 99
Dominic Widdows and
Scott Cederberg and
Beate Dorow Visualisation Techniques for Analysing
Meaning . . . . . . . . . . . . . . . . 107
Liang Huang and
Yinan Peng and
Huan Wang and
Zhenyu Wu Statistical Part-of-Speech Tagging for
Classical Chinese . . . . . . . . . . . 115
Rodolfo A. Pazos Rangel and
Alexander Gelbukh and
J. Javier González Barbosa and
Erika Alarcón Ruiz and
Alejandro Mendoza Mejía and
A. Patricia Domínguez Sánchez Spanish Natural Language Interface for a
Relational Database Querying System . . 123
Armando Suárez and
Manuel Palomar Word Sense vs. Word Domain
Disambiguation: A Maximum Entropy
Approach . . . . . . . . . . . . . . . . 131
Fatiha Sadat and
Masatoshi Yoshikawa and
Shunsuke Uemura Exploiting Thesauri and Hierarchical
Categories in Cross-Language Information
Retrieval . . . . . . . . . . . . . . . 139
Markéta Lopatková and
Veronika \vRezní\vcková and
Zden\vek \vZabokrtský Valency Lexicon for Czech: From Verbs to
Nouns . . . . . . . . . . . . . . . . . 147
Goran Nenadi\'c and
Irena Spasi\'c and
Sophia Ananiadou Term Clustering Using a Corpus-Based
Similarity Measure . . . . . . . . . . . 151
Robert Král Word Sense Discrimination for Czech . . 155
Dita Bartu\vsková and
Radek Sedlá\vcek Tools for Semi-automatic Assignment of
Czech Nouns to Declination Patterns . . 159
Toma\vz \vSef and
Maja \vSkrjanc and
Matja\vz Gams Automatic Lexical Stress Assignment of
Unknown Words for Highly Inflected
Slovenian Language . . . . . . . . . . . 165
Jind\vrich Matou\vsek and
Daniel Tihelka and
Josef Psutka and
Jana Hesová German and Czech Speech Synthesis Using
HMM-Based Speech Segment Database . . . 173
Georg Stemmer and
Stefan Steidl and
Elmar Nöth and
Heinrich Niemann and
Anton Batliner Comparison and Combination of Confidence
Measures . . . . . . . . . . . . . . . . 181
Jan Nouza Strategies for Developing a Real-Time
Continuous Speech Recognition System for
Czech Language . . . . . . . . . . . . . 189
Dana Nejedlová Comparative Study on Bigram Language
Models for Spoken Czech Recognition . . 197
Pascal Wiggers and
Leon J. M. Rothkrantz Integration of Speech Recognition and
Automatic Lip-Reading . . . . . . . . . 205
Gies Bouwman and
Lou Boves Utterance Verification Based on the
Likelihood Distance to Alternative Paths 213
Tomá\vs Barto\vs and
Lud\vek Müller Rejection Technique Based on the Mumble
Model . . . . . . . . . . . . . . . . . 221
Petr Motlí\vcek and
Luká\vs Burget Efficient Noise Estimation and Its
Application for Robust Speech
Recognition . . . . . . . . . . . . . . 229
Milan Se\vcujski and
Radovan Obradovi\'c and
Darko Pekar and
Ljubomir Jovanov and
Vlado Deli\'c AlfaNum System for Speech Synthesis in
Serbian Language . . . . . . . . . . . . 237
Janez \vZibert and
France Miheli\vc and
Nikola Pave\vsi\'c Speech Features Extraction Using
Cone-Shaped Kernel Distribution . . . . 245
Josef Psutka and
Pavel Ircing and
Josef V. Psutka and
Vlasta Radová and
William J. Byrne and
Jan Haji\vc and
Samuel Gustman and
Bhuvana Ramabhadran Automatic Transcription of Czech
Language Oral History in the MALACH
Project: Resources and Initial
Experiments . . . . . . . . . . . . . . 253
P. Zervas and
I. Potamitis and
N. Fakotakis and
G. Kokkinakis On the First Greek-TTS Based on Festival
Speech Synthesis . . . . . . . . . . . . 261
Robert Batu\vsek An Analysis of Limited Domains for
Speech Synthesis . . . . . . . . . . . . 265
Genevi\`eve Baudoin and
François Capman and
Jan \vCernocký and
Fadi El Chami and
Maurice Charbit and
Gérard Chollet and
Dijana Petrovska-Delacrétaz Advances in Very Low Bit Rate Speech
Coding Using Recognition and Synthesis
Techniques . . . . . . . . . . . . . . . 269
Kris Demuynck and
Tom Laureys A Comparison of Different Approaches to
Automatic Speech Segmentation . . . . . 277
Yassine Ben Ayed and
Dominique Fohr and
Jean Paul Haton and
Gérard Chollet Keyword Spotting Using Support Vector
Machines . . . . . . . . . . . . . . . . 285
Guido Aversano and
Anna Esposito Automatic Parameter Estimation for a
Context-Independent Speech Segmentation
Algorithm . . . . . . . . . . . . . . . 293
Pascal Nocera and
Georges Linares and
Dominique Massonié and
Lo\"\ic Lefort Phoneme Lattice Based A* Search
Algorithm for Speech Recognition . . . . 301
Michal Prcín and
Lud\vek Müller Heuristic and Statistical Methods for
Speech/Non-Speech Detector Design . . . 309
Elena Karagjosova and
Ivana Kruijff-Korbayová An Analysis of Conditional Responses in
Dialogue . . . . . . . . . . . . . . . . 317
Pavel Mat\vejka and
Petr Schwarz and
Martin Karafiát and
Jan \vCernocký Some Like It Gaussian \ldots . . . . . . 321
András Kocsor and
Kornél Kovács Kernel Springy Discriminant Analysis and
Its Application to a Phonological
Awareness Teaching System . . . . . . . 325
Toma\vz Rotovnik and
Mirjam Sepesy Mau\vcec and
Bogomir Horvat and
Zdravko Ka\vci\vc Large Vocabulary Speech Recognition of
Slovenian Language Using Data-Driven
Morphological Models . . . . . . . . . . 329
Andrej \vZgank and
Toma\vz Rotovnik and
Zdravko Ka\vci\vc and
Bogomir Horvat Uniform Speech Recognition Platform for
Evaluation of New Algorithms . . . . . . 333
Ilyas Potamitis and
Nikos Fakotakis and
Nikos Liolios and
George Kokkinakis Speech Enhancement Using Mixtures of
Gaussians for Speech and Noise . . . . . 337
Robert Hecht and
Jürgen Riedler and
Gerhard Backfried Fitting German into N-Gram Language
Models . . . . . . . . . . . . . . . . . 341
Marina Lublinskaya and
Tatiana Sherstinova Audio Collections of Endangered Arctic
Languages in the Russian Federation . . 347
Anton Batliner and
Viktor Zeißler and
Elmar Nöth and
Heinrich Niemann Prosodic Classification of Offtalk:
First Experiments . . . . . . . . . . . 357
Manolis Maragoudakis and
Aristomenis Thanopoulos and
Nikos Fakotakis Statistical Decision Making from Text
and Dialogue Corpora for Effective Plan
Recognition . . . . . . . . . . . . . . 365
Marta Gatius and
Horacio Rodríguez Natural Language Guided Dialogues for
Accessing the Web . . . . . . . . . . . 373
Carlos D. Martínez-Hinarejos and
Francisco Casacuberta Evaluating a Probabilistic Dialogue
Model for a Railway Information Task . . 381
Nestor Garay-Vitoria and
Julio Abascal and
Luis Gardeazabal Evaluation of Prediction Methods Applied
to an Inflected Language . . . . . . . . 389
Nestor Garay-Vitoria and
Julio Abascal and
Luis Gardeazabal Evaluation of Prediction Methods Applied
to an Inflected Language . . . . . . . . 397
C. K. Yang and
L. J. M. Rothkrantz Knowledge Based Speech Interfacing for
Handhelds . . . . . . . . . . . . . . . 405
Marion Mast and
Thomas Roß and
Henrik Schulz and
Heli Harrikari Different Approaches to Build
Multilingual Conversational Systems . . 413
Victoria Arranz and
Núria Castell and
Montserrat Civit Strategies to Overcome Problematic Input
in a Spanish Dialogue System . . . . . . 421
Guy Camilleri Dialogue Systems and Planning . . . . . 429
Pavel Cenek A Flexible Framework for Evaluation of
New Algorithms for Dialogue Systems . . 437
César González Ferreras and
David Escudero Mancebo and
Valentín Cardeñoso Payo From HTML to VoiceXML: A First Approach 441
Jan Nouza and
Petr Kolá\vr and
Josef Chaloupka Voice Chat with a Virtual Character: The
Good Soldier \vSvejk Case Project . . . 445
I. Azzini and
T. Giorgino and
D. Falavigna and
R. Gretter Application of Spoken Dialogue
Technology in a Medical Domain . . . . . 449
Simon Dobri\vsek and
Jerneja Gros and
Bo\vstjan Vesnicer and
France Miheli\vc and
Nikola Pave\vsi\'c A Voice-Driven Web Browser for Blind
People . . . . . . . . . . . . . . . . . 453
Ale\vs Horák and
Vladimír Kadlec and
Pavel Smr\vz Enhancing Best Analysis Selection and
Parser Comparison . . . . . . . . . . . 461
Anonymous Author Index . . . . . . . . . . . . . . 467
Anonymous Subject Index . . . . . . . . . . . . . 471
Christian Piguet The First Quartz Electronic Watch . . . 1
D. Helms and
E. Schmidt and
A. Schulz and
A. Stammermann and
W. Nebel An Improved Power Macro-Model for
Arithmetic Datapath Components . . . . . 16
Hoang Q. Dao and
Vojin G. Oklobdzija Performance Comparison of VLSI Adders
Using Logical Effort . . . . . . . . . . 25
F. Pessolano and
J. Kessels and
A. Peeters MDSP: A High-Performance Low-Power DSP
Architecture . . . . . . . . . . . . . . 35
Juan-Antonio Carballo and
Sani R. Nassif Impact of Technology in
Power-Grid-Induced Noise . . . . . . . . 45
Armin Windschiegl and
Paul Zuber and
Walter Stechele Exploiting Metal Layer Characteristics
for Low-Power Routing . . . . . . . . . 55
F. Picot and
P. Coll and
D. Auvergne Crosstalk Measurement Technique for CMOS
ICs . . . . . . . . . . . . . . . . . . 65
S. Nikolaidis and
N. Kavvadias and
P. Neofotistos and
K. Kosmatopoulos and
T. Laopoulos and
L. Bisdounis Instrumentation Set-up for Instruction
Level Power Modeling . . . . . . . . . . 71
Emmanuel Allier and
Laurent Fesquet and
Marc Renaudin and
Gilles Sicard Low-Power Asynchronous A/D Conversion 81
Igor Lemberski and
Mark Josephs Optimal Two-Level Delay --- Insensitive
Implementation of Logic Functions . . . 92
Christoph Saas and
Josef A. Nossek Resonant Multistage Charging of Dominant
Capacitances . . . . . . . . . . . . . . 101
Oscar Garnica and
Juan Lanchares and
Román Hermida A New Methodology to Design Low-Power
Asynchronous Circuits . . . . . . . . . 108
Antonio Blotti and
Maurizio Castellucci and
Roberto Saletti Designing Carry Look-Ahead Adders with
an Adiabatic Logic Standard-Cell Library 118
Vojin G. Oklobdzija Clocking and Clocked Storage Elements in
Multi-GHz Environment . . . . . . . . . 128
Torsten Mahnke and
Walter Stechele and
Wolfgang Hoeld Dual Supply Voltage Scaling in a
Conventional Power-Driven Logic
Synthesis Environment . . . . . . . . . 146
A. Landrault and
L. Pellier and
A. Richard and
C. Jay and
M. Robert and
D. Auvergne Transistor Level Synthesis Dedicated to
Fast I.P. Prototyping . . . . . . . . . 156
Fadi A. Aloul and
Soha Hassoun and
Karem A. Sakallah and
David Blaauw Robust SAT-Based Search Algorithm for
Leakage Power Reduction . . . . . . . . 167
Kyu-won Choi and
Abhijit Chatterjee PA-ZSA (Power-Aware Zero-Slack
Algorithm): A Graph-Based Timing
Analysis for Ultra-Low Power CMOS VLSI 178
Daniel González and
Antonio García and
Graham A. Jullien and
Javier Ramírez and
Luis Parrilla and
Antonio Lloris A New Methodology for Efficient
Synchronization of RNS-Based VLSI
Systems . . . . . . . . . . . . . . . . 188
M. R. Casu and
M. Graziano and
G. Masera and
G. Piccinini and
M. M. Prono and
M. Zamboni Clock Distribution Network Optimization
under Self-Heating and Timing
Constraints . . . . . . . . . . . . . . 198
Raúl Jiménez and
Pilar Parra and
Pedro Sanmartín and
Antonio Acosta A Technique to Generate CMOS VLSI
Flip-Flops Based on Differential Latches 209
José Luis Rossello and
Jaume Segura A Compact Charge-Based Propagation Delay
Model for Submicronic CMOS Buffers . . . 219
S. Nikolaidis and
H. Pournara and
A. Chatzigeorgiou Output Waveform Evaluation of Basic Pass
Transistor Structure . . . . . . . . . . 229
M. Alioto and
G. Palumbo and
M. Poli An Approach to Energy Consumption
Modeling in RC Ladder Circuits . . . . . 239
P. Maurine and
N. Azemard and
D. Auvergne Structure Independent Representation of
Output Transition Time for CMOS Library 247
Murali Jayapala and
Francisco Barat and
Pieter Op de Beeck and
Francky Catthoor and
Geert Deconinck and
Henk Corporaal A Low Energy Clustered Instruction
Memory Hierarchy for Long Instruction
Word Processors . . . . . . . . . . . . 258
Xue-mei Zhao and
Yi-zheng Ye Design and Realization of a Low Power
Register File Using Energy Model . . . . 268
Hiroshi Takamura and
Koji Inoue and
Vasily G. Moshnyaga Register File Energy Reduction by
Operand Data Reuse . . . . . . . . . . . 278
Dmitry Ponomarev and
Gurhan Kucuk and
Kanad Ghose Energy-Efficient Design of the Reorder
Buffer . . . . . . . . . . . . . . . . . 289
Kiyoo Itoh Trends in Ultralow-Voltage RAM
Technology . . . . . . . . . . . . . . . 300
Luca Benini and
Alberto Macii and
Enrico Macii Offline Data Profiling Techniques to
Enhance Memory Compression in Embedded
Systems . . . . . . . . . . . . . . . . 314
N. D. Zervas and
G. Pagkless and
M. Dasigenis and
D. Soudris Performance and Power Comparative Study
of Discrete Wavelet Transform on
Programmable Processors . . . . . . . . 323
Eric Senn and
Nathalie Julien and
Johann Laurent and
Eric Martin Power Consumption Estimation of a C
Program for Data-Intensive Applications 332
Claudia Kretzschmar and
Robert Siegmund and
Dietmar Müller A Low Overhead Auto-Optimizing Bus
Encoding Scheme for Low Power Data
Transmission . . . . . . . . . . . . . . 342
C. Baena and
J. Juan-Chico and
M. J. Bellido and
P. Ruiz de Clavijo and
C. J. Jiménez and
M. Valencia Measurement of the Switching Activity of
CMOS Digital Circuits at the Gate Level 353
G. Sutter and
E. Todorovich and
S. Lopez-Buedo and
E. Boemo Low-Power FSMs in FPGA: Encoding
Alternatives . . . . . . . . . . . . . . 363
Alejandro Linares-Barranco and
Gabriel Jiménez and
Antón Civit and
Bernabé Linares-Barranco Synthetic Generation of Events for
Address-Event-Representation
Communications . . . . . . . . . . . . . 371
Toshinori Sato and
Itsujiro Arita Reducing Energy Consumption via Low-Cost
Value Prediction . . . . . . . . . . . . 380
Mohammed Es Salhiene and
Laurent Fesquet and
Marc Renaudin Dynamic Voltage Scheduling for Real Time
Asynchronous Systems . . . . . . . . . . 390
Paulino Ruiz-de-Clavijo and
Jorge Juan and
Manuel J. Bellido and
Alejandro Millán and
David Guerrero Efficient and Fast Current Curve
Estimation of CMOS Digital Circuits at
the Logic Level . . . . . . . . . . . . 400
Kostas Masselos and
Panagiotis Merakos and
Costas E. Goutis Power Efficient Vector Quantization
Design Using Pixel Truncation . . . . . 409
Artur Wróblewski and
Florian Auernhammer and
Josef A. Nossek Minimizing Spurious Switching Activities
in CMOS Circuits . . . . . . . . . . . . 419
M. Alioto and
G. Palumbo Modeling Propagation Delay of MUX, XOR,
and D-Latch Source-Coupled Logic Gates 429
Gregorio Cappuccino and
Giuseppe Cocorullo Operating Region Modelling and Timing
Analysis of CMOS Gates Driving
Transmission Lines . . . . . . . . . . . 438
Pilar Parra and
Antonio Acosta and
Manuel Valencia Selective Clock-Gating for Low Power/Low
Noise Synchronous Counters . . . . . . . 448
Achim Freimann Probabilistic Power Estimation for
Digital Signal Processing Architectures 458
Rosario Mita and
Gaetano Palumbo Modeling of Propagation Delay of a First
Order Circuit with a Ramp Input . . . . 468
Alejandro Millán and
Jorge Juan and
Manuel J. Bellido and
Paulino Ruiz-de-Clavijo and
David Guerrero Characterization of Normal Propagation
Delay for Delay Degradation Model (DDM) 477
Razvan Ionita and
Andrei Vladimirescu and
Paul Jespers Automated Design Methodology for CMOS
Analog Circuit Blocks in Complex Systems 487
Anonymous Author Index . . . . . . . . . . . . . . 495
S. Abiteboul Issues in Monitoring Web Data . . . . . 1
C. Vassilakis and
G. Lepouras Controlled Caching of Dynamic WWW Pages 9
D. Dhyani and
S. S. Bhowmick and
W. K. Ng Deriving and Verifying Statistical
Distribution of a Hyperlink-Based Web
Page Quality Metric . . . . . . . . . . 19
M. Shikata and
A. Nadamoto and
K. Sumiya and
K. Tanaka MWM: Retrieval and Automatic
Presentation of Manual Data for Mobile
Terminals . . . . . . . . . . . . . . . 29
M. Younas and
B. Eaglestone Ensuring Recovery for SACReD Web
Transactions in the E-commerce
Applications . . . . . . . . . . . . . . 40
X. Zhao Workflow Simulation across Multiple
Workflow Domains . . . . . . . . . . . . 50
P. Grefen Transactional Workflows or Workflow
Transactions? . . . . . . . . . . . . . 60
J. Lonchamp Collaboration Flow Management: A New
Paradigm for Virtual Team Support . . . 70
S. A. Chun and
V. Atluri and
N. R. Adam Domain Knowledge-Based Automatic
Workflow Generation . . . . . . . . . . 81
M. Cai and
S. Ghandeharizadeh and
R. Schmidt and
S. Song A Comparison of Alternative Encoding
Mechanisms for Web Services . . . . . . 93
M. Liu Capturing Semantics in HTML Documents 103
R. Ladner and
F. E. Petry Assessment of Spatial Data Mining Tools
for Integration into an Object-Oriented
GIS (GIDB) . . . . . . . . . . . . . . . 113
P. Naggar and
L. Pontieri and
M. Pupo and
G. Terracina and
E. Virardi A Model and a Toolkit for Supporting
Incremental Data Warehouse Construction 123
M. Kaya and
R. Alhajj and
F. Polat and
A. Arslan Efficient Automated Mining of Fuzzy
Association Rules . . . . . . . . . . . 133
S.-D. Kim and
J. W. Lee and
J. Lee and
J. Chae A Two-Phase Stock Trading System Using
Distributional Differences . . . . . . . 143
J. W. Lee and
J. O. A Multi-agent Q-learning Framework for
Optimizing Stock Trading Systems . . . . 153
P. Kroha and
S. Bürgel Using Adaptive Programming in Legal
Advisory Systems . . . . . . . . . . . . 163
C. Matsumoto and
Q. Ma and
K. Tanaka Web Information Retrieval Based on the
Localness Degree . . . . . . . . . . . . 172
K. Goda and
T. Tamura and
M. Oguchi and
M. Kitsuregawa Run-Time Load Balancing System on
SAN-connected PC Cluster for Dynamic
Injection of CPU and Disk Resource -- A
Case Study of Data Mining Application -- 182
T. W. Ling and
W. C. Low and
Z. W. Luo and
S. Y. Lee and
H. G. Li Variable Sized Partitions for Range
Query Algorithms . . . . . . . . . . . . 193
B. List and
R. M. Bruckner and
K. Machaczek and
J. Schiefer A Comparison of Data Warehouse
Development Methodologies Case Study of
the Process Warehouse . . . . . . . . . 203
L. Wookey and
Y. Hwang and
S.-H. Kang and
S. Kim and
C. Kim and
Y. Lee Self-maintainable Data Warehouse Views
Using Differential Files . . . . . . . . 216
K. Dube and
B. Wu and
J. B. Grimson Using ECA Rules in Database Systems to
Support Clinical Protocols . . . . . . . 226
G. Quirchmayr and
Z. Milosevic and
R. Tagg and
J. Cole and
S. Kulkarni Establishment of Virtual Enterprise
Contracts . . . . . . . . . . . . . . . 236
D. Dzemydiene and
V. Rudzkiene Multiple Regression Analysis in Crime
Pattern Warehouse for Decision Support 249
C. Wouters and
T. Dillon and
W. Rahayu and
E. Chang A Practical Walkthrough of the Ontology
Derivation Rules . . . . . . . . . . . . 259
M. Arenas and
W. Fan and
L. Libkin What's Hard about XML Schema
Constraints? . . . . . . . . . . . . . . 269
D. D. Kha and
M. Yoshikawa and
S. Uemura Application of rUID in Processing XML
Queries on Structure and Keyword . . . . 279
S. Chatvichienchai and
M. Iwaihara and
Y. Kambayashi Translating Access Authorizations for
Transformed XML Documents . . . . . . . 290
J. M. Pérez and
M. J. Aramburu and
R. Berlanga XRL: A XML-Based Query Language for
Advanced Services in Digital Libraries 300
M. Palmirani and
R. Brighi Norma-System: A Legal Document System
for Managing Consolidated Acts . . . . . 310
A. Troncoso Lora and
José Riquelme Santos and
Jesús Riquelme Santos and
J. L. Martínez Ramos and
A. Gómez Expósito Electricity Market Price Forecasting:
Neural Networks versus Weighted-Distance
k Nearest Neighbours . . . . . . . . . . 321
J. D. Chung and
O. H. Paek and
J. W. Lee and
K. H. Ryu Temporal Pattern Mining of Moving
Objects for Location-Based Service . . . 331
A. S. Varde and
E. A. Rundensteiner MEDWRAP: Consistent View Maintenance
over Distributed Multi-relation Sources 341
G. Ruberg and
F. Baião and
M. Mattoso Estimating Costs of Path Expression
Evaluation in Distributed Object
Databases . . . . . . . . . . . . . . . 351
F. Perich and
S. Avancha and
D. Chakraborty and
A. Joshi and
Yelena Yesha Profile Driven Data Management for
Pervasive Environments . . . . . . . . . 361
S. Göbel and
J. Haist and
H. Reiterer and
F. Müller INVISIP: Usage of Information
Visualization Techniques to Access
Geospatial Data Archives . . . . . . . . 371
G. Manco and
C. Pizzuti and
D. Talia \em Eureka!: A Tool for Interactive
Knowledge Discovery . . . . . . . . . . 381
K. Kuramitsu and
K. Sakamura Electronic Tickets on Contactless
Smartcard Database . . . . . . . . . . . 392
D. Y. Ye and
M. C. Lee and
T. I. Wang Mobile Agents for Distributed
Transactions of a Distributed
Heterogeneous Database System . . . . . 403
D.-X. Ou and
K.-Y. Lam and
D.-C. Dong An Adaptive Direction-Based Location
Update Scheme for Next Generation PCS
Networks . . . . . . . . . . . . . . . . 413
G. Vargas-Solar and
C. Collet ADEES: An Adaptable and Extensible Event
Based Infrastructure . . . . . . . . . . 423
M. Bramer Using J-Pruning to Reduce Overfitting of
Classification Rules in Noisy Domains 433
H. Hajji and
E. Terzi A Framework for Reasoning on Objects
with Geometric Constraints . . . . . . . 443
C. Bettini and
S. Ruffini Deriving Abstract Views of
Multi-granularity Temporal Constraint
Networks . . . . . . . . . . . . . . . . 454
G. Fu and
J. Shao and
S. M. Embury and
W. A. Gray Representing Constraint Business Rules
Extracted from Legacy Systems . . . . . 464
J. Debenham Agents for Industry Process Management 474
L. Zhao and
S. S. Yuan and
S. Peng and
L. T. Wang A New Efficient Data Cleansing Method 484
M. P. O'Mahony and
N. J. Hurley and
G. C. M. Silvestre Promoting Recommendations: An Attack on
Collaborative Filtering . . . . . . . . 494
M. Roger and
A. Simonet and
M. Simonet Bringing Together Description Logics and
Database in an Object Oriented Model . . 504
A. Jod\lowski and
P. Habela and
J. P\lodzien and
K. Subieta Objects and Roles in the Stack-Based
Approach . . . . . . . . . . . . . . . . 514
R. de Matos Galante and
A. Bueno da Silva Roma and
A. Jantsch and
N. Edelweiss and
C. Saraiva dos Santos Dynamic Schema Evolution Management
Using Version in Temporal
Object-Oriented Databases . . . . . . . 524
G. Stumme Efficient Data Mining Based on Formal
Concept Analysis . . . . . . . . . . . . 534
A. Galton and
J. C. Augusto Two Approaches to Event Definition . . . 547
C. Artelsmair and
W. Essmayr and
P. Lang and
R. Wagner and
E. Weippl CoSMo: An Approach Towards Co nceptual S
ecurity Mo deling . . . . . . . . . . . 557
R. Harr Exploring the Concept of Group
Interaction through Action in a Mobile
Context . . . . . . . . . . . . . . . . 567
W. Guan and
R. K. Wong Inter-system Triggering for
Heterogeneous Database Systems . . . . . 577
B. G. T. Lowden and
J. Robinson Constructing Inter-relational Rules for
Semantic Query Optimisation . . . . . . 587
P. Bosc and
L. Duval and
O. Pivert About Selections and Joins in
Possibilistic Queries Addressed to
Possibilistic Databases . . . . . . . . 597
S. Khan and
P. L. Mott \em LeedsCQ: A Scalable Continual
Queries System . . . . . . . . . . . . . 607
M. Moura Moro and
N. Edelweiss and
A. Pereira Zaupa and
C. Saraiva dos Santos TVQL --- Temporal Versioned Query
Language . . . . . . . . . . . . . . . . 618
P. Ramadour and
C. Cauvet Approach and Model for Business
Components Specification . . . . . . . . 628
E. Gams and
T. Berka and
S. Reich The TrailTRECer Framework --- A Platform
for Trail-Enabled Recommender
Applications . . . . . . . . . . . . . . 638
Z. X. Loh and
T. W. Ling and
C. H. Ang and
S. Y. Lee Adaptive Method for Range Top- $k$
Queries in OLAP Data Cubes . . . . . . . 648
W. H. Tok and
S. Bressan dbRouter --- A Scaleable and Distributed
Query Optimization and Processing
Framework . . . . . . . . . . . . . . . 658
K. Frikken and
M. Atallah and
S. Prabhakar and
R. Safavi-Naini Optimal Parallel I/O for Range Queries
through Replication . . . . . . . . . . 669
P. Werstein and
J. R. McDonald A Database for Repetitive, Unpredictable
Moving Objects . . . . . . . . . . . . . 679
B. Reiner and
K. Hahn and
G. Höfling and
P. Baumann Hierarchical Storage Support and
Management for Large-Scale
Multidimensional Array Database
Management Systems . . . . . . . . . . . 689
C. Daassi and
M.-C. Fauvet and
L. Nigay Multiple Visual Representation of
Temporal Data . . . . . . . . . . . . . 701
J. Gryz and
D. Liang Query Optimization via Empty Joins . . . 710
Y. Chen and
S. Madria and
K. Passi and
S. Bhowmick Efficient Processing of XPath Queries
Using Indexes . . . . . . . . . . . . . 721
D. Kalashnikov and
S. Prabhakar and
S. Hambrusch and
W. Aref Efficient Evaluation of Continuous Range
Queries on Moving Objects . . . . . . . 731
H. Shin and
B. Moon and
S. Lee Partition-Based Similarity Join in High
Dimensional Data Spaces . . . . . . . . 741
M. Bouzeghoub and
B. Farias Lóscio and
Z. Kedad and
A. Soukane Heterogeneous Data Source Integration
and Evolution (Extended Abstract) . . . 751
K. Hatano and
H. Kinutani and
M. Yoshikawa and
S. Uemura Information Retrieval System for XML
Documents . . . . . . . . . . . . . . . 758
T. Ueda and
T. Amagasa and
M. Yoshikawa and
S. Uemura A System for Retrieval and Digest
Creation of Video Data Based on
Geographic Objects . . . . . . . . . . . 768
M. Tada and
T. Kato and
I. Shinohara Similarity Image Retrieval System Using
Hierarchical Classification . . . . . . 779
A. Hemnani and
S. Bressan Information Extraction --- Tree
Alignment Approach to Pattern Discovery
in Web Documents . . . . . . . . . . . . 789
E. Vossough and
J. R. Getta Processing of Continuous Queries over
Unlimited Data Streams . . . . . . . . . 799
T. K. Dang and
J. Küng and
R. Wagner ISA --- An Incremental Hyper-sphere
Approach for Efficiently Solving Complex
Vague Queries . . . . . . . . . . . . . 810
K. Hahn and
B. Reiner and
G. Höfling and
P. Baumann Parallel Query Support for
Multidimensional Data: Inter-object
Parallelism . . . . . . . . . . . . . . 820
J. Guan and
S. Zhou Pruning Training Corpus to Speedup Text
Classification . . . . . . . . . . . . . 831
Y. Park and
P. Kim and
W. Kim and
J.-J. Song and
S. Panchanathan Towards Retrieval of Visual Information
Based on the Semantic Models . . . . . . 841
J.-J. Song and
F. Golshani $3$D Object Retrieval by Shape
Similarity . . . . . . . . . . . . . . . 851
F. Buccafurri and
F. Furfaro and
G. Lax and
D. Sacc\`a Binary-Tree Histograms with Tree Indices 861
T.-H. Ong and
K.-L. Tan and
H. Wang Indexing Genomic Databases for Fast
Homology Searching . . . . . . . . . . . 871
K. Stockinger Bitmap Indices for Speeding Up
High-Dimensional Data Analysis . . . . . 881
K. Sugiyama and
K. Hatano and
M. Yoshikawa and
S. Uemura A Method of Improving Feature Vector for
Web Pages Reflecting the Contents of
Their Out-Linked Pages . . . . . . . . . 891
Y. Wang and
M. Kitsuregawa On Combining Link and Contents
Information for Web Page Clustering . . 902
R. Cappelli and
A. Lumini and
D. Maio MKL-Tree: A Hierarchical Data Structure
for Indexing Multidimensional Data . . . 914
M. Thomas and
J. M. Hellerstein Boolean Bounding Predicates for Spatial
Access Methods . . . . . . . . . . . . . 925
G.-H. Cha and
Y.-I. Yoon Clustered Indexing Technique for
Multidimensional Index Structures . . . 935
A. M. Tjoa and
R. R. Wagner Database and Expert Systems 2002 ``Quo
vadis''? . . . . . . . . . . . . . . . . 945
Anonymous Author Index . . . . . . . . . . . . . . 949
Marco Botta and
Jean-François Boulicaut and
Cyrille Masson and
Rosa Meo A Comparison between Query Languages for
the Extraction of Association Rules . . 1
Choh Man Teng Learning from Dissociations . . . . . . 11
Daniele Braga and
Alessandro Campi and
Mika Klemettinen and
PierLuca Lanzi Mining Association Rules from XML Data 21
Tao Li and
Shenghuo Zhu and
Mitsunori Ogihara and
Yinhe Cheng Estimating Joint Probabilities from
Marginal Ones . . . . . . . . . . . . . 31
Ching-Huang Yun and
Kun-Ta Chuang and
Ming-Syan Chen Self-Tuning Clustering: An Adaptive
Clustering Method for Transaction Data 42
Shenghuo Zhu and
Tao Li and
Mitsuonri Ogihara \em CoFD: An Algorithm for Non-distance
Based Clustering in High Dimensional
Spaces . . . . . . . . . . . . . . . . . 52
Shu-Chuan Chu and
John F. Roddick and
J. S. Pan An Efficient $ {K} $-Medoids-Based
Algorithm Using Previous Medoid Index,
Triangular Inequality Elimination
Criteria, and Partial Distance Search 63
Sòren E. Jespersen and
Jesper Thorhauge and
Torben Bach Pedersen A Hybrid Approach to Web Usage Mining 73
Carsten Pohle and
Myra Spiliopoulou Building and Exploiting Ad Hoc Concept
Hierarchies for Web Log Analysis . . . . 83
Bharat Bhargava and
Yuhui Zhong Authorization Based on Evidence and
Trust . . . . . . . . . . . . . . . . . 94
Evimaria Terzi and
Yuhui Zhong and
Bharat Bhargava and
Pankaj and
Sanjay Madria An Algorithm for Building User-Role
Profiles in a Trust Environment . . . . 104
Yue-Shi Lee and
Show-Jane Yen Neural-Based Approaches for Improving
the Accuracy of Decision Trees . . . . . 114
Fabrizio Angiulli and
Clara Pizzuti Approximate $k$-Closest-Pairs with Space
Filling Curves . . . . . . . . . . . . . 124
Christian Böhm and
Florian Krebs and
Hans-Peter Kriegel Optimal Dimension Order: A Generic
Technique for the Similarity Join . . . 135
Ming-Yen Lin and
Suh-Yin Lee Fast Discovery of Sequential Patterns by
Memory Indexing . . . . . . . . . . . . 150
Li Zhao and
Sung Sam Yuan and
Qi Xiao Yang and
Sun Peng Dynamic Similarity for Fields with NULL
Values . . . . . . . . . . . . . . . . . 161
Simon Hawkins and
Hongxing He and
Graham J. Williams and
Rohan Baxter Outlier Detection Using Replicator
Neural Networks . . . . . . . . . . . . 170
Viet Phan Luong The Closed Keys Base of Frequent
Itemsets . . . . . . . . . . . . . . . . 181
Yujin Lee and
Wootaek Kim and
Kyungsook Han New Representation and Algorithm for
Drawing RNA Structure with Pseudoknots 191
Stijn Viaene and
Richard Derrig and
Guido Dedene Boosting Naive Bayes for Claim Fraud
Diagnosis . . . . . . . . . . . . . . . 202
Su-Jeong Ko and
Jung-Hyun Lee Optimization of Association Word
Knowledge Base through Genetic Algorithm 212
Weiqiang Lin and
Mehmet A. Orgun and
Graham J. Williams Mining Temporal Patterns from Health
Care Data . . . . . . . . . . . . . . . 222
Pedro Bizarro and
Henrique Madeira Adding a Performance-Oriented
Perspective to Data Warehouse Design . . 232
Dennis Pedersen and
Karsten Riis and
Torben Bach Pedersen Cost Modeling and Estimation for
OLAP-XML Federations . . . . . . . . . . 245
Sourav S. Bhowmick and
Wee Keong Ng and
Sanjay Madria and
Mukesh Mohania Constraint-Free Join Processing on
Hyperlinked Web Data . . . . . . . . . . 255
Cristina Dutra de Aguiar Ciferri and
Fernando da Fonseca de Souza Focusing on Data Distribution in the
WebD$^2$ W System . . . . . . . . . . . 265
W. Hümmer and
W. Lehner and
A. Bauer and
L. Schlesinger A Decathlon in Multidimensional
Modeling: Open Issues and Some Solutions 275
Xintao Wu and
Daniel Barbará Modeling and Imputation of Large
Incomplete Multidimensional Datasets . . 286
Ladjel Bellatreche and
Michel Schneider and
Mukesh Mohania and
Bharat Bhargava PartJoin: An Efficient Storage and Query
Execution for Data Warehouses . . . . . 296
Bin Liu and
Songting Chen and
Elke A. Rundensteiner A Transactional Approach to Parallel
Data Warehouse Maintenance . . . . . . . 307
Robert M. Bruckner and
Beate List and
Josef Schiefer Striving towards Near Real-Time Data
Integration for Data Warehouses . . . . 317
Pedro Furtado and
João Pedro Costa Time-Interval Sampling for Improved
Estimations in Data Warehouses . . . . . 327
Anonymous Author Index . . . . . . . . . . . . . . 339
I. T. Hawryszkiewycz Enabling Virtual Enterprises: A Case for
Multi-disciplinary Research . . . . . . 1
Ravi Kothari and
Mukesh Mohania and
Yahiko Kambayashi Increasing Realized Revenue in a Web
Based Dutch Auction . . . . . . . . . . 7
Samir Aknine Strategies and Behaviours of Agents in
Multi-phased Negotiations . . . . . . . 17
S. Kameshwaran and
Y. Narahari A New Approach to the Design of
Electronic Exchanges . . . . . . . . . . 27
Martin Bichler and
Jayant Kalagnanam and
Ho Soo Lee and
Juhnyoung Lee Winner Determination Algorithms for
Electronic Auctions: A Framework Design 37
F. J. García and
A. B. Gil and
N. Moreno and
B. Curto A Web-Based E-commerce Facilitator
Intermediary for Small and Medium
Enterprises: A B2B/B2C Hybrid Proposal 47
Franz Pühretmair and
Hildegard Rumetshofer and
Erwin Schaumlechner Extended Decision Making in Tourism
Information Systems . . . . . . . . . . 57
John Debenham Identifying Arbitrage Opportunities in
E-markets . . . . . . . . . . . . . . . 67
Jin Lu and
Lihui Chen An Architecture for Building User-Driven
Web Tasks via Web Services . . . . . . . 77
Ullas Nambiar and
Zo'e Lacroix and
Stéphane Bressan and
Mong Li Lee and
Ying Guang Li Efficient XML Data Management: An
Analysis . . . . . . . . . . . . . . . . 87
Andrea Maurino and
Piero Fraternali Commercial Tools for the Development of
Personalized Web Applications: A Survey 99
F. Buccafurri and
D. Rosaci and
G. M. L. Sarn\`e and
D. Ursino An Agent-Based Hierarchical Clustering
Approach for E-commerce Environments . . 109
M. Younas and
N. H. Shah and
K.-M. Chao A Multi-agent Approach to SACReD
Transactions for E-commerce Applications 119
Yan Wang and
Kian-Lee Tan and
Xiaolin Pang A Parallel Dispatch Model with Secure
and Robust Routes for Mobile Agents . . 129
Helmut Kneer and
Henrik Stormer and
Harald Häuschen and
Burkhard Stiller An Agent-Based Framework for Monitoring
Service Contracts . . . . . . . . . . . 139
Masayuki Kozawa and
Mizuho Iwaihara and
Yahiko Kambayashi Constraint Search for Comparing
Multiple-Incentive Merchandises . . . . 152
Sangwon Park and
Yoonra Choi and
Hyoung-Joo Kim XML Query Processing Using Signature and
DTD . . . . . . . . . . . . . . . . . . 162
Devanshu Dhyani and
Sourav S. Bhowmick and
Wee Keong Ng Modelling and Predicting Web Page
Accesses Using Burrell's Model . . . . . 172
Dimitris Karagiannis and
Harald Kühn Metamodelling Platforms . . . . . . . . 182
Wolfram Wöß and
Anton Dunzendorfer Homogeneous EDI between Heterogeneous
Web-Based Tourism Information Systems 183
Kalpdrum Passi and
Louise Lane and
Sanjay Madria and
Bipin C. Sakamuri and
Mukesh Mohania and
Sourav Bhowmick A Model for XML Schema Integration . . . 193
Javier López and
Antonio Maña and
Mariemma I. Yagüe XML-Based Distributed Access Control
System . . . . . . . . . . . . . . . . . 203
Dietrich Fahrenholtz and
Winfried Lamersdorf Transactional Security for a Distributed
Reputation Management System . . . . . . 214
Antonio Maña and
Sonia Matamoros Practical Mobile Digital Signatures . . 224
Richard Au and
Ming Yao and
Mark Looi and
Paul Ashley Secure Client Agent Environment (SCAE)
for World Wide Web . . . . . . . . . . . 234
SuJeong Ko and
JungHyun Lee User Preference Mining through
Collaborative Filtering and Content
Based Filtering in Recommender System 244
Taek-Hun Kim and
Young-Suk Ryu and
Seok-In Park and
Sung-Bong Yang An Improved Recommendation Algorithm in
Collaborative Filtering . . . . . . . . 254
Natwar Modani and
Parul A. Mittal and
Amit A. Nanavati and
Biplav Srivastava Series of Dynamic Targeted
Recommendations . . . . . . . . . . . . 262
Seung-Kyu Ko and
Won-Sung Sohn and
Kyong-Ho Lee and
Soon-Bum Lim and
Yoon-Chul Choy A Study of Content Conversion between
eBook Standards . . . . . . . . . . . . 273
Mara Nikolaidou and
Dimosthenis Anagnostopoulos Web-Based System Configuration and
Performance Evaluation Using a
Knowledge-Based Methodology . . . . . . 284
Georg Sonneck and
Renate Motschnig and
Thomas Mueck Mapping UML Web Navigation Stereotypes
to XML Data Skeletons . . . . . . . . . 294
Erol Bozsak and
Marc Ehrig and
Siegfried Handschuh and
Andreas Hotho and
Alexander Maedche and
Boris Motik and
Daniel Oberle and
Christoph Schmitz and
Steffen Staab and
Ljiljana Stojanovic and
Nenad Stojanovic and
Rudi Studer and
Gerd Stumme and
York Sure and
Julien Tane and
Raphael Volz and
Valentin Zacharias KAON --- Towards a Large Scale Semantic
Web . . . . . . . . . . . . . . . . . . 304
Matthias Enzmann and
Thomas Kunz and
Markus Schneider Privacy Protection through Unlinkability
of Customer Activities in Business
Processes Using Mobile Agents . . . . . 314
Hyung-Woo Lee and
Sung-Min Lee and
Im-Yeong Lee Secure Electronic Copyright Distribution
with Public Key Based Traitor Tracing 324
Shiuh-Jeng Wang and
Kai-Sheng Yang Watermark Embedding Mechanism Using
Modulus-Based for Intellectual Property
Protection on Image Data . . . . . . . . 333
Josep Lluís Ferrer-Gomila and
Apol\textperiodcenteredl\`onia Martínez-Nadal and
Magdalena Payeras-Capell\`a and
Llorenç Huguet-Rotger A Juridical Validation of a Contract
Signing Protocol . . . . . . . . . . . . 343
Hans Albrecht Schmid and
Gustavo Rossi Designing Business Processes in
E-commerce Applications . . . . . . . . 353
Christopher Ward and
Melissa J. Buco and
Rong N. Chang and
Laura Z. Luan A Generic SLA Semantic Model for the
Execution Management of E-business
Outsourcing Contracts . . . . . . . . . 363
Chun Ouyang and
Lars Michael Kristensen and
Jonathan Billington A Formal and Executable Specification of
the Internet Open Trading Protocol . . . 377
Vorapranee Khu-Smith and
Chris J. Mitchell Using EMV Cards to Protect E-commerce
Transactions . . . . . . . . . . . . . . 388
Nina Kreyer and
Key Pousttchi and
Klaus Turowski Standardized Payment Procedures as Key
Enabling Factor for Mobile Commerce . . 400
A. Min Tjoa and
Gerald Quirchmayr Some Thoughts on Research Perspectives
in E-business . . . . . . . . . . . . . 410
Anonymous Author Index . . . . . . . . . . . . . . 413
Erol Gelenbe G-Networks: Multiple Classes of Positive
Customers, Signals, and Product Form
Results . . . . . . . . . . . . . . . . 1
Isi Mitrani Spectral Expansion Solutions for
Markov-Modulated Queues . . . . . . . . 17
Alma Riska and
Evgenia Smirni M/G/1-Type Markov Processes: A Tutorial 36
J. M. Fourneau and
N. Pekergin An Algorithmic Approach to Stochastic
Bounds . . . . . . . . . . . . . . . . . 64
David D. Yao Dynamic Scheduling via Polymatroid
Optimization . . . . . . . . . . . . . . 89
Dror G. Feitelson Workload Modeling for Performance
Evaluation . . . . . . . . . . . . . . . 114
Virgilio A. F. Almeida Capacity Planning for Web Services . . . 142
Paolo Cremonesi and
Giuseppe Serazzi End-to-End Performance of Web Services 158
Reinhold Weicker Benchmarking . . . . . . . . . . . . . . 179
Mauro Andreolini and
Valeria Cardellini and
Michele Colajanni Benchmarking Models and Tools for
Distributed Web-Server Systems . . . . . 208
Marco Bernardo and
Lorenzo Donatiello and
Paolo Ciancarini Stochastic Process Algebra: From an
Algebraic Formalism to an Architectural
Description Language . . . . . . . . . . 236
Christel Baier and
Boudewijn Haverkort and
Holger Hermanns and
Joost-Pieter Katoen Automated Performance and Dependability
Evaluation Using Model Checking . . . . 261
Ravishankar K. Iyer and
Zbigniew Kalbarczyk Measurement-Based Analysis of System
Dependability Using Fault Injection and
Field Failure Data . . . . . . . . . . . 290
Kishor S. Trivedi and
Kalyanaraman Vaidyanathan Software Reliability and Rejuvenation:
Modeling and Analysis . . . . . . . . . 318
Vincenzo Grassi and
Vittorio Cortellessa and
Raffaela Mirandola Performance Validation of Mobile
Software Architectures . . . . . . . . . 346
Edmundo de Souza e Silva and
Rosa M. M. Leão and
Berthier Ribeiro-Neto and
Sérgio Campos Performance Issues of Multimedia
Applications . . . . . . . . . . . . . . 374
András Horváth and
Miklós Telek Markovian Modeling of Real Data Traffic:
Heuristic Phase Type and MAP Fitting of
Heavy Tailed and Fractal Like Samples 405
Marco Conti and
Enrico Gregori Optimization of Bandwidth and Energy
Consumption in Wireless Local Area
Networks . . . . . . . . . . . . . . . . 435
Jerry Rolia and
Rich Friedrich and
Chandrakant Patel Service Centric Computing --- Next
Generation Internet Computing . . . . . 463
Fabrizio Gagliardi and
Bob Jones and
Mario Reale and
Stephen Burke European DataGrid Project: Experiences
of Deploying a Large Scale Testbed for
E-science Applications . . . . . . . . . 480
Anonymous Author Index . . . . . . . . . . . . . . 501
William Cook Solving Traveling Salesman Problems . . 1
Tamal K. Dey Computing Shapes from Point Cloud Data 2
Anna R. Karlin Mechanism Design for Fun and Profit . . 3
Mikkel Thorup On Distance Oracles and Routing in
Graphs . . . . . . . . . . . . . . . . . 4
Pankaj K. Agarwal and
Jie Gao and
Leonidas J. Guibas Kinetic Medians and kd-Trees . . . . . . 5
Pankaj K. Agarwal and
Sathish Govindarajan and
S. Muthukrishnan Range Searching in Categorical Data:
Colored Range Searching on Grid . . . . 17
Pankaj K. Agarwal and
Sariel Har-Peled and
Nabil H. Mustafa and
Yusu Wang Near-Linear Time Approximation
Algorithms for Curve Simplification . . 29
Pankaj K. Agarwal and
Torben Hagerup and
Rahul Ray and
Micha Sharir and
Michiel Smid and
Emo Welzl Translating a Planar Object to Maximize
Point Containment . . . . . . . . . . . 42
Pankaj K. Agarwal and
Cecilia M. Procopiuc and
Kasturi R. Varadarajan Approximation Algorithms for $k$-Line
Center . . . . . . . . . . . . . . . . . 54
Dino Ahr and
Gerhard Reinelt New Heuristics and Lower Bounds for the
Min-Max $k$-Chinese Postman Problem . . 64
Ernst Althaus and
Alexander Bockmayr and
Matthias Elf and
Michael Jünger and
Thomas Kasper and
Kurt Mehlhorn SCIL --- Symbolic Constraints in Integer
Linear Programming . . . . . . . . . . . 75
Lars Arge and
Octavian Procopiuc and
Jeffrey Scott Vitter Implementing I/O-efficient Data
Structures Using TPIE . . . . . . . . . 88
Georg Baier and
Ekkehard Köhler and
Martin Skutella On the $k$-Splittable Flow Problem . . . 101
Arye Barkan and
Haim Kaplan Partial Alphabetic Trees . . . . . . . . 114
Chris Barrett and
Keith Bisset and
Riko Jacob and
Goran Konjevod and
Madhav Marathe Classical and Contemporary Shortest Path
Problems in Road Networks:
Implementation and Experimental Analysis
of the TRANSIMS Router . . . . . . . . . 126
Michael A. Bender and
Richard Cole and
Erik D. Demaine and
Martin Farach-Colton Scanning and Traversing: Maintaining
Data for Traversals in a Memory
Hierarchy . . . . . . . . . . . . . . . 139
Michael A. Bender and
Richard Cole and
Erik D. Demaine and
Martin Farach-Colton and
Jack Zito Two Simplified Algorithms for
Maintaining Order in a List . . . . . . 152
Michael A. Bender and
Erik D. Demaine and
Martin Farach-Colton Efficient Tree Layout in a Multilevel
Memory Hierarchy . . . . . . . . . . . . 165
Eric Berberich and
Arno Eigenwillig and
Michael Hemmer and
Susan Hert and
Kurt Mehlhorn and
Elmar Schömer A Computational Basis for Conic Arcs and
Boolean Operations on Conic Polygons . . 174
Mark de Berg and
Joachim Gudmundsson and
Matthew J. Katz and
Christos Levcopoulos and
Mark H. Overmars and
A. Frank van der Stappen TSP with Neighborhoods of Varying Size 187
Piotr Berman and
Sridhar Hannenhalli and
Marek Karpinski 1.375-Approximation Algorithm for
Sorting by Reversals . . . . . . . . . . 200
Hans L. Bodlaender and
Hajo Broersma and
Fedor V. Fomin and
Artem V. Pyatkin and
Gerhard J. Woeginger Radio Labeling with Pre-assigned
Frequencies . . . . . . . . . . . . . . 211
Koen M. J. De Bontridder and
B. J. Lageweg and
Jan K. Lenstra and
James B. Orlin and
Leen Stougie Branch-and-Bound Algorithms for the Test
Cover Problem . . . . . . . . . . . . . 223
Prosenjit Bose and
Joachim Gudmundsson and
Michiel Smid Constructing Plane Spanners of Bounded
Degree and Low Weight . . . . . . . . . 234
Ulrik Brandes Eager st-Ordering . . . . . . . . . . . 247
Adam L. Buchsbaum and
Michael T. Goodrich Three-Dimensional Layers of Maxima . . . 257
Danny Z. Chen and
Xiaobo S. Hu and
Shuang Luan and
Xiaodong Wu and
Cedric X. Yu Optimal Terrain Construction Problems
and Applications in Intensity-Modulated
Radiation Therapy . . . . . . . . . . . 270
Danny Z. Chen and
Michiel Smid and
Bin Xu Geometric Algorithms for Density-Based
Data Clustering . . . . . . . . . . . . 284
Edith Cohen and
Haim Kaplan Balanced-Replication Algorithms for
Distribution Trees . . . . . . . . . . . 297
Mayur Datar Butterflies and Peer-to-Peer Networks 310
Mayur Datar and
S. Muthukrishnan Estimating Rarity and Similarity over
Data Stream Windows . . . . . . . . . . 323
Annalisa De Bonis and
Ugo Vaccaro Efficient Constructions of Generalized
Superimposed Codes with Applications to
Group Testing and Conflict Resolution in
Multiple Access Channels . . . . . . . . 335
Erik D. Demaine and
Alejandro López-Ortiz and
J. Ian Munro Frequency Estimation of Internet Packet
Streams with Limited Space . . . . . . . 348
Kaustubh Deshmukh and
Andrew V. Goldberg and
Jason D. Hartline and
Anna R. Karlin Truthful and Competitive Double Auctions 361
Anders Dessmark and
Andrzej Pelc Optimal Graph Exploration without Good
Maps . . . . . . . . . . . . . . . . . . 374
Tamal K. Dey and
Wulue Zhao Approximating the Medial Axis from the
Voronoi Diagram with a Convergence
Guarantee . . . . . . . . . . . . . . . 387
Benjamin Doerr and
Henning Schnieder Non-independent Randomized Rounding and
an Application to Digital Halftoning . . 399
Alon Efrat and
Stephen G. Kobourov and
Anna Lubiw Computing Homotopic Shortest Paths
Efficiently . . . . . . . . . . . . . . 411
Khaled M. Elbassioni An Algorithm for Dualization in Products
of Lattices and Its Applications . . . . 424
Angela Enosh and
Klara Kedem and
Joel Bernstein Determining Similarity of Conformational
Polymorphs . . . . . . . . . . . . . . . 436
Leah Epstein and
Rob van Stee Minimizing the Maximum Starting Time
On-line . . . . . . . . . . . . . . . . 449
Leah Epstein and
Tamir Tassa Vector Assignment Problems: A General
Framework . . . . . . . . . . . . . . . 461
Eti Ezra and
Dan Halperin and
Micha Sharir Speeding Up the Incremental Construction
of the Union of Geometric Objects in
Practice . . . . . . . . . . . . . . . . 473
Torsten Fahle Simple and Fast: Improving a
Branch-And-Bound Algorithm for Maximum
Clique . . . . . . . . . . . . . . . . . 485
Amos Fiat and
Manor Mendel and
Steven S. Seiden Online Companion Caching . . . . . . . . 499
Leszek Gasieniec and
Aris Pagourtzis and
Igor Potapov Deterministic Communication in Radio
Networks with Large Labels . . . . . . . 512
Claudio Gentile and
Utz-Uwe Haus and
Matthias Köppe and
Giovanni Rinaldi and
Robert Weismantel A Primal Approach to the Stable Set
Problem . . . . . . . . . . . . . . . . 525
Penny Haxell and
April Rasala and
Gordon Wilfong and
Peter Winkler Wide-Sense Nonblocking WDM
Cross-Connects . . . . . . . . . . . . . 538
Pinar Heggernes and
Yngve Villanger Efficient Implementation of a Minimal
Triangulation Algorithm . . . . . . . . 550
Klaus Jansen Scheduling Malleable Parallel Tasks: An
Asymptotic Fully Polynomial-Time
Approximation Scheme . . . . . . . . . . 562
Alexis C. Kaporis and
Lefteris M. Kirousis and
Efthimios G. Lalas The Probabilistic Analysis of a Greedy
Satisfiability Algorithm . . . . . . . . 574
Menelaos I. Karavelas and
Mariette Yvinec Dynamic Additively Weighted Voronoi
Diagrams in $2$D . . . . . . . . . . . . 586
Ekkehard Köhler and
Katharina Langkau and
Martin Skutella Time-Expanded Graphs for Flow-Dependent
Transit Times . . . . . . . . . . . . . 599
Stavros G. Kolliopoulos and
George Steiner Partially-Ordered Knapsack and
Applications to Scheduling . . . . . . . 612
Elisavet Konstantinou and
Yiannis Stamatiou and
Christos Zaroliagis A Software Library for Elliptic Curve
Cryptography . . . . . . . . . . . . . . 625
Sven O. Krumke and
Jörg Rambau and
Luis M. Torres Real-Time Dispatching of Guided and
Unguided Automobile Service Units with
Soft Time Windows . . . . . . . . . . . 637
Eduardo Laber and
Ojas Parekh and
R. Ravi Randomized Approximation Algorithms for
Query Optimization Problems on Two
Processors . . . . . . . . . . . . . . . 649
Stefan Langerman and
Pat Morin Covering Things with Things . . . . . . 662
Maarten Lipmann and
X. Lu and
Willem E. de Paepe and
Rene A. Sitters and
Leen Stougie On-Line Dial-a-Ride Problems under a
Restricted Information Model . . . . . . 674
Krzysztof Lorys and
Grazyna Zwozniak Approximation Algorithm for the Maximum
Leaf Spanning Tree Problem for Cubic
Graphs . . . . . . . . . . . . . . . . . 686
Giovanni Manzini and
Paolo Ferragina Engineering a Lightweight Suffix Array
Construction Algorithm (Extended
Abstract) . . . . . . . . . . . . . . . 698
Jana Maxová and
Jaroslav Ne\vsetril Complexity of Compatible Decompositions
of Eulerian Graphs and Their
Transformations . . . . . . . . . . . . 711
Kurt Mehlhorn and
Ulrich Meyer External-Memory Breadth-First Search
with Sublinear I/O . . . . . . . . . . . 723
Michael Molloy and
Mohammad R. Salavatipour Frequency Channel Assignment on Planar
Networks . . . . . . . . . . . . . . . . 736
Stefan Näher and
Oliver Zlotowski Design and Implementation of Efficient
Data Types for Static Graphs . . . . . . 748
Benny K. Nielsen and
Pawel Winter and
Martin Zachariasen An Exact Algorithm for the
Uniformly-Oriented Steiner Tree Problem 760
Kenichiro Ohta and
Kunihiko Sadakane and
Akiyoshi Shioura and
Takeshi Tokuyama A Fast, Accurate and Simple Method for
Pricing European-Asian and Saving-Asian
Options . . . . . . . . . . . . . . . . 772
Marcin Peczarski Sorting 13 Elements Requires 34
Comparisons . . . . . . . . . . . . . . 785
Tobias Polzin and
Siavash Vahdati Daneshmand Extending Reduction Techniques for the
Steiner Tree Problem . . . . . . . . . . 795
Kirk Pruhs and
Patchrawat Uthaisombut A Comparison of Multicast Pull Models 808
Harald Räcke and
Christian Sohler and
Matthias Westermann Online Scheduling for Sorting Buffers 820
Ingo Schurr and
Tibor Szabó Finding the Sink Takes Some Time . . . . 833
Meinolf Sellmann and
Georg Kliewer and
Achim Koberstein Lagrangian Cardinality Cuts and Variable
Fixing for Capacitated Network Design 845
Hadas Shachnai and
Tami Tamir and
Gerhard J. Woeginger Minimizing Makespan and Preemption Costs
on a System of Uniform Machines . . . . 859
Rob van Stee and
Han La Poutré Minimizing the Total Completion Time
On-line on a Single Machine, Using
Restarts . . . . . . . . . . . . . . . . 872
Ron Wein High-Level Filtering for Arrangements of
Conic Arcs (Extended Abstract) . . . . . 884
Gerhard J. Woeginger An Approximation Scheme for Cake
Division with a Linear Number of Cuts 896
Huaming Zhang and
Xin He A Simple Linear Time Algorithm for
Finding Even Triangulations of
$2$-Connected Bipartite Plane Graphs . . 902
Anonymous Author Index . . . . . . . . . . . . . . 915
Anonymous Author Index . . . . . . . . . . . . . . 000
Krzysztof Socha and
Joshua Knowles and
Michael Sampels A $ \mathcal {MAX - MIN} $ Ant System
for the University Course Timetabling
Problem . . . . . . . . . . . . . . . . 1
Christian Blum ACO Applied to Group Shop Scheduling: A
Case Study on Intensification and
Diversification . . . . . . . . . . . . 14
Shervin Nouyan Agent-Based Approach to Dynamic Task
Allocation . . . . . . . . . . . . . . . 28
Alena Shmygelska and
Rosalía Aguirre-Hernández and
Holger H. Hoos An Ant Colony Optimization Algorithm for
the $2$D HP Protein Folding Problem . . 40
Ismail Ellabib and
Otman A. Basir and
Paul Calamai An Experimental Study of a Simple Ant
Colony System for the Vehicle Routing
Problem with Time Windows . . . . . . . 53
Joaquín Bautista and
Jordi Pereira Ant Algorithms for Assembly Line
Balancing . . . . . . . . . . . . . . . 65
Carlos A. Silva and
Thomas A. Runkler and
João M. Sousa and
Rainer Palm Ant Colonies as Logistic Processes
Optimizers . . . . . . . . . . . . . . . 76
Casper Joost Eyckelhof and
Marko Snoek Ant Systems for a Dynamic TSP . . . . . 88
James Montgomery and
Marcus Randall Anti-pheromone as a Tool for Better
Exploration of Search Space . . . . . . 100
Michael Guntsch and
Martin Middendorf Applying Population Based ACO to Dynamic
Optimization Problems . . . . . . . . . 111
Otto Wittner and
Bjarne E. Helvik Cross-Entropy Guided Ant-Like Agents
Finding Cyclic Paths in Scarcely Meshed
Networks . . . . . . . . . . . . . . . . 123
Marc Reimann and
Karl Doerner and
Richard F. Hartl Insertion Based Ants for Vehicle Routing
Problems with Backhauls and Time Windows 135
Daniel Merkle and
Martin Middendorf Modelling ACO: Composed Permutation
Problems . . . . . . . . . . . . . . . . 149
Jérôme Buhl and
Jean-Louis Deneubourg and
Guy Theraulaz Self-Organized Networks of Galleries in
the Ant Messor Sancta . . . . . . . . . 163
Leonora Bianchi and
Luca Maria Gambardella and
Marco Dorigo Solving the Homogeneous Probabilistic
Traveling Salesman Problem by the ACO
Metaheuristic . . . . . . . . . . . . . 176
Mauro Birattari and
Gianni Di Caro and
Marco Dorigo Toward the Formal Foundation of Ant
Programming . . . . . . . . . . . . . . 188
Jonas Svennebring and
Sven Koenig Towards Building Terrain-Covering Ant
Robots . . . . . . . . . . . . . . . . . 202
Johann Dréo and
Patrick Siarry A New Ant Colony Algorithm Using the
Heterarchical Concept Aimed at
Optimization of Multiminima Continuous
Functions . . . . . . . . . . . . . . . 216
Vittorio Maniezzo and
Matteo Milandri An Ant-Based Framework for Very Strongly
Constrained Problems . . . . . . . . . . 222
Oscar Cordón and
Iñaki Fernández de Viana and
Francisco Herrera Analysis of the Best-Worst Ant System
and Its Variants on the QAP . . . . . . 228
Geoffrey Canright Ants and Loops . . . . . . . . . . . . . 235
Marcus Randall and
James Montgomery Candidate Set Strategies for Ant Colony
Optimisation . . . . . . . . . . . . . . 243
Ryan M. Garlick and
Richard S. Barr Dynamic Wavelength Routing in WDM
Networks via Ant Colony Optimization . . 250
Kok Meng Hoe and
Weng Kin Lai and
Tracy S. Y. Tai Homogeneous Ants for Web Document
Similarity Modeling and Categorization 256
Malek Rahoual and
Riad Hadji and
Vincent Bachelet Parallel Ant System for the Set Covering
Problem . . . . . . . . . . . . . . . . 262
Andre Vogel and
Marco Fischer and
Hendrik Jaehn and
Tobias Teich Real-World Shop Floor Scheduling by Ant
Colony Optimization . . . . . . . . . . 268
Erol Sahin and
Nigel R. Franks Simulation of Nest Assessment Behavior
by Ant Scouts . . . . . . . . . . . . . 274
Marcin L. Pilat and
Tony White Using Genetic Algorithms to Optimize
ACS-TSP . . . . . . . . . . . . . . . . 282
Chen Ling and
Sheng Jie and
Qin Ling and
Chen Hongjian A Method for Solving Optimization
Problems in Continuous Space Using Ant
Colony Algorithm . . . . . . . . . . . . 288
Tom De Wolf and
Liesbeth Jaco and
Tom Holvoet and
Elke Steegmans A Nested Layered Threshold Model for
Dynamic Task Allocation . . . . . . . . 290
Stefka Fidanova ACO Algorithm with Additional
Reinforcement . . . . . . . . . . . . . 292
Salima Ouadfel and
Mohamed Batouche and
Catherine Garbay Ant Colony System for Image Segmentation
Using Markov Random Field . . . . . . . 294
Ugo Vallone Bidimensional Shapes Polygonalization by
ACO . . . . . . . . . . . . . . . . . . 296
Jürgen Branke and
Michael Decker and
Daniel Merkle and
Hartmut Schmeck Coevolutionary Ant Algorithms Playing
Games . . . . . . . . . . . . . . . . . 298
Adnan Acan GAACO: A GA + ACO Hybrid for Faster and
Better Search Capability . . . . . . . . 300
Hussain Aziz Saleh GPS Positioning Networks Design: An
Application of the Ant Colony System . . 302
Miguel A. Alonso and
Jesús Vilares and
Víctor M. Darriba On the Usefulness of Extracting
Syntactic Dependencies for Text Indexing 3
Alan M. Buckeridge and
Richard F. E. Sutcliffe Using Latent Semantic Indexing as a
Measure of Conceptual Association for
Noun Compound Disambiguation . . . . . . 12
Brian P. Crean and
Diarmuid O'Donoghue RADAR: Finding Analogies Using
Attributes of Structure . . . . . . . . 20
Fred Cummins Classifying Languages Based on Speech
Rhythm . . . . . . . . . . . . . . . . . 28
Jim Doran Finding Agents in a Two-Dimensional
Boolean STaM . . . . . . . . . . . . . . 36
Florentino Fdez-Riverola and
Juan M. Corchado and
Jesús M. Torres Neuro-symbolic System for Forecasting
Red Tides . . . . . . . . . . . . . . . 45
Bill Keller and
Rudi Lutz Improved Learning for Hidden Markov
Models Using Penalized Training . . . . 53
Rudi Lutz Recovering High-Level Structure of
Software Systems Using a Minimum
Description Length Principle . . . . . . 61
Paula Mc Dermott and
Colm O'Riordan A System for Multi-agent Information
Retrieval . . . . . . . . . . . . . . . 70
Ajit Narayanan All There Is to the Mind Is to Have the
Right Genes, or, Consciousness as a Form
of Genetic Engineering . . . . . . . . . 78
Michael P. O'Mahony and
Neil J. Hurley and
Guenole C. M. Silvestre Towards Robust Collaborative Filtering 87
Francisco B. Pereira and
Jorge Tavares and
Penousal Machado and
Ernesto Costa GVR: A New Genetic Representation for
the Vehicle Routing Problem . . . . . . 95
Arlindo Silva and
Ana Neves and
Ernesto Costa An Empirical Comparison of Particle
Swarm and Predator Prey Optimisation . . 103
Barry Smyth and
David Wilson and
Derry O'Sullivan Data Mining Support for Case-Based
Collaborative Recommendation . . . . . . 111
Richard F. E. Sutcliffe and
Kieran White The Feasibility of Machine Learning for
Query Answering --- An Experiment in Two
Domains . . . . . . . . . . . . . . . . 119
Tony Veale Meta-knowledge Annotation for Efficient
Natural-Language Question-Answering . . 127
Anthony Brabazon Financial Time Series Modelling Using
Neural Networks: An Assessment of the
Utility of a Stacking Methodology . . . 137
Derek Bridge and
Jerome Kelleher Experiments in Sparsity Reduction: Using
Clustering in Collaborative Recommenders 144
Emilio Corchado and
Colin Fyfe Identification of Visual Features Using
a Neural Version of Exploratory
Projection Pursuit . . . . . . . . . . . 150
Fintan Costello How People Compare an Item's Placement
in Two Alternative Categories . . . . . 158
Ian Dempsey and
Michael O'Neill and
Anthony Brabazon Investigations into Market Index Trading
Models Using Evolutionary Automatic
Programming . . . . . . . . . . . . . . 165
Chris Fairclough and
Pádraig Cunningham An Interactive Story Engine . . . . . . 171
David H. Glass Coherence, Explanation, and Bayesian
Networks . . . . . . . . . . . . . . . . 177
Paulo Gomes and
Francisco C. Pereira and
Nuno Seco and
Paulo Paiva and
Paulo Carreiro and
José L. Ferreira and
Carlos Bento Combining Case-Based Reasoning and
Analogical Reasoning in Software Design 183
Gareth J. F. Jones and
Adenike M. Lam-Adesina Combination Methods for Improving the
Reliability of Machine Translation Based
Cross-Language Information Retrieval . . 190
Orla Lahart and
Colm O'Riordan A System for Music Information Retrieval 197
Michael G. Madden A New Bayesian Network Structure for
Classification Tasks . . . . . . . . . . 203
Lorraine Mc Ginty and
Barry Smyth Evaluating Preference-Based Feedback in
Recommender Systems . . . . . . . . . . 209
Declan McGrath Design of a Musical Instrument
Classifier System Based on Mel Scaled
Cepstral Coefficient Supervectors and a
Supervised Two-Layer Feedforward Neural
Network . . . . . . . . . . . . . . . . 215
David McSherry An Interactive Learning Environment for
Knowledge Engineering . . . . . . . . . 221
Julia Medori and
Eric Atwell and
Paul Gent and
Clive Souter Customising a Copying-Identifier for
Biomedical Science Student Reports:
Comparing Simple and Smart Analyses . . 228
R. Panadero and
J. L. Fernández-Villacañas A Hybridised GA for the Steiner Minimal
Tree Problem . . . . . . . . . . . . . . 234
Robert J. Ross and
Bryan McEleney and
Robert Kelly and
Tarek Abu-Amer and
Michael Walsh and
Julie Carson-Berndsen and
Gregory M. P. O'Hare Speaking Autonomous Intelligent Devices 240
Anonymous Author Index . . . . . . . . . . . . . . 247
Michela Milano and
Willem J. van Hoeve Reduced Cost-Based Ranking for
Generating Promising Subproblems . . . . 1
Gautam Appa and
Ioannis Mourtos and
Dimitris Magos Integrating Constraint and Integer
Programming for the Orthogonal Latin
Squares Problem . . . . . . . . . . . . 17
Paula Amaral and
Pedro Barahona On Optimal Correction of Inconsistent
Linear Constraints . . . . . . . . . . . 33
Yannis Dimopoulos and
Alfonso Gerevini Temporal Planning through Mixed Integer
Programming: A Preliminary Report . . . 47
Nicolas Beldiceanu and
Mats Carlsson A New Multi-resource cumulatives
Constraint with Negative Heights . . . . 63
Tallys H. Yunes On the Sum Constraint:Relaxation and
Applications . . . . . . . . . . . . . . 80
Alan Frisch and
Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Toby Walsh Global Constraints for Lexicographic
Orderings . . . . . . . . . . . . . . . 93
Yahia Lebbah and
Michel Rueher and
Claude Michel A Global Filtering Algorithm for
Handling Systems of Quadratic Equations
and Inequations . . . . . . . . . . . . 109
Vincent A. Cicirello and
Stephen F. Smith Amplification of Search Performance
through Randomization of Heuristics . . 124
Nicola Muscettola Computing the Envelope for
Stepwise-Constant Resource Allocations 139
Olli Kamarainen and
Hani El Sakkout Local Probing Applied to Scheduling . . 155
Djamal Habet and
Chu Min Li and
Laure Devendeville and
Michel Vasquez A Hybrid Approach for SAT . . . . . . . 172
Richard Ostrowski and
Éric Grégoire and
Bertrand Mazure and
Lakhdar Sa\"\is Recovering and Exploiting Structural
Knowledge from CNF Formulas . . . . . . 185
Lintao Zhang and
Sharad Malik Towards a Symmetric Treatment of
Satisfaction and Conflicts in Quantified
Boolean Formula Evaluation . . . . . . . 200
Wei Wei and
Bart Selman Accelerating Random Walks . . . . . . . 216
Frank Hutter and
Dave A. D. Tompkins and
Holger H. Hoos Scaling and Probabilistic Smoothing:
Efficient Dynamic Local Search for SAT 233
Francesca Rossi and
Alessandro Sperduti and
Kristen B. Venable and
Lina Khatib and
Paul Morris and
Robert Morris Learning and Solving Soft Temporal
Constraints: An Experimental Study . . . 249
Pedro Meseguer and
Martí Sánchez and
Gérard Verfaillie Opportunistic Specialization in Russian
Doll Search . . . . . . . . . . . . . . 264
Thierry Petit and
Jean-Charles Régin and
Christian Bessi\`ere Range-Based Algorithm for Max-CSP . . . 280
David G. Mitchell Resolution Complexity of Random
Constraints . . . . . . . . . . . . . . 295
Víctor Dalmau and
Phokion G. Kolaitis and
Moshe Y. Vardi Constraint Satisfaction, Bounded
Treewidth, and Finite-Variable Logics 310
Ola Angelsmark and
Peter Jonsson and
Svante Linusson and
Johan Thapper Determining the Number of Solutions to
Binary CSP Instances . . . . . . . . . . 327
Spiros Skiadopoulos and
Manolis Koubarakis Consistency Checking for Qualitative
Spatial Reasoning with Cardinal
Directions . . . . . . . . . . . . . . . 341
Boi Faltings and
Santiago Macho-Gonzalez Open Constraint Satisfaction . . . . . . 356
Lucas Bordeaux and
Eric Monfroy Beyond NP: Arc-Consistency for
Quantified Constraints . . . . . . . . . 371
Makoto Yokoo and
Koutarou Suzuki and
Katsutoshi Hirayama Secure Distributed Constraint
Satisfaction: Reaching Agreement without
Revealing Private Information . . . . . 387
Barbara M. Smith A Dual Graph Translation of a Problem in
`Life' . . . . . . . . . . . . . . . . . 402
Ian P. Gent and
Warwick Harvey and
Tom Kelsey Groups and Constraints: Symmetry
Breaking during Search . . . . . . . . . 415
Iain McDonald and
Barbara Smith Partial Symmetry Breaking . . . . . . . 431
Jean-François Puget Symmetry Breaking Revisited . . . . . . 446
Pierre Flener and
Alan M. Frisch and
Brahim Hnich and
Zeynep Kiziltan and
Ian Miguel and
Justin Pearson and
Toby Walsh Breaking Row and Column Symmetries in
Matrix Models . . . . . . . . . . . . . 462
Nicolas Barnier and
Pascal Brisset Solving the Kirkman's Schoolgirl Problem
in a Few Seconds . . . . . . . . . . . . 477
David Lesaint Inferring Constraint Types in Constraint
Programming . . . . . . . . . . . . . . 492
Brian C. Williams and
Michel D. Ingham Model-Based Programming: Controlling
Embedded Systems by Reasoning About
Hidden State . . . . . . . . . . . . . . 508
Susan L. Epstein and
Eugene C. Freuder and
Richard Wallace and
Anton Morozov and
Bruce Samuels The Adaptive Constraint Engine . . . . . 525
Thi Bich Hanh Dao and
Arnaud Lallouet and
Andrei Legtchenko and
Lionel Martin Indexical-Based Solver Learning . . . . 541
Kevin Leyton-Brown and
Eugene Nudelman and
Yoav Shoham Learning the Empirical Hardness of
Optimization Problems . . . . . . . . . 556
Yongshao Ruan and
Eric Horvitz and
Henry Kautz Restart Policies with Dependence among
Runs: A Dynamic Programming Approach . . 573
Roman Barták Visopt ShopFloor: On the Edge of
Planning and Scheduling . . . . . . . . 587
Thierry Benoist and
Etienne Gaudin and
Benoit Rottembourg Constraint Programming Contribution to
Benders Decomposition: A Case Study . . 603
Marc Christie and
Éric Languénou and
Laurent Granvilliers Modeling Camera Control with Constrained
Hypertubes . . . . . . . . . . . . . . . 618
Claude Le Pape and
Laurent Perron and
Jean-Charles Régin and
Paul Shaw Robust and Parallel Solving of a Network
Design Problem . . . . . . . . . . . . . 633
Muriel Lauvergne and
Philippe David and
Patrice Boizumault Connections Reservation with Rerouting
for ATM Networks: A Hybrid Approach with
Constraints . . . . . . . . . . . . . . 649
C\`esar Fern\`andez and
Ramón Béjar and
Bhaskar Krishnamachari and
Carla Gomes Communication and Computation in
Distributed CSP Algorithms . . . . . . . 664
Stefan Ratschan Continuous First-Order Constraint
Satisfactionwith Equality and
Disequality Constraints . . . . . . . . 680
John N. Hooker and
Hong Yan A Relaxation of the Cumulative
Constraint . . . . . . . . . . . . . . . 686
Peter J. Stuckey and
Lei Zheng Improving GSAT Using 2SAT . . . . . . . 691
Jakob Mauss and
Frank Seelisch and
Mugur Tatar A Relational Constraint Solver for
Model-Based Engineering . . . . . . . . 696
Abdallah Elkhyari and
Christelle Guéret and
Narendra Jussien Conflict-Based Repair Techniques for
Solving Dynamic Scheduling Problems . . 702
Andrew J. Parkes Scaling Properties of Pure Random Walk
on Random $3$-SAT . . . . . . . . . . . 708
Andrea Roli Criticality and Parallelism in
Structured SAT Instances . . . . . . . . 714
Hachemi Bennaceur and
Chu Min Li Characterizing SAT Problems with the Row
Convexity Property . . . . . . . . . . . 720
Stefano Bistarelli and
Boi Faltings and
Nicoleta Neagu Interchangeability in Soft CSPs . . . . 726
Neil Yorke-Smith and
Carmen Gervet On Constraint Problems with Incompleteor
Erroneous Data . . . . . . . . . . . . . 732
Meinolf Sellmann and
Warwick Harvey Heuristic Constraint Propagation . . . . 738
Meinolf Sellmann An Arc-Consistency Algorithm for the
Minimum Weight All Different Constraint 744
Y. C. Law and
Jimmy H. M. Lee Algebraic Properties of CSP Model
Operators . . . . . . . . . . . . . . . 750
Marc R. C. van Dongen AC-3$_d$ an Efficient Arc-Consistency
Algorithm with a Low Space-Complexity 755
Georg Ringwelski Integrating Search Objects in
Asynchronous Constraint Solving . . . . 761
Hans Schlenker Distributed Constraint-Based Railway
Simulation . . . . . . . . . . . . . . . 762
Karen E. Petrie Symmetry Breaking in Peaceably
Coexisting Armies of Queens . . . . . . 763
Petr Vilím Batch Processing with Sequence Dependent
Setup Times . . . . . . . . . . . . . . 764
Tomá\vs Müller Interactive Heuristic Search Algorithm 765
Neil Yorke-Smith On Constraint Problems with Incomplete
or Erroneous Data . . . . . . . . . . . 766
Andrea Roli Design of a New Metaheuristic for MAXSAT
Problems . . . . . . . . . . . . . . . . 767
Miguel A. Salido and
Federico Barber Disjunctive and Continuous Constraint
Satisfaction Problems . . . . . . . . . 768
Inês Lynce and
João Marques-Silva Tuning Randomization in Backtrack Search
SAT Algorithms . . . . . . . . . . . . . 769
Yuan Zhan Constraint Solving in Test-Data
Generation . . . . . . . . . . . . . . . 770
Markus Bohlin Improving Cost Calculations for Global
Constraints in Local Search . . . . . . 772
Gerrit Renker A Modeling Framework for Constraints . . 773
Linda van Norden and
Hans van Maaren A Linear Programming Based
Satisfiability Solver Using a New
Horn-Driven Search Tree Design . . . . . 775
Luis Quesada and
Peter Van Roy A Concurrent Constraint Programming
Approach for Trajectory Determination of
Autonomous Vehicles . . . . . . . . . . 777
Mattias Grönkvist Using Constraint Propagation to
Accelerate Column Generation in Aircraft
Scheduling . . . . . . . . . . . . . . . 778
Kristen B. Venable Solving and Learning Soft Temporal
Constraints; Ceteris Paribus Statements
Represented as Soft Constraints Problems 779
Frank Seelisch A Partially Solved Form for
Heterogeneous Constraints in Disjunctive
Normal Form . . . . . . . . . . . . . . 780
Brahim Hnich and
Toby Walsh Models of Injection Problems . . . . . . 781
Iain McDonald Partial Symmetry Breaking . . . . . . . 782
Lyndon Drake and
Alan Frisch and
Toby Walsh Automatic Generation of Implied Clauses
for SAT . . . . . . . . . . . . . . . . 783
Carlos Ansótegui and
Felip Many\`a Bridging the Gap between SAT and CSP . . 784
Zeynep Kiziltan Reducing Symmetry in Matrix Models . . . 786
Nicoleta Neagu Studying Interchangeability in
Constraint Satisfaction Problems . . . . 787
Robert Glaubius and
Berthe Y. Choueiry Constraint Modeling in the Context of
Academic Task Assignment . . . . . . . . 789
Ioannis A. Vetsikas Design Tradeoffs for Autonomous Trading
Agents . . . . . . . . . . . . . . . . . 790
Anonymous Author Index . . . . . . . . . . . . . . 793
Susumu Hayashi and
Yohji Akama Limit-Computable Mathematics and Its
Applications . . . . . . . . . . . . . . 1
Frank Neven Automata, Logic, and XML . . . . . . . . 2
Damian Niwinski $ \mu $-Calculus via Games (Extended
Abstract) . . . . . . . . . . . . . . . 27
Max Kanovich Bijections between Partitions by
Two-Directional Rewriting Techniques . . 44
Klaus Aehlig and
Felix Joachimski On Continuous Normalization . . . . . . 59
Alexey V. Chernov and
Dmitriy P. Skvortsov and
Elena Z. Skvortsova and
Nikolai K. Vereshchagin Variants of Realizability for
Propositional Formulas and the Logic of
the Weak Law of Excluded Middle . . . . 74
Douglas Bridges and
Hajime Ishihara and
Peter Schuster Compactness and Continuity,
Constructively Revisited . . . . . . . . 89
Tobias Nipkow Hoare Logics for Recursive Procedures
and Unbounded Nondeterminism . . . . . . 103
Yifeng Chen A Fixpoint Theory for Non-monotonic
Parallelism . . . . . . . . . . . . . . 120
Zoltán Ésik and
Hans Leiß Greibach Normal Form in Algebraically
Complete Semirings . . . . . . . . . . . 135
Harry G. Mairson and
Xavier Rival Proofnets and Context Semantics for the
Additives . . . . . . . . . . . . . . . 151
Joshua S. Hodas and
Pablo López and
Jeffrey Polakow and
Lubomira Stoilova and
Ernesto Pimentel A Tag-Frame System of Resource
Management for Proof Search in
Linear-Logic Programming . . . . . . . . 167
Didier Galmiche and
Daniel Méry and
David Pym Resource Tableaux (Extended Abstract) 183
Pietro Cenciarelli Configuration Theories . . . . . . . . . 200
M. Andrew Moshier and
Achim Jung A Logic for Probabilities in Semantics 216
Paul Blain Levy Possible World Semantics for General
Storage in Call-By-Value . . . . . . . . 232
Guy McCusker A Fully Abstract Relational Model of
Syntactic Control of Interference . . . 247
Jerzy Marcinkowski and
Tomasz Truderung Optimal Complexity Bounds for Positive
LTL Games . . . . . . . . . . . . . . . 262
Antonín Kucera and
Jan Strejcek The Stuttering Principle Revisited: On
the Expressiveness of Nested $ \mathsf
{X} $ and $ \mathsf {U} $ Operators in
the Logic LTL . . . . . . . . . . . . . 276
Marcin Jurdzinski and
Orna Kupferman and
Thomas A. Henzinger Trading Probability for Fairness . . . . 292
Dani\`ele Beauquier and
Alexander Rabinovich and
Anatol Slissenko A Logic of Probability with Decidable
Model-Checking . . . . . . . . . . . . . 306
Thierry Cachat and
Jacques Duparc and
Wolfgang Thomas Solving Pushdown Games with a $ \Sigma_3
$ Winning Condition . . . . . . . . . . 322
Stephan Kreutzer Partial Fixed-Point Logic on Infinite
Structures . . . . . . . . . . . . . . . 337
Dietmar Berwanger and
Erich Grädel and
Giacomo Lenzi On the Variable Hierarchy of the Modal $
\mu $-Calculus . . . . . . . . . . . . . 352
Daniel Leivant Implicit Computational Complexity for
Higher Type Functionals (Extended
Abstract) . . . . . . . . . . . . . . . 367
Matthias Baaz and
Georg Moser On Generalizations of Semi-terms of
Particularly Simple Form . . . . . . . . 382
Régis Barbanchon and
Etienne Grandjean Local Problems, Planar Local Problems
and Linear Time . . . . . . . . . . . . 397
Elmar Böhler and
Edith Hemaspaandra and
Steffen Reith and
Heribert Vollmer Equivalence and Isomorphism for Boolean
Constraint Satisfaction . . . . . . . . 412
Claudia Faggian Travelling on Designs . . . . . . . . . 427
Claudia Faggian and
Martin Hyland Designs, Disputes and Strategies . . . . 442
Masahito Hasegawa Classical Linear Logic of Implications 458
Jean Goubault-Larrecq Higher-Order Positive Set Constraints 473
Ichiro Ogata A Proof Theoretical Account of
Continuation Passing Style . . . . . . . 490
Yoshihiko Kakutani Duality between Call-by-Name Recursion
and Call-by-Value Iteration . . . . . . 506
Manfred Schmidt-Schauß and
Klaus U. Schulz Decidability of Bounded Higher-Order
Unification . . . . . . . . . . . . . . 522
Herman Geuvers and
Gueorgui I. Jojgov Open Proofs and Open Terms: A Basis for
Interactive Logic . . . . . . . . . . . 537
Jean Goubault-Larrecq and
Slawomir Lasota and
David Nowak Logical Relations for Monadic Types . . 553
Albert Atserias and
María Luisa Bonet On the Automatizability of Resolution
and Related Propositional Proof Systems 569
Hans de Nivelle Extraction of Proofs from the Clausal
Normal Form Transformation . . . . . . . 584
Arnold Beckmann Resolution Refutations and Propositional
Proofs with Height-Restrictions . . . . 599
Anonymous Author Index . . . . . . . . . . . . . . 613
Thomas Reps Static Program Analysis via $3$-Valued
Logic . . . . . . . . . . . . . . . . . 1
Robert J. Hall Open Modeling in Multi-stakeholder
Distributed Systems: Research and Tool
Challenges . . . . . . . . . . . . . . . 2
Javier Esparza An Algebraic Approach to the Static
Analysis of Concurrent Software . . . . 3
Markus Müller-Olm and
Helmut Seidl Polynomial Constants Are Decidable . . . 4
Flemming Nielson and
Hanne Riis Nielson and
Helmut Seidl Normalizable Horn Clauses, Strongly
Recognizable Relations, and Spi . . . . 20
Arnaud Venet Nonuniform Alias Analysis of Recursive
Data Structures and Arrays . . . . . . . 36
B. Jeannet Representing and Approximating Transfer
Functions in Abstract Interpretation of
Hetereogeneous Datatypes . . . . . . . . 52
Tuba Yavuz-Kahveci and
Tevfik Bultan Automated Verification of Concurrent
Linked Lists with Counters . . . . . . . 69
Lunjin Lu and
Andy King Backward Type Inference Generalises Type
Checking . . . . . . . . . . . . . . . . 85
Claudio Vaucheret and
Francisco Bueno More Precise Yet Efficient Type
Inference for Logic Programs . . . . . . 102
Antoine Miné A Few Graph-Based Relational Numerical
Abstract Domains . . . . . . . . . . . . 117
Matthieu Martel Static Analysis of the Numerical
Stability of Loops . . . . . . . . . . . 133
Alexander Serebrenik and
Danny De Schreye On Termination of Logic Programs with
Floating Point Computations . . . . . . 151
Christian W. Probst Modular Control Flow Analysis for
Libraries . . . . . . . . . . . . . . . 165
John Whaley and
Monica S. Lam An Efficient Inclusion-Based Points-To
Analysis for Strictly-Typed Languages 180
R. Manevich and
G. Ramalingam and
J. Field and
D. Goyal and
M. Sagiv Compactly Representing First-Order
Structures for Static Analysis . . . . . 196
Roberto Bagnara and
Elisa Ricci and
Enea Zaffanella and
Patricia M. Hill Possibly Not Closed Convex Polyhedra and
the Parma Polyhedra Library . . . . . . 213
Stephen Adams and
Thomas Ball and
Manuvir Das and
Sorin Lerner and
Sriram K. Rajamani and
Mark Seigle and
Westley Weimer Speeding Up Dataflow Analysis Using
Flow-Insensitive Pointer Analysis . . . 230
Erik Ruf Improving the Precision of
Equality-Based Dataflow Analyses . . . . 247
Todd L. Veldhuizen and
Andrew Lumsdaine Guaranteed Optimization: Proving
Nullspace Properties of Compilers . . . 263
Karl-Filip Faxén Representation Analysis for Coercion
Placement . . . . . . . . . . . . . . . 278
Marc Langenbach and
Stephan Thesing and
Reinhold Heckmann Pipeline Modeling for Timing Analysis 294
Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky Analysing Approximate Confinement under
Uniform Attacks . . . . . . . . . . . . 310
Ricardo Corin and
Sandro Etalle An Improved Constraint-Based System for
the Verification of Security Protocols 326
Bruno Blanchet From Secrecy to Authenticity in Security
Protocols . . . . . . . . . . . . . . . 342
Mirko Zanotti Security Typings by Abstract
Interpretation . . . . . . . . . . . . . 360
Andrei Sabelfeld and
Heiko Mantel Securing Communication in a Concurrent
Language . . . . . . . . . . . . . . . . 376
María del Mar Gallardo and
Pedro Merino and
Ernesto Pimentel Refinement of LTL Formulas for Abstract
Model Checking . . . . . . . . . . . . . 395
Francesco Ranzato and
Francesco Tapparo Making Abstract Model Checking Strongly
Preserving . . . . . . . . . . . . . . . 411
Damien Massé Semantics for Abstract
Interpretation-Based Static Analyzes of
Temporal Properties . . . . . . . . . . 428
Charles Hymans Checking Safety Properties of Behavioral
VHDL Descriptions by Abstract
Interpretation . . . . . . . . . . . . . 444
Roberto Giacobazzi and
Francesco Ranzato States vs. Traces in Model Checking by
Abstract Interpretation . . . . . . . . 461
Maurice Bruynooghe and
Michael Codish and
Samir Genaim and
Wim Vanhoof Reuse of Results in Termination Analysis
of Typed Logic Programs . . . . . . . . 477
Chin Soon Lee Finiteness Analysis in Polynomial Time 493
Fred Mesnard and
Etienne Payet and
Ulrich Neumerkel Detecting Optimal Termination Conditions
of Logic Programs . . . . . . . . . . . 509
Anonymous Author Index . . . . . . . . . . . . . . 527
Liviu Ciortuz \em LIGHT --- A Constraint Language and
Compiler System for Typed-Unification
Grammars . . . . . . . . . . . . . . . . 3
Richard Zens and
Franz Josef Och and
Hermann Ney Phrase-Based Statistical Machine
Translation . . . . . . . . . . . . . . 18
Pierre Bonzon Compiling Dynamic Agent Conversations 33
Michael Schwind and
Oliver Wendt Dynamic Pricing of Information Products
Based on Reinforcement Learning: A
Yield-Management Approach . . . . . . . 51
Marina Guetova and
Steffen Hölldobler and
Hans-Peter Störr Incremental Fuzzy Decision Trees . . . . 67
Michael Borth Learning from Multiple Bayesian Networks
for the Revision and Refinement of
Expert Systems . . . . . . . . . . . . . 82
Franz Baader and
Anni-Yasmin Turhan On the Problem of Computing Small
Representations of Least Common
Subsumers . . . . . . . . . . . . . . . 99
Heiner Stuckenschmidt Approximate Information Filtering on the
Semantic Web . . . . . . . . . . . . . . 114
The Duy Bui and
Dirk Heylen and
Mannes Poel and
Anton Nijholt ParleE: An Adaptive Plan Based Event
Appraisal Model of Emotions . . . . . . 129
Ute Schmid and
Marina Müller and
Fritz Wysotzki Integrating Function Application in
State-Based Planning . . . . . . . . . . 144
Brijnesh J. Jain and
Fritz Wysotzki Fast Winner-Takes-All Networks for the
Maximum Clique Problem . . . . . . . . . 163
Andrew Skabar Augmenting Supervised Neural Classifier
Training Using a Corpus of Unlabeled
Data . . . . . . . . . . . . . . . . . . 174
Peter Geibel and
Kristina Schädler and
Fritz Wysotzki Learning of Class Descriptions from
Class Discriminations: A Hybrid Approach
for Relational Objects . . . . . . . . . 186
Pascal Hitzler and
Matthias Wendt The Well-Founded Semantics Is a
Stratified Fitting Semantics . . . . . . 205
Jochen Burghardt Axiomatization of Finite Algebras . . . 222
M. Carmen Fernández Gago and
Michael Fisher and
Clare Dixon Algorithms for Guiding Clausal Temporal
Resolution . . . . . . . . . . . . . . . 235
Jochen Wickel and
Pablo Alvarado and
Peter Dörfler and
Thomas Krüger and
Karl-Friedrich Kraiss Axiom --- A Modular Visual Object
Retrieval System . . . . . . . . . . . . 253
Michael Arens and
Hans-Hellmut Nagel Representation of Behavioral Knowledge
for Planning and Plan-Recognition in a
Cognitive Vision System . . . . . . . . 268
Frieder Stolzenburg and
Oliver Obst and
Jan Murray Qualitative Velocity and Ball
Interception . . . . . . . . . . . . . . 283
Carsten Gips and
Petra Hofstedt and
Fritz Wysotzki Spatial Inference --- Learning vs.
Constraint Solving . . . . . . . . . . . 299
Elisabeth André From Simulated Dialogues to Interactive
Performances with Virtual Actors . . . . 317
Michael Wooldridge Time, Knowledge, and Cooperation:
Alternating-Time Temporal Epistemic
Logic and Its Applications . . . . . . . 318
Dieter Fensel Semantic Web Enabled Web Services . . . 319
Thomas Christaller DFG Priority Program RoboCup (SPP-1125)
Cooperating Teams of Mobile Robots in
Dynamic Environments . . . . . . . . . . 323
Stefan Kirn DFG Priority Program (SPP-1083)
Intelligent Agents and Realistic
Commercial Application Scenarios . . . . 324
Thomas Malsch DFG Priority Program (SPP-1077)
Socionics --- Investigating and
Modelling Artificial Societies . . . . . 325
Anonymous Author Index . . . . . . . . . . . . . . 327
Johann Eder and
Georg E. Olivotto and
Wolfgang Gruber A Data Warehouse for Workflow Logs . . . 1
Jin Lai and
Yushun Fan Workflow and Knowledge Management:
Approaching an Integration . . . . . . . 16
Yang Qu and
Chuang Lin and
Jiye Wang Linear Temporal Inference of Workflow
Management Systems Based on Timed Petri
Nets Models . . . . . . . . . . . . . . 30
W. M. P. van der Aalst and
B. F. van Dongen Discovering Workflow Performance Models
from Timed Logs . . . . . . . . . . . . 45
Chuang Lin and
Yang Qu and
Fengyuan Ren and
Dan C. Marinescu Performance Equivalent Analysis of
Workflow Systems Based on Stochastic
Petri Net Models . . . . . . . . . . . . 64
Jianxun Liu and
Shensheng Zhang and
Jian Cao and
Jinmin Hu An Agent Enhanced Framework to Support
Pre-dispatching of Tasks in Workflow
Management Systems . . . . . . . . . . . 80
Ying Dong and
Mingshu Li TEMPPLET: A New Method for
Domain-Specific Ontology Design . . . . 90
Jinxin Si and
Cungen Cao and
Haitao Wang and
Fang Gu and
Qiangze Feng and
Chunxia Zhang and
Qingtian Zeng and
Wen Tian and
Yufei Zheng An Environment for Multi-domain Ontology
Development and Knowledge Acquisition 104
Zhifeng Yang and
Yue Liu and
Sujian Li Applying Information Retrieval
Technology to Incremental Knowledge
Management . . . . . . . . . . . . . . . 117
Hong-Gee Kim and
Christian Fillies and
Bob Smith and
Dietmar Wikarski Visualizing a Dynamic Knowledge Map
Using Semantic Web Technology . . . . . 130
Sung Wan Kim Jaeho Lee and
Hae Chull Lim Indexing and Retrieval of XML-Encoded
Structured Documents in Dynamic
Environment . . . . . . . . . . . . . . 141
Jun Ma and
Matthias Hemmje Knowledge Management: System
Architectures, Main Functions, and
Implementing Techniques . . . . . . . . 155
Fengjin Wang and
Zhuofeng Zhao and
Yanbo Han A Dynamic Matching and Binding Mechanism
for Business Service Integration . . . . 168
Dongdong Li and
Songlin Hu and
Shuo Bai A Uniform Model for Authorization and
Access Control in Enterprise Information
Platform . . . . . . . . . . . . . . . . 180
Sun Hongwei and
Zhang Shusheng and
Zhou Jingtao and
Wang Jing Constraints-Preserving Mapping Algorithm
from XML-Schema to Relational Schema . . 193
Dan Wang and
Ge Yu and
Baoyan Song and
Derong Shen and
Guoren Wang Study on SOAP-Based Mobile Agent
Techniques . . . . . . . . . . . . . . . 208
Michael Maxim and
Ashish Venugopal Securing Agent Based Architectures . . . 220
Kun Yang and
Alex Galis and
Telma Mota and
Xin Guo and
Chris Todd Service and Network Management
Middleware for Cooperative Information
Systems through Policies and Mobile
Agents . . . . . . . . . . . . . . . . . 232
Xu Hongxia and
Zhang Li and
Zhou Bosheng Research on Enterprise Modeling of Agile
Manufacturing . . . . . . . . . . . . . 247
Yan Zhang and
Meilin Shi HCM --- A Model Describing Cooperation
of Virtual Enterprise . . . . . . . . . 257
Markus Wiedeler A Description for Services Supporting
Cooperations . . . . . . . . . . . . . . 267
Sung-Hoon Park Analysis of an Election Problem for CSCW
in Asynchronous Distributed Systems . . 280
Sung-Ho Woo and
Sung-Bong Yang A Linear-Order Based Access Method for
Efficient Network Computations . . . . . 289
Jun Shen and
Yun Yang and
Junzhou Luo A Petri Net Model for Session Services 303
Volker Gruhn and
Lothar Schöpe Software Processes for Electronic
Commerce Portal Systems . . . . . . . . 315
Jun Han and
Pin Chen Architecture Support for
System-of-Systems Evolution . . . . . . 332
Jessica Chen Expressing Graphical User's Input for
Test Specifications . . . . . . . . . . 347
Ying Cao and
K. W. Chau and
M. Anson and
Jianping Zhang An Intelligent Decision Support System
in Construction Management by Data
Warehousing Technique . . . . . . . . . 360
Huang Lican and
Wu Zhaohui Distributed Heterogeneous Inspecting
System and Its Implementation . . . . . 370
Yi Lin and
XingShe Zhou and
XiaoAn Shi Architecture for Distributed Embedded
Systems Based on Workflow and
Distributed Resource Management . . . . 381
David E. Cook and
Lin Mellor and
Guy Frost and
Reiner Creutzburg Knowledge Management and the Control of
Duplication . . . . . . . . . . . . . . 396
Ying Jin and
Susan D. Urban and
Amy Sundermier and
Suzanne W. Dietrich An Execution and Transaction Model for
Active, Rule-Based Component Integration
Middleware . . . . . . . . . . . . . . . 403
Jinlei Jiang and
Meilin Shi Implementation of CovaTM . . . . . . . . 418
Jean-Marc Andreoli and
Damián Arregui and
François Pacull and
Jutta Willamowski Resource-Based Scripting to Stitch
Distributed Components . . . . . . . . . 429
Ming Xu and
Yi Zhuang Multi-agent Coordination Mechanism in
Distributed Environment . . . . . . . . 444
Yinxing Wei and
Shensheng Zhang and
Jian Cao Coordination among Multi-agents Using
Process Calculus and ECA Rule . . . . . 456
Yaying Zhang and
Jinyuan You An RBAC Based Policy Enforcement
Coordination Model in Internet
Environment . . . . . . . . . . . . . . 466
Yongyi Zhao and
Guangxing Wang A CORBA-Based Negotiation Strategy in
E-Commerce . . . . . . . . . . . . . . . 478
Markus Sihvonen and
Jarkko Holappa Negotiation Framework for the Next
Generation Mobile Middleware Service
Environment . . . . . . . . . . . . . . 487
Kaiyu Dai and
Yinglin Wang and
Xiqing Xu An Internet-Based Conference System for
Real-Time Distributed Design Evaluation 499
Liyin Xue and
Mehmet Orgun and
Kang Zhang Intention Preservation by
Multi-versioning in Distributed
Real-Time Group Editors . . . . . . . . 510
Bin Hu and
Andreas Kuhlenkamp and
Rolf Reinema Supporting Group Awareness in Web Based
Learning Environments . . . . . . . . . 525
Takashi Matsubara and
Kozo Sugiyama and
Kazushi Nishimoto Raison D'etre Object: A Cyber-Hearth
That Catalyzes Face-to-Face Informal
Communication . . . . . . . . . . . . . 537
P. Barthelmess and
C. A. Ellis The Neem Platform: An Extensible
Framework for the Development of
Perceptual Collaborative Applications 547
Anonymous Author Index . . . . . . . . . . . . . . 563
Ziv Bar-Yossef and
T. S. Jayram and
Ravi Kumar and
D. Sivakumar and
Luca Trevisan Counting Distinct Elements in a Data
Stream . . . . . . . . . . . . . . . . . 1
Michal Parnas and
Dana Ron and
Ronitt Rubinfeld On Testing Convexity and Submodularity 11
Hana Chockler and
Orna Kupferman $ \omega $-Regular Languages Are
Testable with a Constant Number of
Queries . . . . . . . . . . . . . . . . 26
Kenji Obata Optimal Lower Bounds for $2$-Query
Locally Decodable Linear Codes . . . . . 39
Martin Dyer and
Leslie A. Goldberg and
Mark Jerrum Counting and Sampling $ {H} $-Colourings 51
Martin Dyer and
Mark Jerrum and
Eric Vigoda Rapidly Mixing Markov Chains for
Dismantleable Constraint Graphs . . . . 68
Dimitris Achlioptas and
Cristopher Moore On the $2$-Colorability of Random
Hypergraphs . . . . . . . . . . . . . . 78
Christopher Malon and
Igor Pak Percolation on Finite Cayley Graphs . . 91
Ehud Friedgut and
Jeff Kahn and
Avi Wigderson Computing Graph Properties by Randomized
Subcube Partitions . . . . . . . . . . . 105
J. Díaz and
N. Do and
M. J. Serna and
N. C. Wormald Bisection of Random Cubic Graphs . . . . 114
William Duckworth and
Bernard Mans Small $k$-Dominating Sets of Regular
Graphs . . . . . . . . . . . . . . . . . 126
Amin Coja-Oghlan Finding Sparse Induced Subgraphs of
Semirandom Graphs . . . . . . . . . . . 139
Martin Dyer and
Alistair Sinclair and
Eric Vigoda and
Dror Weitz Mixing in Time and Space for Lattice
Spin Systems: A Combinatorial View . . . 149
Cristopher Moore and
Alexander Russell Quantum Walks on the Hypercube . . . . . 164
Alfredo De Santis and
Giovanni Di Crescenzo and
Giuseppe Persiano Randomness-Optimal Characterization of
Two NP Proof Systems . . . . . . . . . . 179
Boaz Barak A Probabilistic-Time Hierarchy Theorem
for ``Slightly Non-uniform'' Algorithms 194
Oded Goldreich and
Avi Wigderson Derandomization That Is Rarely Wrong
from Short Advice That Is Typically Good 209
Lars Engebretsen and
Venkatesan Guruswami Is Constraint Satisfaction Over Two
Variables Always Easy? . . . . . . . . . 224
Avner Magen Dimensionality Reductions That Preserve
Volumes and Distance to Affine Spaces,
and Their Algorithmic Applications . . . 239
Milena Mihail and
Christos Papadimitriou On the Eigenvalue Power Law . . . . . . 254
Colin Cooper Classifying Special Interest Groups in
Web Graphs . . . . . . . . . . . . . . . 263
Anonymous Author Index . . . . . . . . . . . . . . 277
Cláudia M. Antunes and
Arlindo L. Oliveira Inference of Sequential Association
Rules Guided by Context-Free Grammars 1
Anja Belz PCFG Learning by Nonterminal Partition
Search . . . . . . . . . . . . . . . . . 14
Antonio Cano and
José Ruiz and
Pedro García Inferring Subclasses of Regular
Languages Faster Using \em RPNI and
Forbidden Configurations . . . . . . . . 28
Orlando Cicchello and
Stefan C. Kremer Beyond EDSM . . . . . . . . . . . . . . 37
Christophe Costa Florêncio Consistent Identification in the Limit
of Rigid Grammars from Strings Is
NP-hard . . . . . . . . . . . . . . . . 49
François Denis and
Aurélien Lemay and
Alain Terlutte Some Classes of Regular Languages
Identifiable in the Limit from Positive
Data . . . . . . . . . . . . . . . . . . 63
Yann Esposito and
Aurélien Lemay and
François Denis and
Pierre Dupont Learning Probabilistic Residual Finite
State Automata . . . . . . . . . . . . . 77
Henning Fernau Fragmentation: Enhancing Identifiability 92
Annie Foret and
Yannick Le Nir On Limit Points for Some Variants of
Rigid Lambek Grammars . . . . . . . . . 106
Amaury Habrard and
Marc Bernard and
François Jacquenet Generalized Stochastic Tree Automata for
Multi-relational Data Mining . . . . . . 120
Colin de la Higuera and
Jose Oncina On Sufficient Conditions to Identify in
the Limit Classes of Grammars from
Polynomial Time and Data . . . . . . . . 134
Christopher Kermorvant and
Pierre Dupont Stochastic Grammatical Inference with
Multinomial Tests . . . . . . . . . . . 149
Christopher Kermorvant and
Colin de la Higuera Learning Languages with Help . . . . . . 161
Katsuhiko Nakamura and
Masashi Matsumoto Incremental Learning of Context Free
Grammars . . . . . . . . . . . . . . . . 174
Tim Oates and
Brent Heeringa Estimating Grammar Parameters Using
Bounded Memory . . . . . . . . . . . . . 185
Juan Ramón Rico-Juan and
Jorge Calera-Rubio and
Rafael C. Carrasco Stochastic $k$-testable Tree Languages
and Applications . . . . . . . . . . . . 199
Yoav Seginer Fast Learning from Strings of $2$-Letter
Rigid Grammars . . . . . . . . . . . . . 213
José M. Sempere and
Pedro García Learning Locally Testable Even Linear
Languages from Positive Data . . . . . . 225
Bradford Starkie Inferring Attribute Grammars with
Structured Data for Natural Language
Processing . . . . . . . . . . . . . . . 237
Yasuhiro Tajima and
Matsuaki Terada A PAC Learnability of Simple
Deterministic Languages . . . . . . . . 249
Sebastiaan A. Terwijn On the Learnability of Hidden Markov
Models . . . . . . . . . . . . . . . . . 261
Franck Thollard and
Alexander Clark Shallow Parsing Using Probabilistic
Grammatical Inference . . . . . . . . . 269
D. G. Thomas and
M. Humrosia Begam and
K. G. Subramanian and
S. Gnanasekaran Learning of Regular Bi-$ \omega $
Languages . . . . . . . . . . . . . . . 283
Pieter Adriaans and
Marco Vervoort The EMILE 4.1 Grammar Induction Toolbox 293
Stephan K. Chalup and
Alan D. Blair Software for Analysing Recurrent Neural
Nets That Learn to Predict Non-regular
Languages . . . . . . . . . . . . . . . 296
Liviu Ciortuz A Framework for Inductive Learning of
Typed-Unification Grammars . . . . . . . 299
Daniela Dudau Sofronie and
Isabelle Tellier and
Marc Tommasi A Tool for Language Learning Based on
Categorial Grammars and Semantic
Information . . . . . . . . . . . . . . 303
Sam Lievesley and
Eric Atwell `NAIL': Artificial Intelligence Software
for Learning Natural Language . . . . . 306
Bradford Starkie and
Greg Findlow and
Khanh Ho and
Alvaro Hui and
Lawrence Law and
Liron Lightwood and
Simon Michnowicz and
Christian Walder Lyrebird$^{\mathrm {TM}}$: Developing
Spoken Dialog Systems Using Examples . . 309
Menno van Zaanen Implementing Alignment-Based Learning 312
Anonymous Author Index . . . . . . . . . . . . . . 315
Jenna Burrell and
Geri K. Gay and
Kiyo Kubo and
Nick Farina Context-Aware Computing: A Test Case . . 1
Yasuyuki Sumi and
Ryuuki Sakamoto and
Keiko Nakao and
Kenji Mase ComicDiary: Representing Individual
Experiences in a Comics Style . . . . . 16
Stuart Goose and
Heiko Wanning and
Georg Schneider Mobile Reality: A PDA-Based Multimodal
Framework Synchronizing a Hybrid
Tracking Solution with $3$D Graphics and
Location-Sensitive Speech Interaction 33
Margaret Fleck and
Marcos Frid and
Tim Kindberg and
Eamonn O'Brien-Strain and
Rakhi Rajani and
Mirjana Spasojevic Rememberer: A Tool for Capturing Museum
Visits . . . . . . . . . . . . . . . . . 48
Jonathan Trevor and
David M. Hilbert and
Bill N. Schilit Issues in Personalizing Shared
Ubiquitous Devices . . . . . . . . . . . 56
Sunny Consolvo and
Larry Arnstein and
B. Robert Franza User Study Techniques in the Design and
Evaluation of a Ubicomp Environment . . 73
Stephen S. Intille Change Blind Information Display for
Ubiquitous Computing Environments . . . 91
Henrik Bærbak Christensen and
Jakob E. Bardram Supporting Human Activities -- Exploring
Activity-Centered Computing . . . . . . 107
James L. Crowley and
Joëlle Coutaz and
Gaeten Rey and
Patrick Reignier Perceptual Components for Context Aware
Computing . . . . . . . . . . . . . . . 117
Trevor Darrell and
Konrad Tollmar and
Frank Bentley and
Neal Checka and
Loius-Phillipe Morency and
Ali Rahimi and
Alice Oh Face-Responsive Interfaces: From Direct
Manipulation to Perceptive Presence . . 135
Yasuto Nakanishi and
Takashi Fujii and
Kotaro Kiatjima and
Yoichi Sato and
Hideki Koike Vision-Based Face Tracking System for
Large Displays . . . . . . . . . . . . . 152
Hongshen Ma and
Joseph A. Paradiso The FindIT Flashlight: Responsive
Tagging Based on Optically Triggered
Microprocessor Wakeup . . . . . . . . . 160
Lisa McElligott and
Michelle Dillon and
Krispin Leydon and
Bruce Richardson and
Mikael Fernström and
Joseph A. Paradiso `ForSe FIElds' --- Force Sensors for
Interactive Environments . . . . . . . . 168
Xiaodong Jiang and
Jason I. Hong and
James A. Landay Approximate Information Flows:
Socially-Based Modeling of Privacy in
Ubiquitous Computing . . . . . . . . . . 176
Roy Want and
Trevor Pering and
Gunner Danneels and
Muthu Kumar and
Murali Sundar and
John Light The Personal Server: Changing the Way We
Think about Ubiquitous Computing . . . . 194
Shin'ichi Konomi \em QueryLens: Beyond ID-Based
Information Access . . . . . . . . . . . 210
Kristof van Laerhoven and
Albrecht Schmidt and
Hans-Werner Gellersen Pin&Play: Networking Objects through Pins 219
Daniel M. Russell and
Clemens Drews and
Alison Sue Social Aspects of Using Large Public
Interactive Displays for Collaboration 229
Marc Langheinrich A Privacy Awareness System for
Ubiquitous Computing Environments . . . 237
Changhao Jiang and
Peter Steenkiste A Hybrid Location Model with a
Computable Location Identifier for
Ubiquitous Computing . . . . . . . . . . 246
Mike Hazas and
Andy Ward A Novel Broadband Ultrasonic Location
System . . . . . . . . . . . . . . . . . 264
Frank Hoffmann and
James Scott Location of Mobile Devices Using
Networked Surfaces . . . . . . . . . . . 281
John Krumm and
Lyndsay Williams and
Greg Smith SmartMoveX on a Graph --- An Inexpensive
Active Badge Tracker . . . . . . . . . . 299
Kumaresan Sanmugalingam and
George Coulouris A Generic Location Event Simulator . . . 308
Anthony LaMarca and
Waylon Brunette and
David Koizumi and
Matthew Lease and
Stefan B. Sigurdsson and
Kevin Sikorski and
Dieter Fox and
Gaetano Borriello PlantCare: An Investigation in Practical
Ubiquitous Systems . . . . . . . . . . . 316
Albrecht Schmidt and
Martin Strohbach and
Kristof van Laerhoven and
Adrian Friday and
Hans-Werner Gellersen Context Acquisition Based on Load
Sensing . . . . . . . . . . . . . . . . 333
Stavros Antifakos and
Florian Michahelles and
Bernt Schiele Proactive Instructions for Furniture
Assembly . . . . . . . . . . . . . . . . 351
P. Lukowicz and
H. Junker and
M. Stäger and
T. von Büren and
G. Tröster WearNET: A Distributed Multi-sensor
System for Context Aware Wearables . . . 361
Jennifer Mankoff and
Gary Hsieh and
Ho Chak Hung and
Sharon Lee and
Elizabeth Nitao Using Low-Cost Sensing to Support
Nutritional Awareness . . . . . . . . . 371
Anonymous Author Index . . . . . . . . . . . . . . 377