Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
28
views
11
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
5,220
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
LATIN 2000: Theoretical Informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings
PAC-Learning of Markov Models with Hidden State
other
Author(s):
Ricard Gavaldà
,
Philipp W. Keller
,
Joelle Pineau
,
Doina Precup
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Computer Vision, Deep Learning, Deep Reinforcement Learning, IoT
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
A tutorial on hidden Markov models and selected applications in speech recognition
L.R. Rabiner
(1989)
0
comments
Cited
524
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Biological sequence analysis
Richard Durbin
,
Sean R. Eddy
,
Anders Krogh
…
(1998)
0
comments
Cited
264
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A theory of the learnable
L. G. Valiant
(1984)
0
comments
Cited
121
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 150-161
DOI:
10.1007/11871842_18
SO-VID:
3c00ce63-9859-4c23-85d0-40475621fb3c
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
On the Power of the Semi-Separated Pair Decomposition
pp. 1
Optics Goes Where No Electronics Can Go: Zero-Energy-Dissipation Logic
pp. 1
Towards a uniform version model for software configuration management
pp. 1
Local Characterizations of Causal Bayesian Networks
pp. 1
The complexity of manipulating hierarchically defined sets of rectangles
pp. 1
From Propositional Satisfiability to Satisfiability Modulo Theories
pp. 1
Some observations about the nature of computer science
pp. 1
Discrete Pulse Transform of Images
pp. 1
Innovative Opening-Book Handling
pp. 1
DISC 2011 Invited Lecture: Deterministic Rendezvous in Networks: Survey of Models and Results
pp. 1
Transaction Processing Performance Council (TPC): Twenty Years Later – A Look Back, a Look Ahead
pp. 1
Methodologies for Automated Telephone Answering
pp. 1
Multimodal Shape Tracking with Point Distribution Models
pp. 1
Replacement Attacks on Behavior Based Software Birthmark
pp. 1
Deterministic Public Key Encryption and Identity-Based Encryption from Lattices in the Auxiliary-Input Setting
pp. 1
Topological Map: An Efficient Tool to Compute Incrementally Topological Features on 3D Images
pp. 1
Intruder Theories (Ongoing Work)
pp. 1
Efficient Algorithms for Detecting Signaling Pathways in Protein Interaction Networks
pp. 1
Functional Classification of G-Protein Coupled Receptors, Based on Their Specific Ligand Coupling Patterns
pp. 1
Lower Bounds for Approximation of Some Classes of Lebesgue Measurable Functions by Sigmoidal Neural Networks
pp. 1
Some History of Functional Programming Languages
pp. 3
Experimental Validation of a Rapid, Adaptive Robotic Assessment of the MCP Joint Angle Difference Threshold
pp. 3
Automated Detection of Adverse Drug Reactions from Social Media Posts with Machine Learning
pp. 3
Fundamentals of Inclusive HCI Design
pp. 3
Technical Foundation and Calibration Methods for Time-of-Flight Cameras
pp. 10
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions
pp. 12
Semi-supervised Dictionary Learning Based on Hilbert-Schmidt Independence Criterion
pp. 12
Adapting (Pseudo)-Triangulations with a Near-Linear Number of Edge Flips
pp. 14
Micro-scale Simulation of the Macro Urban Form: Opportunities for Exploring Urban Change and Adaptation
pp. 14
On Reversibility among Parallelohedra
pp. 16
Fuzzy Co-Clustering and Application to Collaborative Filtering
pp. 16
ProvGen: Generating Synthetic PROV Graphs with Predictable Structure
pp. 17
Constructive Roofs from Solid Building Primitives
pp. 17
Knowledge extraction from machine-readable dictionaries: An evaluation
pp. 17
Topology-Based Detection of Anomalous BGP Messages
pp. 17
Publishing Time-Series Data under Preservation of Privacy and Distance Orders
pp. 17
On a DAG Partitioning Problem
pp. 17
An Organisational Perspective on Collaborative Business Processes
pp. 18
On the Complexity of Universal Programs
pp. 18
Privacy Amplification Theorem for Noisy Main Channel
pp. 18
On-the-Fly Generalization Hierarchies for Numerical Attributes Revisited
pp. 19
Niching in Monte Carlo Filtering Algorithms
pp. 19
Inspection Coming Due! How to Determine the Service Interval of Your Processes!
pp. 19
Activity Inference through Sequence Alignment
pp. 20
Symbolic Computation and Automated Reasoning for Program Analysis
pp. 21
Optimal Information Security Investment with Penetration Testing
pp. 24
Mining Databases and Data Streams with Query Languages and Rules
pp. 8
Data Privacy
pp. 9
Bone Enhancement Filtering: Application to Sinus Bone Segmentation and Simulation of Pituitary Surgery
pp. 9
Compiling Java to a typed lambda-calculus: A preliminary report
pp. 13
Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract)
pp. 17
Maintaining Case-Based Reasoning Systems: A Machine Learning Approach
pp. 21
Evolutionary Search of Thresholds for Robust Feature Set Selection: Application to the Analysis of Microarray Data
pp. 21
Emotions and Personality in Agent Design and Modeling
pp. 23
Analyzing Router Responsiveness to Active Measurement Probes
pp. 25
On Allocations with Negative Externalities
pp. 25
The Computer-Aided Discovery of Scientific Knowledge
pp. 26
Domain-Specific Language and Compiler for Stencil Computation on FPGA-Based Systolic Computational-Memory Array
pp. 27
Least fixed points revisited
pp. 28
The Zip Calculus
pp. 3
Video Semantics and the Sensor Web
pp. 3
Automatic Verification of Data-Centric Business Processes
pp. 31
Range Queries in Non-blocking k-ary Search Trees
pp. 32
Cloud Computing-Based Message Dissemination Protocol for Vehicular Ad Hoc Networks
pp. 32
Observation consistent integration of views of object life-cycles
pp. 33
Complexity of algebraic specifications
pp. 33
Scientometric Analysis of Container Terminals and Ports Literature and Interaction with Publications on Distribution Networks
pp. 35
3. Orthogonal Distance Fitting of Implicit Curves and Surfaces
pp. 35
Image-schemata-based spatial inferences: The container-surface algebra
pp. 35
Formal description of relational matching
pp. 46
Investigating Scaling of an Abstracted LCS Utilising Ternary and S-Expression Alphabets
pp. 13
Attaining Human–Competitive Game Playing with Genetic Programming
pp. 17
Empowerment by Digital Media of People with Disabilities
pp. 26
ASASP: Automated Symbolic Analysis of Security Policies
pp. 31
Analysing Warranty Claims of Automobiles
pp. 33
Exact Learning from Membership Queries: Some Techniques, Results and New Directions
pp. 33
Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP
pp. 34
Ontology Matching with Word Embeddings
pp. 37
Hidden Markov Modelling Techniques for Haplotype Analysis
pp. 38
Sub-tree Swapping Crossover and Arity Histogram Distributions
pp. 38
Exploiting User Comments for Audio-Visual Content Indexing and Retrieval
pp. 39
Reversibility of Elementary Cellular Automata under Fully Asynchronous Update
pp. 4
Towards Urban Vehicular Networking
pp. 42
Optimal Circuit Design Using Immune Algorithm
pp. 45
An Automatic Technique for Static Deadlock Prevention
pp. 46
Breaking Four Mix-Related Schemes Based on Universal Re-encryption
pp. 47
On Type Checking Delta-Oriented Product Lines
pp. 49
Regularization Techniques to Improve Generalization
pp. 49
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology’s Axioms
pp. 49
Efficient mining of association rules in large dynamic databases
pp. 50
A Knowledge-Based Approach for Designing Robust Business Processes
pp. 50
Automatic Removal of Array Memory Leaks in Java
pp. 51
Node Degree Distribution in Affiliation Graphs for Social Network Density Modeling
pp. 53
Verification and Validation of Agent-Based Simulations Using Approximate Model Checking
pp. 53
Input/Output Stochastic Automata
pp. 56
On realizing a broadband kernel for multimedia networks
pp. 61
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
pp. 105
Segment Abstraction for Worst-Case Execution Time Analysis
pp. 20
Detecting Locally Stable Predicates Without Modifying Application Messages
pp. 35
From Sensitivity Analysis to Random Floating Point Arithmetics - Application to Sylvester Equations
pp. 37
Ant Colony Optimization Algorithms for Shortest Path Problems
pp. 41
Comparing Window and Syntax Based Strategies for Semantic Extraction
pp. 43
Approximation in Formal Concept Analysis
pp. 45
Defining Proficiency Levels of High School Students in Computer Science by an Empirical Task Analysis Results of the MoKoM Project
pp. 45
An algebraic semantics for hierarchical P/T nets
pp. 48
Normative Structures in Trust Management
pp. 49
Computing ray class groups, conductors and discriminants
pp. 51
Study of Binary Partition Tree Pruning Techniques for Polarimetric SAR Images
pp. 52
Experimental Analysis of the Accessibility of Drawings with Few Segments
pp. 52
Efficient Local Alignment Discovery amongst Noisy Long Reads
pp. 53
On the Chamfer Polygons on the Triangular Grid
pp. 53
Tableau-Based Automated Deduction for Duration Calculus
pp. 54
Question Generation from a Knowledge Base
pp. 61
A Pattern Matching Compiler for Multiple Target Languages
pp. 63
Distributed Agreement and Its Relation with Error-Correcting Codes
pp. 63
On the Logical Content of Computational Type Theory: A Solution to Curry’s Problem
pp. 67
Chemical Reaction Network Designs for Asynchronous Logic Circuits
pp. 71
More Efficient Algorithms for Mining High-Utility Itemsets with Multiple Minimum Utility Thresholds
pp. 73
First-Order Reasoning for Attempto Controlled English
pp. 74
Game-Theoretical Analysis of PLC System Performance in the Presence of Jamming Attacks
pp. 75
Forgetting the Words but Remembering the Meaning: Modeling Forgetting in a Verbal and Semantic Tag Recommender
pp. 77
PUF-Based Mutual Multifactor Entity and Transaction Authentication for Secure Banking
pp. 85
Mutually supervised learning in multiagent systems
pp. 113
Adaptive Regularization in Neural Network Modeling
pp. 29
Reinforcement Learning and Apprenticeship Learning for Robotic Control
pp. 31
An integrated partitioning and synthesis system for dynamically reconfigurable Multi-FPGA architectures
pp. 35
Improving the Re-digitisation Process by Using Software with Automatic Metadata Detection
pp. 47
A (4n − 4)-Bit Representation of a Rectangular Drawing or Floorplan
pp. 49
R1−tt SN (NP) distinguishes robust many-one and Turing completeness
pp. 50
Closing the Gap Between Deep and Conventional Image Registration Using Probabilistic Dense Displacement Networks
pp. 52
ORCA: A new architecture for high-performance FPGAs
pp. 55
On bipartite crossings, largest biplanar subgraphs, and the linear arrangement problem
pp. 55
Completeness Results for Counting Problems with Easy Decision
pp. 56
Autonomous Search in Constraint Satisfaction via Black Hole: A Performance Evaluation Using Different Choice Functions
pp. 57
Snow Leopard Cloud: A Multi-national Education Training and Experimentation Cloud and Its Security Challenges
pp. 62
Parameterized Complexity in Multiple-Interval Graphs: Partition, Separation, Irredundancy
pp. 62
Approximating the Bandwidth of Caterpillars
pp. 64
D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders
pp. 68
Efficient Indexed Alignment of Contigs to Optical Maps
pp. 68
Combinatorial Online Prediction via Metarounding
pp. 69
Analysis of Peer-to-Peer Traffic on ADSL
pp. 69
A Near Optimal Policy for Channel Allocation in Cognitive Radio
pp. 81
Pumping Lemmas for timed automata
pp. 83
Geometrically deformable templates for shape-based segmentation and tracking in cardiac MR images
pp. 88
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
pp. 92
Mining Chemical Compound Structure Data Using Inductive Logic Programming
pp. 96
Utilizing Online Social Network and Location-Based Data to Recommend Products and Categories in Online Marketplaces
pp. 100
Conceptual Modeling for Distributed Ontology Environments
pp. 101
Solving Contact Mechanics Problems with PERMON
pp. 102
Multi-hop Cluster Hierarchy Maintenance in Wireless Sensor Networks: A Case for Gossip-Based Protocols
pp. 105
Classical propositional decidability via Nuprl proof extraction
pp. 107
Countermeasure Selection Based on the Attack and Service Dependency Graphs for Security Incident Management
pp. 113
Information systems design: An expert system approach
pp. 114
Authentication for Mobile Agents
pp. 157
Finding Interesting Rare Association Rules Using Rare Pattern Tree
pp. 33
The Isabelle Framework
pp. 34
A Diagrammatic Approach for Visual Question Answering over Knowledge Graphs
pp. 42
On Compiling CNF into Decision-DNNF
pp. 45
Solving optimisation problems with catamorphisms
pp. 49
Speculative Abductive Reasoning for Hierarchical Agent Systems
pp. 51
Tangible Programming Gimmick Using RFID Systems Considering the Use of Visually Impairments
pp. 58
A Virtual Interactive Community Platform Supporting Education for Long-Term Sick Children
pp. 59
3D-Video-fMRI: 3D Motion Tracking in a 3T MRI Environment
pp. 61
An Open Market-Based Architecture for Distributed Computing
pp. 68
Approximation Algorithms for Flexible Job Shop Problems
pp. 71
An Outline of the Global Grid Forum Data Access and Integration Service Specifications
pp. 73
A Comparison of Many Max-tree Computation Algorithms
pp. 76
Strategic Analysis in Telecommunication Project Management System
pp. 77
The Consistency Dimension and Distribution-Dependent Learning from Queries (Extended Abstract)
pp. 77
Frugal Streaming for Estimating Quantiles
pp. 77
Characterizing Negabent Boolean Functions over Finite Fields
pp. 78
M3GP – Multiclass Classification with GP
pp. 80
A Survey of Discriminant Counting
pp. 81
Privacy-Aware Collaborative Access Control in Web-Based Social Networks
pp. 85
A Golden Ratio Parameterized Algorithm for Cluster Editing
pp. 85
Asynchronous Embedded Pattern Formation Without Orientation
pp. 90
Making Population Protocols Self-stabilizing
pp. 95
A new approach to control flow analysis
pp. 99
On the Analysis of Simple Genetic Programming for Evolving Boolean Functions
pp. 100
Applied Games – In Search of a New Definition
pp. 101
Formalizing FreeRTOS: First Steps
pp. 109
sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services
pp. 109
The Kell Calculus: Operational Semantics and Type System
pp. 110
Simple Generation of Static Single-Assignment Form
pp. 120
A Coverage Checking Algorithm for LF
pp. 121
A Boyer-Moore Type Algorithm for Timed Pattern Matching
pp. 378
Operational Semantics and Program Equivalence
pp. 45
When Words Fall Short: Helping People with Aphasia to Express
pp. 47
A Flexible Software Architecture Concept for the Creation of Accessible PDF Documents
pp. 67
Fully persistent arrays
pp. 68
A Broad Class of First-Order Rewritable Tuple-Generating Dependencies
pp. 70
Conflict Directed Lazy Decomposition
pp. 72
Fast Film Genres Classification Combining Poster and Synopsis
pp. 73
Genetic Programming in Statistical Arbitrage
pp. 75
Randomized Parallel Proof-Number Search
pp. 77
Applying static analysis to software architectures
pp. 78
Evolution of an Efficient Search Algorithm for the Mate-In-N Problem in Chess
pp. 79
Square Kufic Pattern Formation by Asynchronous Cellular Automata
pp. 79
The Density Classification Problem in the Context of Continuous Cellular Automata
pp. 85
Modeling Social Networks through User Background and Behavior
pp. 86
On the Rainbow Connectivity of Graphs: Complexity and FPT Algorithms
pp. 87
Monotone Scoring of Patterns with Mismatches
pp. 87
Multiple Sclerosis Detection via Wavelet Entropy and Feedforward Neural Network Trained by Adaptive Genetic Algorithm
pp. 88
From Spatial Regularization to Anatomical Priors in fMRI Analysis
pp. 91
Report: Measuring the Attack Surfaces of Enterprise Software
pp. 92
CheckVML: A Tool for Model Checking Visual Modeling Languages
pp. 92
Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching
pp. 97
Multiplexing of Partially Ordered Events
pp. 98
Calculating Distance with Neighborhood Sequences in the Hexagonal Grid
pp. 100
Mining and Modeling Character Networks
pp. 103
Mechanizing verification of arithmetic circuits: SRT division
pp. 106
Extracting Dependency Trees from Sanskrit Texts
pp. 110
Basis Expansion in Natural Actor Critic Methods
pp. 114
Region-Based Segmentation on Evolving Surfaces with Application to 3D Reconstruction of Shape and Piecewise Constant Radiance
pp. 122
LUTE (Local Unpruned Tuple Expansion): Accurate Continuously Flexible Protein Design with General Energy Functions and Rigid-rotamer-like Efficiency
pp. 130
Integrating Object-Oriented and Ontological Representations: A Case Study in Java and OWL
pp. 131
Designing Good Semi-structured Databases
pp. 16
Developmental Computing
pp. 17
State Management Issues and Grid Services
pp. 46
The Value of Multimodal Data in Classification of Social and Emotional Aspects of Tutoring
pp. 60
Forbidden Subgraph Colorings and the Oriented Chromatic Number
pp. 65
Forecasting Corporate Bankruptcy with an Ensemble of Classifiers
pp. 71
Differential Analysis of Two Model-Based Vehicle Tracking Approaches
pp. 84
Genes Related with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches
pp. 86
Improved Combinatorial Group Testing for Real-World Problem Sizes
pp. 97
Maximizing Barrier Coverage Lifetime with Mobile Sensors
pp. 97
Truth, Envy, and Truthful Market Clearing Bundle Pricing
pp. 98
Max-margin Multiple-Instance Learning via Semidefinite Programming
pp. 99
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard
pp. 101
On Boundedness Problems for Pushdown Vector Addition Systems
pp. 103
Comparison of Neural Network Optimization Approaches for Studies of Human Genetics
pp. 107
A New Genetic Algorithm for Simplified Protein Structure Prediction
pp. 111
Aligator.jl – A Julia Package for Loop Invariant Generation
pp. 119
Directions of motion fields are hardly ever ambiguous
pp. 119
OMEN: Faster Password Guessing Using an Ordered Markov Enumerator
pp. 120
Dependency Pairs for Simply Typed Term Rewriting
pp. 121
New Methods for Passive Estimation of TCP Round-Trip Times
pp. 125
Monitoring and Reputation Mechanisms for Service Level Agreements
pp. 126
Reflective Middleware Solutions for Context-Aware Applications
pp. 130
Distributed fault location in networks using mobile agents
pp. 130
Mobile Mapping and Visualization of Indoor Structures to Simplify Scene Understanding and Location Awareness
pp. 131
Homomorphic representations by products of tree automata
pp. 132
Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues
pp. 132
A Single-Enqueuer Wait-Free Queue Implementation
pp. 134
Generic Multiversion STM
pp. 135
Crash Resilient and Pseudo-Stabilizing Atomic Registers
pp. 136
A New Efficient Tool for the Design of Self-Stabilizing ℓ-Exclusion Algorithms: The Controller
pp. 137
The Aleph Toolkit: Support for Scalable Distributed Shared Objects
pp. 145
Identity-Based Multi-signatures from RSA
pp. 145
Abstract Machines of Systems Biology
pp. 148
Type-Indexed Data Types
pp. 152
Learning in multi-robot systems
pp. 152
The twisted cube
pp. 154
Argumentation Strategies for Collaborative Plan Resourcing
pp. 173
Some algorithmic and proof-theoretical aspects of coercive subtyping
pp. 185
Digital Concept Maps for Managing Knowledge and Information
pp. 207
Gesture Interfaces with Depth Sensors
pp. 80
Sample Size Estimation for Statistical Comparative Test of Training by Using Augmented Reality via Theoretical Formula and OCC Graphs: Aeronautical Case of a Component Assemblage
pp. 81
Rebuilding the visible man
pp. 85
Uniqueness Filtering for Local Feature Descriptors in Urban Building Recognition
pp. 87
Engineering Energy-Aware Web Services toward Dynamically-Green Computing
pp. 89
Personality Estimation Based on Weblog Text Classification
pp. 101
Model-Based Inference about IR Systems
pp. 104
Simultaneous Structural Variation Discovery in Multiple Paired-End Sequenced Genomes
pp. 107
Recent Developments in Low-Density Parity-Check Codes
pp. 109
STAR — A multimedia database system for trademark registration
pp. 114
Kinetic Approach to Lattice Quantum Mechanics
pp. 115
On the Scalability of Routing Integrated Time Synchronization
pp. 117
In Silico Modelling of the Human Intestinal Microflora
pp. 122
Improving Event Detection via Information Sharing Among Related Event Types
pp. 126
Briviesca in the 15th c.: A Virtual Reality Environment for Teaching Purposes
pp. 128
Information Theoretic Security Based on Bounded Observability
pp. 129
Interactive Image Retrieval for Biodiversity Research
pp. 134
A System for Automatic Chord Transcription from Audio Using Genre-Specific Hidden Markov Models
pp. 136
Variable Metric Reinforcement Learning Methods Applied to the Noisy Mountain Car Problem
pp. 142
Lock-Free Dynamically Resizable Arrays
pp. 144
Co-recognition of Image Pairs by Data-Driven Monte Carlo Image Exploration
pp. 152
The Aircraft Sequencing Problem
pp. 160
Correction and Extension of WordNet 1.7
pp. 163
Execution Semantics for Service Choreographies
pp. 173
Zooming in on Ontologies: Minimal Modules and Best Excerpts
pp. 176
Maintaining behavioral consistency during schema evolution
pp. 80
Quantum-Inspired Immune Clonal Algorithm for Multiuser Detection in DS-CDMA Systems
pp. 81
Towards a parallel C++ programming language based on commodity object-oriented technologies
pp. 83
Elastic Registration of 3D Ultrasound Images
pp. 89
Energy Adaptive Mechanism for P2P File Sharing Protocols
pp. 97
VR-Based Simulation for the Learning of Gynaecological Examination
pp. 100
Competitive Analysis of Flash-Memory Algorithms
pp. 109
Kinematic study of lumbar spine using functional radiographies and 3D / 2D registration
pp. 110
Visualizing Elements of Sha[3] in Genus 2 Jacobians
pp. 111
A Discussion of Indices for the Evaluation of Fuzzy Associations in Relational Databases
pp. 112
Ontology-Based Realtime Activity Monitoring Using Beam Search
pp. 130
Evolving Finite State Transducers: Some Initial Explorations
pp. 133
Self Modifying Cartesian Genetic Programming: Fibonacci, Squares, Regression and Summing
pp. 133
Towards a Framework for Alignment Between Automotive Safety and Security Standards
pp. 134
Decentralized Throughput Scheduling
pp. 134
A GPS Spoofing Resilient WAMS for Smart Grid
pp. 156
Finding a Maximum Compatible Tree for a Bounded Number of Trees with Bounded Degree Is Solvable in Polynomial Time
pp. 165
RAGE Reusable Game Software Components and Their Integration into Serious Game Engines
pp. 165
Software Pipelining of Nested Loops
pp. 172
Automated Reasoning Building Blocks
pp. 176
Progress on the State Explosion Problem in Model Checking
pp. 178
Using Semantic Distances for Reasoning with Inconsistent Ontologies
pp. 184
Block-Deterministic Regular Languages
pp. 184
Compositional modeling and verification of workflow processes
pp. 199
New structural invariants for Petri nets analysis
pp. 219
Database Replication: A Tutorial
pp. 249
Task sequencing language for specifying distributed Ada systems
pp. 98
Searching Rectilinear Streets Completely
pp. 103
POI Detection Using Channel Clustering and the 2D Energy Tensor
pp. 122
Combining Densely Sampled Form and Motion for Human Action Recognition
pp. 128
Immune-Based Framework for Exploratory Bio-information Retrieval from the Semantic Web
pp. 142
Design Issues of Information and Communication Systems for New Generation Industrial Enterprises
pp. 143
GP-Robocode: Using Genetic Programming to Evolve Robocode Players
pp. 144
Assessment of Structural Vulnerability for Power Grids by Network Performance Based on Complex Networks
pp. 145
Assigning Unique Keys to Chemical Compounds for Data Integration: Some Interesting Counter Examples
pp. 153
Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification
pp. 155
Coverability Analysis Using Symbolic Model Checking
pp. 158
A Branch & Bound Algorithm to Derive a Direct Construction for Binary Covering Arrays
pp. 162
A characterization of Floyd-provable programs
pp. 165
Color Correction: A Novel Weighted Von Kries Model Based on Memory Colors
pp. 166
Generalized ATM Fraud Detection
pp. 168
Network Analysis on Provenance Graphs from a Crowdsourcing Application
pp. 172
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters
pp. 174
Nonblocking Concurrent Data Structures with Condition Synchronization
pp. 177
Space-Varying Color Distributions for Interactive Multiregion Segmentation: Discrete versus Continuous Approaches
pp. 182
Verifying BDD Algorithms through Monadic Interpretation
pp. 183
Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings
pp. 194
Toward a Computational Theory of Data Acquisition and Truthing
pp. 195
Statistical Learning for Inductive Query Answering on OWL Ontologies
pp. 207
SofTOA: Software Ranging for TOA-Based Positioning of WLAN Terminals
pp. 93
A Reading History Logger for Supporting Reading Habit Development
pp. 97
FPGA Implementations Comparison of Neuro-cortical Inspired Convolution Processors for Spiking Systems
pp. 108
Categorized EEG Neurofeedback Performance Unveils Simultaneous fMRI Deep Brain Activation
pp. 131
Connected domination and steiner set on asteroidal triple-free graphs
pp. 144
Towards a theoretical foundation for cooperating knowledge based systems
pp. 155
Survey on the End-to-End Internet Delay Measurements
pp. 156
Shortest Path Problems on a Polyhedral Surface
pp. 163
Triangulations without Minimum-Weight Drawing
pp. 169
Exploiting Background Knowledge when Learning Similarity Measures
pp. 173
Generalizations of Hedberg’s Theorem
pp. 176
Making Apps Useable on Multiple Different Mobile Platforms: On Interoperability for Business Application Development on Smartphones
pp. 177
Security and communication in mobile object systems
pp. 190
Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW Position Paper
pp. 196
Semantics, Sensors, and the Social Web: The Live Social Semantics Experiments
pp. 220
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
pp. 228
Theoretical Aspects of Recursive Petri Nets
pp. 231
Unified Syntax for Abstract State Machines
pp. 234
Formal derivation of a loadable asynchronous counter
pp. 246
An Economic Model and Simulation Results of App Adoption Decisions on Networks with Interdependent Privacy Consequences
pp. 138
On-Line Probability, Complexity and Randomness
pp. 139
On the Effectiveness of Evidence-Based Terminological Decision Trees
pp. 143
An Evolutionary and Graph-Based Method for Image Segmentation
pp. 145
Bayesian Class-Matched Multinet Classifier
pp. 145
LocalRank: Ranking Web Pages Considering Geographical Locality by Integrating Web and Databases
pp. 150
Analysis of successive interference cancellation in M-ary Orthogonal DS-CDMA system with single path Rayleigh fading
pp. 157
Multimodal Interaction Concepts for Mobile Augmented Reality Applications
pp. 159
Deviations of Stochastic Bandit Regret
pp. 177
Speaker Segmentation for Air Traffic Control
pp. 179
A Unified Tool for Performance Modelling and Prediction
pp. 188
Competitive Analysis of On-line Stream Merging Algorithms
pp. 192
Evolving Turing Machines for Biosequence Recognition and Analysis
pp. 198
Expert Feature-Engineering vs. Deep Neural Networks: Which Is Better for Sensor-Free Affect Detection?
pp. 202
Practically Efficient Multi-party Sorting Protocols from Comparison Sort Algorithms
pp. 205
Curvature Regularization for Curves and Surfaces in a Global Optimization Framework
pp. 211
Probabilistic Abstract Interpretation and Statistical Testing
pp. 213
Higher order deforestation
pp. 220
Disperse or Unite? A Mathematical Model of Coordinated Attack
pp. 221
Trust Games as a Model for Requests
pp. 226
Abstract state machines: Designing distributed systems with state machines and B
pp. 229
Modeling Documents by Combining Semantic Concepts with Unsupervised Statistical Learning
pp. 283
User centered knowledge-based system design: a formal modelling approach
pp. 285
LEO: A Concept Map Based Course Visualization Tool for Instructors and Students
pp. 415
Numerical Method for Comparison on Homomorphically Encrypted Numbers
pp. 124
GEOFF — A geometrical editor for fold formation
pp. 132
MDA Applied: From Sequence Diagrams to Web Service Choreography
pp. 145
Characters in Search of an Author: AI-Based Virtual Storytelling
pp. 149
Classifying EEG Data into Different Memory Loads Across Subjects
pp. 153
Evolutionary Computational Approaches to Solving the Multiple Traveling Salesman Problem Using a Neighborhood Attractor Schema
pp. 162
Remarks on a Sequence of Minimal Niven Numbers
pp. 163
Revisiting the Minimum Breakpoint Linearization Problem
pp. 177
On Vertices and Facets of Combinatorial 2-Level Polytopes
pp. 177
User Behavior Pattern Analysis and Prediction Based on Mobile Phone Sensors
pp. 181
Leakage-Resilient Coin Tossing
pp. 191
The Weighted Average Constraint
pp. 192
Online Grocery Shopping: Identifying Change in Consumption Practices
pp. 200
Sequential P Systems with Unit Rules and Energy Assigned to Membranes
pp. 203
Solving Linear Systems with Boundary Conditions Using Heat Kernel Pagerank
pp. 203
Texton Correlation for Recognition
pp. 207
On the Extent and Nature of Software Reuse in Open Source Java Projects
pp. 214
BPELlight
pp. 221
Boosting Design Space Explorations with Existing or Automatically Learned Knowledge
pp. 247
Acoustic Sensor Network-Based Parking Lot Surveillance System
pp. 259
Knowledge Acquisition from Multiple Experts Based on Semantics of Concepts
pp. 282
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java
pp. 300
INAM2: InfiniBand Network Analysis and Monitoring with MPI
pp. 307
The Simeck Family of Lightweight Block Ciphers
pp. 317
Experience with Z developing a control program for a radiation therapy machine
pp. 102
Reducing the Integration of Public Administration Databases to Approximate Tree Matching
pp. 122
How Does the Neighborhood Affect the Global Behavior of Cellular Automata?
pp. 136
Boosting Convolutional Filters with Entropy Sampling for Optic Cup and Disc Image Segmentation from Fundus Images
pp. 153
Unified Inter and Intra Options Learning Using Policy Gradient Methods
pp. 157
Attribute Reduction in Concept Lattice Based on Discernibility Matrix
pp. 162
Stable model semantics for probabilistic deductive databases
pp. 165
User-Centered Design and Business Process Modeling: Cross Road in Rapid Prototyping Tools
pp. 168
An Energy-Efficient Caching Strategy Based on Coordinated Caching for Green Content-Centric Network
pp. 168
Some Steps into Verification of Exact Real Arithmetic
pp. 172
Matched median detectors for synchronous direct-sequence multiple-access communications
pp. 172
Automatic Bridge Detection in High-Resolution Satellite Images
pp. 173
Willow: DHT, Aggregation, and Publish/Subscribe in One Protocol
pp. 179
BayesianBand: Jam Session System Based on Mutual Prediction by User and System
pp. 180
Principal Directions of Synthetic Exact Filters for Robust Real-Time Eye Localization
pp. 181
Online Regression Competitive with Changing Predictors
pp. 184
A Comparison of Size Estimation Techniques Applied Early in the Life Cycle
pp. 185
A Surface Defect Detection Based on Convolutional Neural Network
pp. 186
Generating Feature Usage Scenarios in Client-Side Web Applications
pp. 187
Nonlinear scale-space from n-dimensional sieves
pp. 189
A Formal Quantifier Elimination for Algebraically Closed Fields
pp. 190
Conceptual Integration of Flow-Based and Packet-Based Network Intrusion Detection
pp. 190
Complexity of Simple Dependent Bimodal Logics
pp. 194
A Scalable Parallel Approach for Subgraph Census Computation
pp. 202
Coordination, Conventions and the Self-organisation of Sustainable Institutions
pp. 207
Reliable Data Replication in a Wireless Medical Emergency Network
pp. 211
Location Estimation Indoors by Means of Small Computing Power Devices, Accelerometers, Magnetic Sensors, and Map Knowledge
pp. 214
E-Textile Couch: Towards Smart Garments Integrated Furniture
pp. 228
Towards Assurance for Plug & Play Medical Systems
pp. 230
Sublinear-Space Distance Labeling Using Hubs
pp. 236
Uncertain Groupings: Probabilistic Combination of Grouping Data
pp. 239
Approximate analysis of networks of PH¦PH|1¦K queues: Theory & tool support
pp. 240
Symbolic Rule Extraction from the DIMLP Neural Network
pp. 246
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet
pp. 247
Incorporating user preferences in multimedia queries
pp. 248
Bagging Decision Trees on Data Sets with Classification Noise
pp. 257
Optimal Dynamic Range Searching inNon-replicating Index Structures
pp. 261
Deterministic search strategies for relational graph matching
pp. 307
The Effect of Identifying Vulnerabilities and Patching Software on the Utility of Network Intrusion Detection
pp. 139
An Effective Detail Preserving Filter for Impulse Noise Removal
pp. 145
A refinement methodology for developing data-parallel applications
pp. 161
A Scalable Solution for Adaptive Problem Sequencing and Its Evaluation
pp. 167
A Novel Human Motion Recognition Method Based on Eigenspace
pp. 177
Logical Foundations of Continuous Query Languages for Data Streams
pp. 186
Error Bounds Between Marginal Probabilities and Beliefs of Loopy Belief Propagation Algorithm
pp. 192
On the Reflexivity of Point Sets
pp. 207
Learning to Play a Highly Complex Game from Human Expert Games
pp. 208
Rectilinear Shortest Path and Rectilinear Minimum Spanning Tree with Neighborhoods
pp. 208
Sparse Deformable Models with Application to Cardiac Motion Analysis
pp. 231
A Robust Remote User Authentication Scheme against Smart Card Security Breach
pp. 236
The Multi-State Perfect Phylogeny Problem with Missing and Removable Data: Solutions via Integer-Programming and Chordal Graph Theory
pp. 258
Optimal Control for Linear-Rate Multi-mode Systems
pp. 266
Graph Transformation for Domain-Specific Discrete Event Time Simulation
pp. 268
Enumeration of Totally Real Number Fields of Bounded Root Discriminant
pp. 344
Dynamic clustering in object databases exploiting effective use of relationships between objects
pp. 94
Set-Theoretic Models of Granular Structures
pp. 143
Towards Dynamic Adaptation of Probabilistic Systems
pp. 155
Classification of Malignant Lymphomas by Classifier Ensemble with Multiple Texture Features
pp. 162
On Antimagic Labeling of Odd Regular Graphs
pp. 163
Mobile Interfaces for Better Living: Supporting Awareness in a Smart Home Environment
pp. 177
Robust Bayesian Reinforcement Learning through Tight Lower Bounds
pp. 186
Using Graph Search Techniques for Contextual Colour Retrieval
pp. 187
Making AAL Platforms a Reality
pp. 187
Uncovering Artifacts of Flow Measurement Tools
pp. 199
Twisted Jacobi Intersections Curves
pp. 205
Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems
pp. 215
The Tree-String Problem: An Artificial Domain for Structure and Content Search
pp. 215
Narrow-Shallow-Low-Light Trees with and without Steiner Points
pp. 216
Evaluating Feature Selection Algorithms
pp. 228
Efficient Exponentiation for a Class of Finite Fields GF(2 n ) Determined by Gauss Periods
pp. 229
Online Graph Coloring with Advice and Randomized Adversary
pp. 234
Time-Optimal Test Cases for Real-Time Systems
pp. 235
Efficient Probabilistic Frequent Itemset Mining in Big Sparse Uncertain Data
pp. 240
Analysis of the Insecurity of ECMQV with Partially Known Nonces
pp. 241
Unsupervised Case Memory Organization: Analysing Computational Time and Soft Computing Capabilities
pp. 241
An Intelligent Hotel Room
pp. 248
Idea: Interactive Support for Secure Software Development
pp. 252
A Lattice-Preserving Multigrid Method for Solving the Inhomogeneous Poisson Equations Used in Image Analysis
pp. 257
Abstractions for Fault-Tolerant Distributed System Verification
pp. 267
Self-Adaptation for Multi-objective Evolutionary Algorithms
pp. 267
Inheriting synchronization protocols via sound enrichment rules
pp. 287
Foundations for a Graph-Based Approach to the Specification of Access Control Policies
pp. 290
The DAML-S Virtual Machine
pp. 294
Iterative Cartesian Genetic Programming: Creating General Algorithms for Solving Travelling Salesman Problems
pp. 295
Systolic array synthesis by static analysis of program dependencies
pp. 116
New Testing Method for the Dyslexic and the Newly Blind with a Digital Audio Player and Document Structure Diagrams
pp. 167
Incremental Aggregation on Multiple Continuous Queries
pp. 179
Optimal Numerical Realization of the Energy Balance Equation for Wind Wave Models
pp. 181
Implementation of differential geometric objects and functions with an application to extended Maxwell equations
pp. 194
The GCA-w Massively Parallel Model
pp. 195
Enhancing CCL Algorithms by Using a Reduced Connectivity Mask
pp. 195
A Simple Graph-Theoretic Model for Selfish Restricted Scheduling
pp. 201
Topic Classification in Social Media Using Metadata from Hyperlinked Objects
pp. 205
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus
pp. 209
On the interpretation of set-oriented fuzzy quantified queries and their evaluation in a database management system
pp. 210
A Fish Migration Model
pp. 216
Hierarchical Clustering Analysis: The Best-Performing Approach at PAN 2017 Author Clustering Task
pp. 217
Limit Set Reachability in Asynchronous Graph Dynamical Systems
pp. 224
Cloud Computing Boosts Business Intelligence of Telecommunication Industry
pp. 228
A Higher-Level Language for Hardware Synthesis
pp. 242
The frobenius problem
pp. 249
Using Biometrics as an Enabling Technology in Balancing Universality and Selectivity for Management of Information Access
pp. 281
Visible language: Multimodal constraints in information presentation
pp. 286
A Greedy Heuristic for Crossing-Angle Maximization
pp. 315
Revisiting Epistemic Specifications
pp. 351
Synthesizing proofs from programs in the Calculus of Inductive Constructions
pp. 385
On syntactic and semantic action refinement
pp. 181
On Conservative Learning of Recursively Enumerable Languages
pp. 183
Informatics as Semiotics Engineering: Lessons Learned from Design, Development and Evaluation of Ambient Assisted Living Applications for Elderly People
pp. 198
CNN-LSTM Neural Network Model for Quantitative Strategy Analysis in Stock Markets
pp. 200
Semi-supervised Learning for Portuguese Noun Phrase Extraction
pp. 205
Tiered Vectors: Efficient Dynamic Arrays for Rank-Based Sequences
pp. 231
On the Correctness of an Intrusion-Tolerant Group Communication Protocol
pp. 242
A Contrast Invariant Approach to Motion Estimation
pp. 246
Finding All Convex Cuts of a Plane Graph in Cubic Time
pp. 247
PDE-Driven Adaptive Morphology for Matrix Fields
pp. 271
Completeness Analysis for Incomplete Object-Oriented Programs
pp. 276
Immunity from Spam: An Analysis of an Artificial Immune System for Junk Email Detection
pp. 281
The chain & sum primitive and its applications to MACs and stream ciphers
pp. 281
A Framework for Outdoor Mobile Augmented Reality and Its Application to Mountain Peak Detection
pp. 297
Tractable disjunctions of linear constraints
pp. 299
On Barriers and the Gap between Active and Passive Replication
pp. 303
Model Checking Correctness Properties of Electronic Contracts
pp. 307
A Semantic Approach to Interpolation
pp. 312
Computing L-Series of Hyperelliptic Curves
pp. 364
Why Proof Planning for Maths Education and How?
pp. 198
Discovery by Genetic Algorithm of Cellular Automata Rules for Pattern Reconstruction Task
pp. 199
Information Marginalization on Subgraphs
pp. 199
Dynamic programming on intervals
pp. 200
Centreline-Based Shape Descriptors of the Left Atrial Appendage in Relation with Thrombus Formation
pp. 203
An Authoring Tool for Building Both Mobile Adaptable Tests and Web-Based Adaptive or Classic Tests
pp. 214
A GRASP Algorithm for Clustering
pp. 225
Parallel Homotopy Algorithms to Solve Polynomial Systems
pp. 238
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees
pp. 241
A Comprehensive View of Fitness Landscapes with Neutrality and Fitness Clouds
pp. 243
Quality in Conceptual Modeling – New Research Directions
pp. 254
Vortex and Source Particles for Fluid Motion Estimation
pp. 257
Towards Human Interactive Proofs in the Text-Domain
pp. 260
Online Prediction under Submodular Constraints
pp. 260
Cross-Language Pseudo-Relevance Feedback Techniques for Informal Text
pp. 267
Toward Accurate Segmentation of the LV Myocardium and Chamber for Volumes Estimation in Gated SPECT Sequences
pp. 274
Generalization Performance of Classifiers in Terms of Observed Covering Numbers
pp. 274
Estimating Intrinsic Images from Image Sequences with Biased Illumination
pp. 278
Spectroscopy of Traceroute Delays
pp. 280
A Population Adaptive Based Immune Algorithm for Solving Multi-objective Optimization Problems
pp. 281
21/2 D Scene Reconstruction of Indoor Scenes from Single RGB-D Images
pp. 285
Space-time statistical model for functional MRI image sequences
pp. 333
Study of genetic search for the Frequency Assignment Problem
pp. 341
Test Generation for Network Security Rules
pp. 351
Efficient Selectivity Estimation by Histogram Construction Based on Subspace Clustering
pp. 360
Testing for Hardware Trojans: A Game-Theoretic Approach
pp. 173
Scale-space boundary evolution initialized by cores
pp. 179
Towards a Hybrid Navigation Interface: Comparison of a Slice Based Navigation System with In-Situ Visualization
pp. 184
A Navigation System for Augmenting Laparoscopic Ultrasound
pp. 197
Evaluation of Features for Leaf Discrimination
pp. 204
Algebraic computation of the solution of some nonlinear differential equations
pp. 207
Systematic Approach in Optimizing Numerical Memory-Bound Kernels on GPU
pp. 226
Efficient Algorithm for Linear Systems Arising in Solutions of Eigenproblems and Its Application to Electronic-Structure Calculations
pp. 250
Formalising Ontologies and Their Relations
pp. 257
Recursive Mean-Value Calculus
pp. 258
Emerging Information Infrastructures: Cooperation in Disasters
pp. 275
Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus
pp. 278
Tempus Fugit
pp. 288
A Quality Assurance Workflow for Ontologies Based on Semantic Regularities
pp. 307
Cryptographic protocols and voting
pp. 327
Reverse Engineering of Relational Databases to Ontologies
pp. 331
Forgetting-Based Inconsistency Measure
pp. 340
Paraconsistent logic programming
pp. 341
Analyzing the Performance of Lock-Free Data Structures: A Conflict-Based Model
pp. 344
Two Variational Models for Multispectral Image Classification
pp. 356
LPM: Layered Policy Management for Software-Defined Networks
pp. 358
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
pp. 363
Design of a Game-Based Pre-hospital Resuscitation Training for First Responders
pp. 425
New Improvements of Davies-Murphy Cryptanalysis
pp. 442
An Analysis of Rogue AV Campaigns
pp. 203
Efficient WiFi-Based Indoor Localization Using Particle Swarm Optimization
pp. 204
Correcting Radial Lens Distortion Using Image and Point Correspondences
pp. 207
Classification of DNA Microarrays Using Artificial Bee Colony (ABC) Algorithm
pp. 223
Tracking Changing User Interests through Prior-Learning of Context
pp. 242
Agents, Distributed Algorithms, and Stabilization
pp. 264
Hierarchical ER Diagrams (HERD) – The Method and Experimental Evaluation
pp. 279
Improving Stock Market Prediction by Integrating Both Market News and Stock Prices
pp. 294
Interactive Multi-label Segmentation of RGB-D Images
pp. 306
Comparison of Public End-to-End Bandwidth Estimation Tools on High-Speed Links
pp. 317
Usage Control in Inter-organisational Collaborative Environments – A Case Study from an Industry Perspective
pp. 322
A Unified Framework for Atlas Matching Using Active Appearance Models
pp. 330
Adding Integrity Constraints to the Semantic Web for Instance Data Evaluation
pp. 351
Evolutionary Inference of Attribute-Based Access Control Policies
pp. 369
DrScheme: A pedagogic programming environment for scheme
pp. 387
Density Based Subspace Clustering over Dynamic Data
pp. 388
Improved Algorithms for Efficient Arithmetic on Elliptic Curves Using Fast Endomorphisms
pp. 394
Connectivity algorithms using rubber bands
pp. 426
Infinity of Intermediate States Is Decidable for Petri Nets
pp. 434
Synthesis for Polynomial Lasso Programs
pp. 131
A Scalable Consent, Transparency and Compliance Architecture
pp. 205
Dictionary Learning Based Image Descriptor for Myocardial Registration of CP-BOLD MR
pp. 228
Optimizing a Computational Method for Length Lower Bounds for Reflecting Sequences
pp. 243
Secure and Verifiable Outsourcing of Sequence Comparisons
pp. 244
Agent-Based Simulation Replication: A Model Driven Architecture Approach
pp. 255
Proactive Assistive Technology: An Empirical Study
pp. 294
Querying Semantically Enriched Business Processes
pp. 301
Overview of the CLEF-2019 CheckThat! Lab: Automatic Identification and Verification of Claims
pp. 312
On Discrete Idempotent Paths
pp. 368
Formal Stability Analysis of Optical Resonators
pp. 385
A Semantic E-Wallet to Reconcile Privacy and Context Awareness
pp. 203
The role of abstraction in high-performance computing
pp. 223
Using User Profiles in Intelligent Information Retrieval
pp. 234
Game Description Language Compiler Construction
pp. 252
A Practical Set of Culture Dimensions for Global User-Interface Development
pp. 253
Comparison of Steady-State and Generational Evolution Strategies for Parallel Architectures
pp. 258
FAME, Soft Flock Formation Control for Collective Behavior Studies and Rapid Games Development
pp. 261
An Experimental Study of Global and Local Search Algorithms in Empirical Performance Tuning
pp. 266
MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in $\mathcal{O}(2^n)$ Time
pp. 290
Optimal Embedding into Star Metrics
pp. 354
A Lambda Calculus for Quantum Computation with Classical Control
pp. 355
Load balancing for response time
pp. 380
Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks
pp. 405
Please Stay vs Let’s Play: Social Pressure Incentives in Paid Collaborative Crowdsourcing
pp. 246
Handwritten Digit Recognition Using SVM Binary Classifiers and Unbalanced Decision Trees
pp. 265
Integration of Broadband and Broadcasting Wireless Technologies at the UMTS Radio Access Level
pp. 266
Better Polynomial Algorithms on Graphs of Bounded Rank-Width
pp. 316
Two-Stage Transfer Learning of End-to-End Convolutional Neural Networks for Webpage Saliency Prediction
pp. 336
Understanding Relationships: Classifying Verb Phrase Semantics
pp. 341
Evaluation of Robust Fitting Based Detection
pp. 348
Attention Based Meta Path Fusion for Heterogeneous Information Network Embedding
pp. 350
A Scalable Avatar for Conversational User Interfaces
pp. 375
Document Identifier Reassignment Through Dimensionality Reduction
pp. 583
Interprocedural Exception Analysis for C++
pp. 185
Teaching English to Deaf Adults: “SignOnOne” – An Online Course for Beginners
pp. 243
A Fully Implicit Jacobian-Free High-Order Discontinuous Galerkin Mesoscale Flow Solver
pp. 245
Human-Information Interactions with Complex Software
pp. 274
Putting Instance Matching to the Test: Is Instance Matching Ready for Reliable Data Linking?
pp. 279
Generic 3-D Modeling for Content Analysis of Court-Net Sports Sequences
pp. 282
Spanning Trees and the Complexity of Flood-Filling Games
pp. 300
Towards Adaptive, Resilient and Self-organizing Peer-to-Peer Systems
pp. 334
Semi-supervised Adversarial Image-to-Image Translation
pp. 339
An unambiguous class possessing a complete set
pp. 357
On Optimal Hash Tree Traversal for Interval Time-Stamping
pp. 390
Fault-Tolerant Storage in a Dynamic Environment
pp. 411
Extending Memory Consistency of Finite Prefixes to Infinite Computations
pp. 414
Categorical completeness results for the simply-typed lambda-calculus
pp. 436
A MAP Estimation Algorithm Using IIR Recursive Filters
pp. 441
Investigating the Semantic Gap through Query Log Analysis
pp. 235
Comparison of Neural Network Boolean Factor Analysis Method with Some Other Dimension Reduction Methods on Bars Problem
pp. 258
Driving Distraction Analysis by ECG Signals: An Entropy Analysis
pp. 268
Evaluation of Multiple Voxel-Based Morphometry Approaches and Applications in the Analysis of White Matter Changes in Temporal Lobe Epilepsy
pp. 275
Normalization in a Rough Relational Database
pp. 276
Exact Probabilistic Analysis of the Limited Scheduling Algorithm for Symmetrical Bluetooth Piconets
pp. 279
Virtual Telemetry for Dynamic Data-Driven Application Simulations
pp. 280
Determining the Optimal Contrast for Secret Sharing Schemes in Visual Cryptography
pp. 289
Energy-Efficient Design of the Reorder Buffer
pp. 298
Deriving Genetic Programming Fitness Properties by Static Analysis
pp. 302
Tangible Interaction in Learning Astronomy through Augmented Reality Book-Based Educational Tool
pp. 314
CBR Method for Web Service Composition
pp. 340
Lemmings Is PSPACE-Complete
pp. 351
On the Chain Pair Simplification Problem
pp. 386
String matching algorithms and automata
pp. 418
On the Communication Complexity of Distributed Name-Independent Routing Schemes
pp. 204
Human Action Recognition and Localization in Video at Contextual Level
pp. 284
An Adaptive Web Content Delivery System
pp. 291
A New Algorithm for Graph Matching with Application to Content-Based Image Retrieval
pp. 295
An Effective Data Dissemination in Vehicular Ad-Hoc Network
pp. 296
The Study of Detecting for IR Weak and Small Targets Based on Fractal Features
pp. 300
Audio-Based Event Detection for Sports Video
pp. 308
New Results on Fuzzy Regression by Using Genetic Programming
pp. 383
Force-Based Cooperative Search Directions in Evolutionary Multi-objective Optimization
pp. 385
Integrating Know-How into the Linked Data Cloud
pp. 432
A 3D Human Posture Approach for Activity Recognition Based on Depth Camera
pp. 249
Extended Sparse Nonnegative Matrix Factorization
pp. 250
Kullback-Leibler Divergence for Nonnegative Matrix Factorization
pp. 253
Learning to Find Graph Pre-images
pp. 284
Computing Communities in Large Networks Using Random Walks
pp. 285
Guest-Aware Priority-Based Virtual Machine Scheduling for Highly Consolidated Server
pp. 301
Genetic Programming Using Self-Reconfigurable FPGAs
pp. 306
Crawling by Readability Level
pp. 315
Real-Time Video Dehazing Based on Spatio-Temporal MRF
pp. 319
The Computational Complexity of the Kakuro Puzzle, Revisited
pp. 346
A Differential Approach for Staged Trees
pp. 361
Measures for silhouettes resemblance and representative silhouettes of curved objects
pp. 362
Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
pp. 415
Combining Multiple Similarity Metrics Using a Multicriteria Approach
pp. 423
Keyword Search Based Mashup Construction with Guaranteed Diversity
pp. 475
Computing the Number of Goldbach Partitions up to 5 108
pp. 566
A Simple Threshold Authenticated Key Exchange from Short Secrets
pp. 198
A hybrid approach for modeling uncertainty in terminological logics
pp. 246
An Efficient Resource Allocation Method for Multimedia Cloud Computing
pp. 289
Unsupervised Anomaly Localization Using Variational Auto-Encoders
pp. 300
Characterization of CA Rules for SACA Targeting Detection of Faulty Nodes in WSN
pp. 315
Classification of Seafloor Habitats Using Genetic Programming
pp. 330
Brief Announcement: The BG-Simulation for Byzantine Mobile Robots
pp. 339
Posterior Sampling of Scientific Images
pp. 350
PathRank: Web Page Retrieval with Navigation Path
pp. 360
Conditional correlation attack on nonlinear filter generators
pp. 363
The ROBDD Size of Simple CNF Formulas
pp. 370
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
pp. 376
Real-time lip tracking for audio-visual speech recognition applications
pp. 376
Parameterized Algorithms for Module Map Problems
pp. 396
A Method for Cricket Bowling Action Classification and Analysis Using a System of Inertial Sensors
pp. 405
An Identity for Kernel Ridge Regression
pp. 441
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT
pp. 501
Generalized Multi-camera Scene Reconstruction Using Graph Cuts
pp. 1466
Ontology-Based Spatial Query Expansion in Information Retrieval
pp. 259
Hierarchical Extraction of Independent Subspaces of Unknown Dimensions
pp. 261
Large Display Interaction Using Video Avatar and Hand Gesture Recognition
pp. 277
A Cellular Automata Model for Species Competition and Evolution
pp. 293
Optic Nerve Head Detection via Group Correlations in Multi-orientation Transforms
pp. 295
Mining Generalised Emerging Patterns
pp. 302
FPGA Accelerated Parallel Sparse Matrix Factorization for Circuit Simulations
pp. 315
Restoration Design in IP over Reconfigurable All-Optical Networks
pp. 320
Infrared Face Recognition by Using Blood Perfusion Data
pp. 323
Incremental Learning in the Energy Minimisation Framework for Interactive Segmentation
pp. 328
Real Time Facial Expression Recognition Using Local Binary Patterns and Linear Programming
pp. 402
Learning Outdoor Color Classification from Just One Training Image
pp. 459
On Minimizing Average End-to-End Delay in P2P Live Streaming Systems
pp. 507
Agnostic Boosting
pp. 299
EviRank: An Evidence Based Content Trust Model for Web Spam Detection
pp. 340
Optimal Labelling of Point Features in the Slider Model
pp. 341
The Impact of Population Structure on Particle Swarm Optimization: A Network Science Perspective
pp. 376
Ant Based Semi-supervised Classification
pp. 393
In-place calculation of minimum-redundancy codes
pp. 396
Classifying Twitter Users Based on User Profile and Followers Distribution
pp. 410
An Ontology-Based Approach to Context-Aware Access Control for Software Services
pp. 435
Visualization-Aided Exploration of the Real Estate Data
pp. 499
On the Communication Complexity of Linear Algebraic Problems in the Message Passing Model
pp. 529
CoverSize: A Global Constraint for Frequency-Based Itemset Mining
pp. 285
Connectivity-Informed fMRI Activation Detection
pp. 297
Combination of the Cellular Potts Model and Lattice Gas Cellular Automata for Simulating the Avascular Cancer Growth
pp. 311
A Practical Analysis of Smartphone Security
pp. 324
A Multiscale Virtual Reality Approach to Chemical Experiments
pp. 325
Biologically-Inspired Supervised Vasculature Segmentation in SLO Retinal Fundus Images
pp. 346
Single-Loop Architecture for JPEG 2000
pp. 370
Reliability Modeling for the Advanced Electric Power Grid
pp. 429
Image compression by multilevel polynomial interpolation and wavelet texture coding
pp. 433
ABS: A High-Level Modeling Language for Cloud-Aware Programming
pp. 448
A New Propagator for Two-Layer Neural Networks in Empirical Model Learning
pp. 452
Evaluating SPLASH-2 Applications Using MapReduce
pp. 523
A Parallel Rendering Algorithm Based on Hierarchical Radiosity
pp. 537
Range queries involving spatial relations: A performance analysis
pp. 264
RTTM: A New Hierarchical Interconnection Network for Massively Parallel Computing
pp. 297
Nonrigid Registration of Multitemporal CT and MR Images for Radiotherapy Treatment Planning
pp. 342
Probabilistic Inference of Viral Quasispecies Subject to Recombination
pp. 342
Mining and Filtering Multi-level Spatial Association Rules with ARES
pp. 368
An O(n)-Time Algorithm for the Paired-Domination Problem on Permutation Graphs
pp. 374
A New Model of Parallel Distributed Genetic Algorithms for Cluster Systems: Dual Individual DGAs
pp. 393
Interpreting Belief Functions as Dirichlet Distributions
pp. 426
Mixing Points on a Circle
pp. 465
Creative Design: Exploring Value Propositions with Urban Nepalese Children
pp. 359
Visualising Class Distribution on Self-organising Maps
pp. 439
Fast Dejittering for Digital Video Frames
pp. 500
Secret sharing schemes with bipartite access structure
pp. 582
SCULPTEUR: Towards a New Paradigm for Multimedia Museum Information Handling
pp. 664
CellFlood: Attacking Tor Onion Routers on the Cheap
pp. 307
Hough Forests for Real-Time, Automatic Device Localization in Fluoroscopic Images: Application to TAVR
pp. 324
User Interaction with User-Adaptive Information Filters
pp. 427
Alternative Algorithms for Counting All Matchings in Graphs
pp. 321
Learning Player Behaviors in Real Time Strategy Games from Real Data
pp. 327
Fingerprint Matching with Registration Pattern Inspection
pp. 375
Rapid Real-Time Interdisciplinary Ocean Forecasting Using Adaptive Sampling and Adaptive Modeling and Legacy Codes: Component Encapsulation Using XML
pp. 377
Constructive disjunction revisited
pp. 396
An Adaptive Pre-copy Strategy for Virtual Machine Live Migration
pp. 399
CLEAR: An Efficient Context and Location-Based Dynamic Replication Scheme for Mobile-P2P Networks
pp. 425
SPMD OpenMP versus MPI on a IBM SMP for 3 Kernels of the NAS Benchmarks
pp. 432
An Average-Case Analysis for Rate-Monotonic Multiprocessor Real-Time Scheduling
pp. 435
In vivo analysis of trabecular bone architecture
pp. 452
A Semantic-Based Approach to Attain Reproducibility of Computational Environments in Scientific Workflows: A Case Study
pp. 479
A Privacy-Aware Framework for Decentralized Online Social Networks
pp. 661
VICKEY: Mining Conditional Keys on Knowledge Bases
pp. 391
Multi-cellular Development: Is There Scalability and Robustness to Gain?
pp. 399
About moment normalization and complex moment descriptors
pp. 460
Collecting experience on the systematic development of CBR applications using the INRECA methodology
pp. 524
Universal Remote Console - Prototyping for the Alternate Interface Access Standard
pp. 553
Optimal Offline Dynamic 2, 3-Edge/Vertex Connectivity
pp. 327
Design and Implementation of Parallel Nonrigid Image Registration Using Off-the-Shelf Supercomputers
pp. 373
New Ciphertext-Policy Attribute-Based Access Control with Efficient Revocation
pp. 388
Human Action Recognition by Inference of Stochastic Regular Grammars
pp. 422
Towards Context-Aware Data Management for Ambient Intelligence
pp. 339
Adaption of 3D Models to 2D X-Ray Images during Endovascular Abdominal Aneurysm Repair
pp. 383
Why to Apply Generalized Disjunction-Free Generators Representation of Frequent Patterns?
pp. 446
Vehicle Counting without Background Modeling
pp. 477
On Visibility Representation of Plane Graphs
pp. 495
Imposing hard constraints on soft snakes
pp. 504
A Deeper Look at Dataset Bias
pp. 540
An Agent-Based Distributed Approach for Bike Sharing Systems
pp. 555
Intentional Modeling to Support Identity Management
pp. 560
Unsupervised Learning of Skeletons from Motion
pp. 333
Making Sense of the Sensory Data – Coordinate Systems by Hierarchical Decomposition
pp. 366
Packet Error Probability of Multi-carrier CDMA System in Fast/Slow Correlated Fading Plus Interference Channel
pp. 412
A New Feature Weighted Fuzzy Clustering Algorithm
pp. 446
Efficient Extraction of Feature Signatures Using Multi-GPU Architecture
pp. 449
Fast Ciphers for Cheap Hardware: Differential Analysis of SPECTR-H64
pp. 471
On External-Memory Planar Depth First Search
pp. 473
Correlation-Based Deep Learning for Multimedia Semantic Concept Detection
pp. 476
A Classifier Hub for Imbalanced Financial Data
pp. 621
High-Fidelity Multidisciplinary Design Optimization of Wing Shape for Regional Jet Aircraft
pp. 325
Parallel Computing for Option Pricing Based on the Backward Stochastic Differential Equation
pp. 453
On Feature Combination for Music Classification
pp. 467
Recyclable Waste Paper Sorting Using Template Matching
pp. 488
Generation of SEFDM-Signals Using FFT/IFFT
pp. 515
Relations Between Higher Order TV Regularization and Support Vector Regression
pp. 527
A taxonomy of forgetting automata
pp. 540
The 5W Structure for Sentiment Summarization-Visualization-Tracking
pp. 623
Identification of Multiple Gene Subsets Using Multi-objective Evolutionary Algorithms
pp. 343
Graphics Hardware Implementation of the Parameter-Less Self-organising Map
pp. 502
Compact Ultrasound Device for Noncontact Interaction
pp. 518
New Cross/Augmented Reality Experiences for the Virtual Museums of the Future
pp. 519
Integer Programming: Optimization and Evaluation Are Equivalent
pp. 552
A Formal Framework for Handling Conflicting Desires
pp. 302
Web Accessibility through Adaptation
pp. 306
Development of a Mobile Tourist Information System for People with Functional Limitations: User Behaviour Concept and Specification of Content Requirements
pp. 350
Implementation Issues in the Design of I/O Intensive Data Mining Applications on Clusters of Workstations
pp. 372
A Pipelined Real-Time Optical Flow Algorithm
pp. 416
Querying for Feature Extraction and Visualization in Climate Modeling
pp. 417
A fast morphology-based registration
pp. 458
Variable Neighborhood Search and GRASP for Three-Layer Hierarchical Ring Network Design
pp. 511
Could any Graph be Turned into a Small-World?
pp. 532
Enabling Interactive Query Expansion through Eliciting the Potential Effect of Expansion Terms
pp. 542
DASH: Data Structures and Algorithms with Support for Hierarchical Locality
pp. 621
Fast Segmentation of High-Resolution Satellite Images Using Watershed Transform Combined with an Efficient Region Merging Approach
pp. 624
Illumination and Person-Insensitive Head Pose Estimation Using Distance Metric Learning
pp. 316
Assistive Technologies as Effective Mediators in Interpersonal Social Interactions for Persons with Visual Disability
pp. 375
Model-Updated Image Guidance: A Statistical Approach to Gravity-Induced Brain Shift
pp. 427
Interactive virtualized display system for intravascular neurosurgery
pp. 432
Discovering Sequential Association Rules with Constraints and Time Lags in Multiple Sequences
pp. 460
Neural Network Processing for Multiset Data
pp. 462
Substitutions and Strongly Deterministic Tilesets
pp. 472
Classification of a Class of Counting Problems Using Holographic Reductions
pp. 531
Algorithms for MDC-Based Multi-locus Phylogeny Inference
pp. 560
Scheduling Data Flow Program in XKaapi: A New Affinity Based Algorithm for Heterogeneous Architectures
pp. 588
Stereo Using Monocular Cues within the Tensor Voting Framework
pp. 638
Fuzzy Annotation of Web Data Tables Driven by a Domain Ontology
pp. 638
2D Image Analysis by Generalized Hilbert Transforms in Conformal Space
pp. 662
Multiobjective Evolutionary Algorithms Applied to the Rehabilitation of a Water Distribution System: A Comparative Study
pp. 734
3-D Motion and Structure from 2-D Motion Causally Integrated over Time: Implementation
pp. 337
Face Recognition Using Probabilistic Two-Dimensional Principal Component Analysis and Its Mixture Model
pp. 461
MEA Based Nonlinearity Correction Algorithm for the VCO of LFMCW Radar Level Gauge
pp. 488
Parallel Ant Colony Optimization Algorithm on a Multi-core Processor
pp. 501
To Relive a Valuable Experience of the World at the Digital Museum
pp. 540
Music Puzzle: An Audio-Based Computer Game That Inspires to Train Listening Abilities
pp. 593
Cyclic tree traversal
pp. 645
Residential Demand Response under Uncertainty
pp. 673
Requirements of Indoor Navigation System from Blind Users
pp. 764
Signal/Collect: Graph Algorithms for the (Semantic) Web
pp. 308
Development of Universal Communication Aid for Emergency Using Motion Pictogram
pp. 336
Hand Recognition Using Implicit Polynomials and Geometric Features
pp. 382
Improving Speaker Recognition by Training on Emotion-Added Models
pp. 495
Tracking of tagged MR images by Bayesian analysis of a network of quads
pp. 541
Secure Document Service for Cloud Computing
pp. 613
Data-Driven Sub-Riemannian Geodesics in SE(2)
pp. 484
Nonlinear Smoothing of MR Images Using Approximate Entropy — A Local Measure of Signal Intensity Irregularity
pp. 493
On-Line Multi-view Forests for Tracking
pp. 512
Discovering Interpretable Muscle Activation Patterns with the Temporal Data Mining Method
pp. 567
WeatherUSI: User-Based Weather Crowdsourcing on Public Displays
pp. 583
New Mathematical Optimization Approaches for LID Systems
pp. 453
Competitive Online Scheduling with Level of Service
pp. 540
Role and Request Based Conceptual Modeling – A Methodology and a CASE Tool
pp. 420
Orientation Histograms as Shape Priors for Left Ventricle Segmentation Using Graph Cuts
pp. 424
CVPIC Colour/Shape Histograms for Compressed Domain Image Retrieval
pp. 471
An Asynchronous Viterbi Decoder for Low-Power Applications
pp. 519
Spatial compounding of 3-D ultrasound images
pp. 527
The Conformal Monogenic Signal
pp. 528
Fast and Space-Efficient Location of Heavy or Dense Segments in Run-Length Encoded Sequences
pp. 582
An Architecture for Unifying Web Services Authentication and Authorization
pp. 479
Computational Steering Strategy to Calibrate Input Variables in a Dynamic Data Driven Genetic Algorithm for Forest Fire Spread Prediction
pp. 508
Data Aggregation for Wireless Sensor Networks Using Self-organizing Map
pp. 423
A Model for a Component Based Grid-Aware Scientific Library Service
pp. 447
Motion-Aware Mosaicing for Confocal Laser Endomicroscopy
pp. 451
Deformable Segmentation via Sparse Shape Representation
pp. 626
Intrinsic Image Decomposition: A Comprehensive Review
pp. 470
Enhanced VQ-Based Algorithms for Speech Independent Speaker Identification
pp. 495
Brain Activities Supporting Finger Operations, Analyzed by Neuro-NIRS
pp. 506
Computing an Extensive-Form Correlated Equilibrium in Polynomial Time
pp. 644
A Lower Bound on the Competitive Ratio of Truthful Auctions
pp. 522
Using Co-training and Self-training in Semi-supervised Multiple Classifier Systems
pp. 530
FRAGGLE: A FRamework for AGile Gamification of Learning Experiences
pp. 536
Neuroscience Rough Set Approach for Credit Analysis of Branchless Banking
pp. 538
Multi-fault Diagnosis of Roller Bearings Using Support Vector Machines with an Improved Decision Strategy
pp. 548
A New Prime Edge Length Crystallographic FFT
pp. 553
Incremental Collaborative Filtering for Highly-Scalable Recommendation Algorithms
pp. 656
Competitive Contract Net Protocol
pp. 472
BIP: A new protocol designed for high performance networking on Myrinet
pp. 502
Cellular Automata and Its Application to the Modeling of Vehicular Traffic in the City of Caracas
pp. 535
Balancing Logic Utilization and Area Efficiency in FPGAs
pp. 577
Vision Based Facial Action Recognition System for People with Disabilities
pp. 615
Active Optimistic Message Logging for Reliable Execution of MPI Applications
pp. 460
Iterative solution of dense linear systems arising from integral equations
pp. 563
The Memory Indexing Evolutionary Algorithm for Dynamic Environments
pp. 628
A Cost-Aware Strategy for Query Result Caching in Web Search Engines
pp. 485
Facial Expression Based Automatic Album Creation
pp. 485
GEDAS: A Data Management System for Data Grid Environments
pp. 556
Matching Concavity Trees
pp. 708
Data replication in a distributed system: A performance study
pp. 573
etiquetAR: Tagging Learning Experiences
pp. 574
Probabilistic Reversible Automata and Quantum Automata
pp. 598
Hole Filling Algorithm Using Spatial-Temporal Background Depth Map for View Synthesis in Free View Point Television
pp. 661
Feature Selection for Retrieval Purposes
pp. 415
On Necessity of a New Method to Read Out Math Contents Properly in DAISY
pp. 526
Ambient Intelligence Through Image Retrieval
pp. 559
Robust Supply Vessel Planning
pp. 577
Incorporating Pageview Weight into an Association-Rule-Based Web Recommendation System
pp. 704
The Application of Case Based Reasoning on Q&A System
pp. 337
Exploring Online Course Sociograms Using Cohesion Network Analysis
pp. 526
Object Class Recognition Using SNoW with a Part Vocabulary
pp. 539
Pre-Copy and Post-Copy VM Live Migration for Memory Intensive Applications
pp. 675
On Non-binary Quantum BCH Codes
pp. 685
Visual Aspect: A Unified Content-Based Collaborative Filtering Model for Visual Document Recommendation
pp. 690
Sublinear Ambiguity
pp. 873
Fusion of Feature- and Area-Based Information for Urban Buildings Modeling from Aerial Imagery
pp. 617
Assortative Mating in Genetic Algorithms for Dynamic Problems
pp. 736
Explanatory Relations Based on Mathematical Morphology
pp. 759
An Efficient Quantum Algorithm for the Hidden Subgroup Problem in Nil-2 Groups
pp. 555
Flexible Reconstruction and Correction of Unpredictable Motion from Stacks of 2D Images
pp. 629
A Weakly Supervised Approach for Semantic Image Indexing and Retrieval
pp. 454
Visual System to Help Blind People to Cross the Street
pp. 457
Combining Rules for Text Categorization Using Dempster’s Rule of Combination
pp. 568
New Results on a Fuzzy Granular Space
pp. 585
Affordable fault tolerance through adaptation
pp. 643
Configuration sequencing with self configurable binary multipliers
pp. 644
Automatic Band Selection in Multispectral Images Using Mutual Information-Based Clustering
pp. 645
Exploiting Result Consistency to Select Query Expansions for Spoken Content Retrieval
pp. 686
Query Expansion Using Web Access Log Files
pp. 374
Accessibility Metrics of Web Pages for Blind End-Users
pp. 451
Development of Directly Manipulable Tactile Graphic System with Audio Support Function
pp. 612
Practical Approximation of Optimal Multivariate Discretization
pp. 626
Mood Dependent Music Generator
pp. 747
Generating Uncertain Networks Based on Historical Network Snapshots
pp. 560
Kernel-Based Method for Automated Walking Patterns Recognition Using Kinematics Data
pp. 667
Asynchronous Execution of OpenMP Code
pp. 696
On Automatic Plagiarism Detection Based on n-Grams Comparison
pp. 678
Cellular Automata in the Hyperbolic Plane: Proposal for a New Environment
pp. 555
A Dynamic Migration Model for Self-adaptive Genetic Algorithms
pp. 750
Controlling Information Aggregation for Complex Question Answering
pp. 399
Genre and Domain Processing in an Information Retrieval Perspective
pp. 609
Multiscale Image Processing on the Sphere
pp. 697
Stability Analysis on a Neutral Neural Network Model
pp. 1079
A Short Survey on Upper and Lower Bounds for Multidimensional Zero Sums
pp. 463
Adaptive noise injection for input variables relevance determination
pp. 506
Java-Powered Braille Slate Talker
pp. 714
Fault-tolerant message routing for multiprocessors
pp. 545
Sound Quality Evaluation Based on Artificial Neural Network
pp. 687
Learning by e-Learning: Breaking Down Barriers and Creating Opportunities for the Visually-Impaired
pp. 839
A Generic Approach to Object Matching and Tracking
pp. 468
Computation and simplification in lie fields
pp. 696
A Generic and Configurable Source-Code Instrumentation Component
pp. 492
Institutional Conditions for the Implementation of Accessible Lifelong Learning (ALL) Based on the EU4ALL Approach
pp. 406
Accessible Interface Design: Adaptive Multimedia Information System (AMIS)
pp. 825
The Tentative and Early Binding Update for Mobile IPv6 Fast Handover
pp. 668
A Coarse-to-Fine Classification Scheme for Facial Expression Recognition
pp. 767
On the Computation of Mass Fluxes for Eulerian Transport Models from Spectral Meteorological Fields
pp. 777
Orthogonal Forward Selection for Constructing the Radial Basis Function Network with Tunable Nodes
pp. 828
XG: A Data-Driven Computation Grid for Enterprise-Scale Mining
pp. 511
Using Robots in Education and Therapy Sessions for Children with Disabilities: Guidelines for Teachers and Rehabilitation Professionals
pp. 664
A Pattern Search Method for Image Registration
pp. 560
A Device to Evaluate Broadcast Background Sound Balance Using Loudness for Elderly Listeners
pp. 813
Characterization of Reachable/Nonreachable Cellular Automata States
pp. 866
Maximum Throughput and Minimum Delay in IEEE 802.15.4
pp. 972
Load Balancing for Imbalanced Data Sets: Classifying Scientific Artefacts for Evidence Based Medicine
pp. 643
Design and Implementation of a Service-Oriented Manufacturing Grid System
pp. 803
A Semantic Accessibility Assessment Environment for Design and Development for the Web
pp. 834
Document Mining Based on Semantic Understanding of Text
pp. 666
New Opportunities with Open Learner Models and Visual Learning Analytics
pp. 746
My First Search User Interface
pp. 651
Revisiting Some Control Schemes for Chaotic Synchronization with Mathematica
pp. 813
Enhancing Universal Access – EEG Based Learnability Assessment
pp. 688
Short-Term Load Forecasting Based on Self-organizing Map and Support Vector Machine
pp. 907
A permutation based Genetic Algorithm for minimum span frequency assignment
pp. 880
Tool-Wear Monitoring Based on Continuous Hidden Markov Models
pp. 798
Building and Evaluation of a Mosaic of Images Using Aerial Photographs
pp. 502
Access by Blind Students and Professionals to Mainstream Math and Science
pp. 710
Finite Convergence and Performance Evaluation of Adaptive Tabu Search
pp. 942
A Self-adaptive Neural Learning Classifier System with Constructivism for Mobile Robot Control
pp. 951
Detecting Traffic Anomalies Using Discrete Wavelet Transform
pp. 664
Towards a Universal Maths Conversion Library
pp. 557
Managing the Educational Dataset Lifecycle with DataShop
pp. 683
Captioning for Deaf and Hard of Hearing People by Editing Automatic Speech Recognition in Real Time
pp. 739
A General-Purpose Forward Deduction Engine for Modal Logics
pp. 977
Boundary Conditions for Thermal Lattice Boltzmann Simulations
pp. 857
Political Hashtag Trends
pp. 812
New Design of PMU for Real-Time Security Monitoring and Control of Wide Area Intelligent System
pp. 1081
Enhancing of the Prefetching Prediction for Context-Aware Mobile Information Services
pp. 966
Bagging Classification Models with Reduced Bootstrap
pp. 766
Using HCI Task Modeling Techniques to Measure How Deeply Students Model
pp. 894
Geostatistical Medical Image Registration
pp. 688
An E-mail Filtering Approach Using Neural Network
pp. 801
A New Audio Testing System for the Newly Blind and the Learning Disabled to Take the National Center Test for University Admissions
pp. 903
On Parallel Immune Quantum Evolutionary Algorithm Based on Learning Mechanism and Its Convergence
pp. 901
Proposal of Impression Mining from News Articles
pp. 1083
SBEAVER: A Tool for Modeling Business Vocabularies and Business Rules
pp. 1139
Cell-Based Distributed Index for Range Query Processing in Wireless Data Broadcast Systems
pp. 901
Corner detection in color images by multiscale combination of end-stopped cortical cells
pp. 739
Developing Academic Skills among Print Disabled Students: IT Based Austrian-Wide Network for Service Provision
pp. 916
Conceptual Scaffolding to Check One’s Procedures
pp. 753
Learning from Each Other: Comparing the Service Provision for Blind and Visually-Impaired Students in Post-secondary Education in Japan and Europe
pp. 1190
Fuzzy Output Support Vector Machines for Classification
pp. 1228
Optimization of Special Vehicle Routing Problem Based on Ant Colony System
pp. 1055
Usability Evaluation of the MOST Mobile Assistant (SlatTalker)
pp. 1102
RoboBraille – Automated Braille Translation by Means of an E-Mail Robot
pp. 1146
Intelligent Multimedia Service System Based on Context Awareness in Smart Home
pp. 1207
Graphic Cryptography with Pseudorandom Bit Generators and Cellular Automata
pp. 1139
Graphic Editor for Visually Impaired Users
pp. 1229
Content Modeling in Intelligent Instructional Environments
pp. 1242
Electric Power System Anomaly Detection Using Neural Networks
pp. 173
On the Competitive Theory and Practice of Portfolio Selection (Extended Abstract)
pp. 1088
A Software Debugging Method Based on Pairwise Testing
Similar content
5,220
Pattern mining of user interaction logs for a post-deployment usability evaluation of a radiology PACS client
Authors:
Aluminum fractions in surface water from reservoirs by coagulation treatment with polyaluminum chloride (PAC): Influence of initial pH and OH−/Al3+ ratio
Authors:
Zhonglian Yang
,
Baoyu Gao
,
Yan. Wang
…
Pre-depositing PAC-birnessite cake layer on gravity driven ceramic membrane (GDCM) reactor for manganese removal: The significance of stable flux and biofilm
Authors:
Xing Du
,
Yao Liu
,
Peng Rao
…
See all similar
Cited by
1
POMDP Model Learning for Human Robot Collaboration
Authors:
Wei Zheng
,
Hai Lin
,
Bo Wu
See all cited by