Computer and Information Sciences - ISCIS 2004 : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings

The series of ISCIS (International Symposium on Computer and Information Sciences) symposia have been held each year since 1986, mostly in Turkey and occasionally abroad. It is the main computer science and engineering meeting organized by Turkish academics and was founded by Erol Gelenbe. Each year ISCIS attracts a signi?cant number of international participants from all over the world. The 19th ISCIS was organized by Bilkent University, Department of Computer Engineering, and was held in Kemer-Antalya, Turkey during 27–29 October 2004. For ISCIS 2004, a total of 335 papers went through the review process and a large number of high-quality papers competed for acceptance. This volume of the Springer Lecture Notes in Computer Science (LNCS) series contains 100 of those papers that broadly fall into the following areas of interest: arti?cial int- ligence and machine learning, computer graphics and user interfaces, computer networksand security, computer vision and image processing,databasesystems, modeling and performance evaluation, natural languageprocessing, parallel and distributed computing, real-time control applications, software engineering and programming systems, and theory of computing.

Invited Talk.- An Approach to Quality of Service.- Artificial Intelligence and Machine Learning.- A New Classifier Based on Attribute Weighted Artificial Immune System (AWAIS).- Investigating the Effects of Recency and Size of Training Text on Author Recognition Problem.- Model Based Intelligent Control of a 3-Joint Robotic Manipulator: A Simulation Study Using Artificial Neural Networks.- Knowledge Incorporation into ACO-Based Autonomous Mobile Robot Navigation.- The Effects of Data Properties on Local, Piecewise, Global, Mixture of Experts, and Boundary-Optimized Classifiers for Medical Decision Making.- Learning Interestingness of Streaming Classification Rules.- Using Fuzzy Petri Nets for Static Analysis of Rule-Bases.- Protein Structural Class Determination Using Support Vector Machines.- Computer Graphics and User Interfaces.- Flexible and Interactive Crack-Like Patterns Presentation on 3D Objects.- An Occlusion Culling Approach Based on Exploiting Multiple Hardware-Accelerated Occlusion Queries for Dynamical Scenes.- Acceleration of Perspective Volume Rendering Using Depth-Subsampl.- An Efficient Camera Path Computation Using Image-Space Information in Virtual Endoscopy.- Hair Motion Simulation.- Interactive Mouse Systems Providing Haptic Feedback During the Exploration in Virtual Environment.- Developing Finite State NLP Systems with a Graphical Environment.- Computer Networks and Security.- Bandwidth-Aware Scaling for Internet Video Streaming.- The Abnormal Traffic Control Framework Based on QoS Mechanisms.- Proximity-Based Overlay Routing for Service Discovery in Mobile Ad Hoc Networks.- Multicast Routing for Ad Hoc Networks with a Multiclass Scheme for Quality of Service.- HVIA-GE: A Hardware Implementation of Virtual Interface Architecture Based on Gigabit Ethernet.- Modeling TCP Loss Recovery Latency with the Number of Retransmissions.- A Two-Step EM Algorithm for MAP Fitting.- Performance Evaluation of the 802.16 Medium Access Control Layer.- Fixed Size and Variable Size Packet Models in an Optical Ring Network: Complexity and Simulations.- A Tabu Search Algorithm for Sparse Placement of Wavelength Converters in Optical Networks.- Mixed Routing for ROMEO Optical Burst.- A Fast Hardware-Oriented Algorithm for Cellular Mobiles Positioning.- Relay Attacks on Bluetooth Authentication and Solutions.- Reliable Delivery of Popular Data Services in WIDE.- Wireless Interworking Independent CAN Segments.- Real-Time Admission Control Supporting Prioritized Soft Handoff Calls in Cellular DS-CDMA Systems.- Voice Traffic Integration in Wireless Data Networks with Channel State Information.- Blind Collision Resolution Using Retransmission Diversity under Quasi-Static Fading Channels.- CRAM: An Energy Efficient Routing Algorithm for Wireless Sensor Networks.- An Approach for Spam E-mail Detection with Support Vector Machine and n-Gram Indexing.- Finding Breach Paths Using the Watershed Segmentation Algorithm in Surveillance Wireless Sensor Networks.- Biometric Authentication Using Online Signatures.- Computer Vision and Image Processing.- Moving Region Detection in Compressed Video.- Shape Recognition with Generalized Beam Angle Statistics.- 3D Cognitive Map Construction by Active Stereo Vision in a Virtual World.- 3D Real Object Recognition on the Basis of Moment Invariants and Neural Networks.- A Novel Watermarking for Image Security.- Boosting Face Recognition Speed with a Novel Divide-and-Conquer Approach.- A New Document Watermarking Algorithm Based on Hybrid Multi-scale Ant Colony System.- An Image Retrieval System Based on Region Classification.- Database Systems.- Temporal Data Modeling and Integrity Constraints in Relational Databases,.- Query Builder: A Natural Language Interface for Structured Databases.- Situation-Aware Coordination in Multi-agent Filtering Framework.- A Study on Answering a Data Mining Query Using a Materialized View.- Efficient Methods for Database Storage and Retrieval Using Space-Filling Curves.- Modeling and Performance Evaluation.- Modelling Mobility with PEPA Nets.- Modelling Role-Playing Games Using PEPA Nets.- Fault-Tolerant and Scalable Communication Mechanism for Mobile Agents.- CSL Model Checking for the GreatSPN Tool.- Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.- UML Design and Software Performance Modeling.- Stubborn Sets for Priority Nets.- Model-Driven Maintenance of QoS Characteristics in Heterogeneous Networks.- A Performance Study of Context Transfer Protocol for QoS Support.- A Methodology for Deriving Per-Flow End-to-End Delay Bounds in Sink-Tree DiffServ Domains with FIFO Multiplexing.- Performance Analysis of a Predictive and Adaptive Algorithm in Cluster-Based Network Servers with Resource Allocation.- ARTÌS: A Parallel and Distributed Simulation Middleware for Performance Evaluation.- Comparison of Web Server Architectures: A Measurement Study.- Modeling Dynamic Web Content.- Behavioral Intrusion Detection.- Biological Metaphors for Agent Behavior.- The Effects of Web Logs and the Semantic Web on Autonomous Web Agents.- Social Network of Co-occurrence in News Articles.- Using CORBA to Enhance HLA Interoperability in Distributed and Web-Based Simulation.- Designing and Enacting Simulations Using Distributed Components.- Semi-formal and Formal Models Applied to Flexible Manufacturing Systems.- New Computer Model of a Dipolar System with Hexagonal Geometry in Presence of an External Electric Field.- Natural Language Processing.- A Linguistically Motivated Information Retrieval System for Turkish.- SmartReader: An NLP-Based Interactive Reading Application for Language Learning.- A Preprocessor for Turkish Text Analysis.- he Effect of Part-of-Speech Tagging on IR Performance for Turkish.- Parallel and Distributed Computing.- A New Pareto-Based Algorithm for Multi-objective Graph Partitioning.- Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool.- Data-Parallel Web Crawling Models.- Parallel Implementation of the Wave-Equation Finite-Difference Time-Domain Method Using the Message Passing Interface.- A Parallel Genetic Algorithm/Heuristic Based Hybrid Technique for Routing and Wavelength Assignment in WDM Networks.- Static Mapping Heuristics for Tasks with Hard Deadlines in Real-Time Heterogeneous Systems.- An Advanced Server Ranking Algorithm for Distributed Retrieval Systems on the Internet.- Real-Time Control Applications.- Energy-Aware Strategies in Real-Time Systems for Autonomous Robots.- Multirate Feedback Control Using the TinyRealTime Kernel.- An Educational Open Source Real-Time Kernel for Small Embedded Control Systems.- Coordinating Distributed Autonomous Agents with a Real-Time Database: The CAMBADA Project.- Software Engineering and Programming Systems.- A Static Approach to Automated Test Data Generation in the Presence of Pointers.- A Use-Case Based Component Identification Approach for Migrating Legacy Code into Distributed Environment.- Software Testing via Model Checking.- Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study.- JAWIRO: Enhancing Java with Roles.- A Survey of Public-Key Cryptography on J2ME-Enabled Mobile Devices.- Thread-Sensitive Points-to Analysis for Multithreaded Java Programs.- Theory of Computing.- Correctness Requirements for Multiagent Commitment Protocols.- Generating Equiprobable Superpositions of Arbitrary Sets for a New Generalization of the Deutsch-Jozsa Algorithm.- Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL.- System BV without the Equalities for Unit.- Comparison of Different Variable and Value Order Strategies for the Optimum Solution of a Single Machine Scheduling Problem with Sequence-Dependent Setups.