ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
8
views
13
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
2,904
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
Exploring Performance Overhead Versus Soft Error Detection in Lockstep Dual-Core ARM Cortex-A9 Processor Embedded into Xilinx Zynq APSoC
other
Author(s):
Ádria Barros de Oliveira
,
Lucas Antunes Tambara
,
Fernanda Lima Kastensmidt
Publication date
(Online):
March 31 2017
Publisher:
Springer International Publishing
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
Procedural speed in criminal law
Most cited references
13
Record
: found
Abstract
: not found
Article
: not found
Predicting error rate for microprocessor-based digital architectures through C.E.U. (Code Emulating Upsets) injection
R. Ecoffet
,
S. Rezgui
,
R Velazco
(2000)
0
comments
Cited
13
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Correlation of inflight neutron dosimeter and SEU measurements with atmospheric neutron model
E. Normand
(2001)
0
comments
Cited
7
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Estimating error rates in processor-based architectures
S. Rezgui
,
R Velazco
,
R. Ecoffet
…
(2001)
0
comments
Cited
6
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2017
Publication date (Online):
March 31 2017
Pages
: 189-201
DOI:
10.1007/978-3-319-56258-2_17
SO-VID:
a21012c0-190c-4143-977e-d678df2247dc
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Optics Goes Where No Electronics Can Go: Zero-Energy-Dissipation Logic
pp. 1
Replacement Attacks on Behavior Based Software Birthmark
pp. 1
Some History of Functional Programming Languages
pp. 1
Methodologies for Automated Telephone Answering
pp. 1
On the Power of the Semi-Separated Pair Decomposition
pp. 1
Innovative Opening-Book Handling
pp. 1
Verifying a Hotel Key Card System
pp. 1
Multimodal Shape Tracking with Point Distribution Models
pp. 1
Functional Classification of G-Protein Coupled Receptors, Based on Their Specific Ligand Coupling Patterns
pp. 1
Topological Map: An Efficient Tool to Compute Incrementally Topological Features on 3D Images
pp. 1
DISC 2011 Invited Lecture: Deterministic Rendezvous in Networks: Survey of Models and Results
pp. 1
Some observations about the nature of computer science
pp. 1
Efficient Algorithms for Detecting Signaling Pathways in Protein Interaction Networks
pp. 1
The complexity of manipulating hierarchically defined sets of rectangles
pp. 1
An Improved Model for Statistical Alignment
pp. 1
Local Characterizations of Causal Bayesian Networks
pp. 1
From Propositional Satisfiability to Satisfiability Modulo Theories
pp. 1
Towards a uniform version model for software configuration management
pp. 1
Discrete Pulse Transform of Images
pp. 1
Lower Bounds for Approximation of Some Classes of Lebesgue Measurable Functions by Sigmoidal Neural Networks
pp. 3
Fundamentals of Inclusive HCI Design
pp. 3
Experimental Validation of a Rapid, Adaptive Robotic Assessment of the MCP Joint Angle Difference Threshold
pp. 3
Technical Foundation and Calibration Methods for Time-of-Flight Cameras
pp. 3
Automated Detection of Adverse Drug Reactions from Social Media Posts with Machine Learning
pp. 10
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions
pp. 12
Adapting (Pseudo)-Triangulations with a Near-Linear Number of Edge Flips
pp. 12
Semi-supervised Dictionary Learning Based on Hilbert-Schmidt Independence Criterion
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. 17
An Organisational Perspective on Collaborative Business Processes
pp. 17
On a DAG Partitioning Problem
pp. 17
Topology-Based Detection of Anomalous BGP Messages
pp. 17
Knowledge extraction from machine-readable dictionaries: An evaluation
pp. 18
On the Complexity of Universal Programs
pp. 18
On-the-Fly Generalization Hierarchies for Numerical Attributes Revisited
pp. 18
Privacy Amplification Theorem for Noisy Main Channel
pp. 19
Inspection Coming Due! How to Determine the Service Interval of Your Processes!
pp. 19
Activity Inference through Sequence Alignment
pp. 19
A Formal Analysis of the Compact Position Reporting Algorithm
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. 24
Programming in the meta-language: A tutorial
pp. 7
Improved Nonlinear PCA Based on RBF Networks and Principal Curves
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
BuddyNet: History-Based P2P Search
pp. 23
Analyzing Router Responsiveness to Active Measurement Probes
pp. 24
On Learning the Shape of Complex Actions
pp. 25
The Computer-Aided Discovery of Scientific Knowledge
pp. 25
On Allocations with Negative Externalities
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
Automatic Verification of Data-Centric Business Processes
pp. 3
Video Semantics and the Sensor Web
pp. 3
Usability and the Semantic Web
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
Image-schemata-based spatial inferences: The container-surface algebra
pp. 35
3. Orthogonal Distance Fitting of Implicit Curves and Surfaces
pp. 35
Formal description of relational matching
pp. 13
Attaining Human–Competitive Game Playing with Genetic Programming
pp. 17
Empowerment by Digital Media of People with Disabilities
pp. 21
EasyICT: A Framework for Measuring ICT-Skills of People with Cognitive Disabilities
pp. 26
ASASP: Automated Symbolic Analysis of Security Policies
pp. 34
Ontology Matching with Word Embeddings
pp. 34
Branch Voxels and Junctions in 3D Skeletons
pp. 34
SciCrowd: Towards a Hybrid, Crowd-Computing System for Supporting Research Groups in Academic Settings
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. 41
A Sublinear Time Algorithm for PageRank Computations
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
Incremental Validation of XML Documents
pp. 47
On Type Checking Delta-Oriented Product Lines
pp. 49
Efficient mining of association rules in large dynamic databases
pp. 49
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology’s Axioms
pp. 49
Regularization Techniques to Improve Generalization
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. 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. 56
Energy Efficient Cooperative Multimodal Ambient Monitoring
pp. 61
A Pattern Matching Compiler for Multiple Target Languages
pp. 63
On the Logical Content of Computational Type Theory: A Solution to Curry’s Problem
pp. 63
Distributed Agreement and Its Relation with Error-Correcting Codes
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. 84
Microvisor: A Runtime Architecture for Thermal Management in Chip Multiprocessors
pp. 102
Less is More: Culling the Training Set to Improve Robustness of Deep Neural Networks
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. 56
Autonomous Search in Constraint Satisfaction via Black Hole: A Performance Evaluation Using Different Choice Functions
pp. 62
Approximating the Bandwidth of Caterpillars
pp. 62
Parameterized Complexity in Multiple-Interval Graphs: Partition, Separation, Irredundancy
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
A Near Optimal Policy for Channel Allocation in Cognitive Radio
pp. 69
Analysis of Peer-to-Peer Traffic on ADSL
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. 91
Supporting Independent Living of the Elderly with Mobile-Centric Ambient Intelligence: User Evaluation of Three Scenarios
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
On Yen’s Path Logic for Petri Nets
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
Frugal Streaming for Estimating Quantiles
pp. 77
The Consistency Dimension and Distribution-Dependent Learning from Queries (Extended Abstract)
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. 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
The Kell Calculus: Operational Semantics and Type System
pp. 109
sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services
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
Multiple Sclerosis Detection via Wavelet Entropy and Feedforward Neural Network Trained by Adaptive Genetic Algorithm
pp. 87
Monotone Scoring of Patterns with Mismatches
pp. 88
From Spatial Regularization to Anatomical Priors in fMRI Analysis
pp. 91
Report: Measuring the Attack Surfaces of Enterprise Software
pp. 92
Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching
pp. 92
CheckVML: A Tool for Model Checking Visual Modeling Languages
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. 113
Business Process-Based Resource Importance Determination
pp. 115
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
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. 81
Expected Runtimes of a Simple Evolutionary Algorithm for the Multi-objective Minimum Spanning Tree Problem
pp. 83
Development and Calibration of a Preliminary Cellular Automata Model for Snow Avalanches
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
Truth, Envy, and Truthful Market Clearing Bundle Pricing
pp. 97
Maximizing Barrier Coverage Lifetime with Mobile Sensors
pp. 98
Max-margin Multiple-Instance Learning via Semidefinite Programming
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
OMEN: Faster Password Guessing Using an Ordered Markov Enumerator
pp. 119
Directions of motion fields are hardly ever ambiguous
pp. 120
Dependency Pairs for Simply Typed Term Rewriting
pp. 125
Monitoring and Reputation Mechanisms for Service Level Agreements
pp. 126
Reflective Middleware Solutions for Context-Aware Applications
pp. 130
Mobile Mapping and Visualization of Indoor Structures to Simplify Scene Understanding and Location Awareness
pp. 130
Distributed fault location in networks using mobile agents
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. 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
Abstract Machines of Systems Biology
pp. 148
Type-Indexed Data Types
pp. 152
The twisted cube
pp. 152
Learning in multi-robot systems
pp. 154
Argumentation Strategies for Collaborative Plan Resourcing
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. 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. 106
A Proximal Space Approach for Embedding Urban Geography into CA Models
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. 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. 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. 89
Energy Adaptive Mechanism for P2P File Sharing Protocols
pp. 97
VR-Based Simulation for the Learning of Gynaecological Examination
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. 112
The Evolution of the Argon Web Framework Through Its Use Creating Cultural Heritage and Community–Based Augmented Reality Applications
pp. 130
Evolving Finite State Transducers: Some Initial Explorations
pp. 133
Towards a Framework for Alignment Between Automotive Safety and Security Standards
pp. 133
Self Modifying Cartesian Genetic Programming: Fibonacci, Squares, Regression and Summing
pp. 134
Decentralized Throughput Scheduling
pp. 156
Constraint analysis: A tool for explaining the semantics of complex objects
pp. 156
Finding a Maximum Compatible Tree for a Bounded Number of Trees with Bounded Degree Is Solvable in Polynomial Time
pp. 165
Software Pipelining of Nested Loops
pp. 165
RAGE Reusable Game Software Components and Their Integration into Serious Game Engines
pp. 167
Well-Going Programs Can Be Typed
pp. 172
Automated Reasoning Building Blocks
pp. 173
Algorithms for Energy Saving
pp. 176
Progress on the State Explosion Problem in Model Checking
pp. 184
Compositional modeling and verification of workflow processes
pp. 184
Block-Deterministic Regular Languages
pp. 219
Database Replication: A Tutorial
pp. 219
Contory: A Middleware for the Provisioning of Context Information on Smart Phones
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. 111
Inferring evolutionary trees with strong combinatorial evidence
pp. 116
SwifTree: Interactive Extraction of 3D Trees Supporting Gaming and Crowdsourcing
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. 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. 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. 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. 109
Survival of Intelligent Agents in Changing Environments
pp. 134
Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model
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. 184
Enabling Pervasive Collaboration with Platform Composition
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
LocalRank: Ranking Web Pages Considering Geographical Locality by Integrating Web and Databases
pp. 145
Bayesian Class-Matched Multinet Classifier
pp. 150
Analysis of successive interference cancellation in M-ary Orthogonal DS-CDMA system with single path Rayleigh fading
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
Mechanism Design for a Risk Averse Seller
pp. 198
Expert Feature-Engineering vs. Deep Neural Networks: Which Is Better for Sensor-Free Affect Detection?
pp. 201
Abstraction and Refinement in Higher Order Logic
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. 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. 127
Feature Extraction and XML Representation of Plant Leaf for Image Retrieval
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. 163
Revisiting the Minimum Breakpoint Linearization Problem
pp. 171
Polynomial time algorithms for some self-duality problems
pp. 177
User Behavior Pattern Analysis and Prediction Based on Mobile Phone Sensors
pp. 177
On Vertices and Facets of Combinatorial 2-Level Polytopes
pp. 181
Leakage-Resilient Coin Tossing
pp. 191
The Weighted Average Constraint
pp. 192
Online Grocery Shopping: Identifying Change in Consumption Practices
pp. 203
Texton Correlation for Recognition
pp. 203
Solving Linear Systems with Boundary Conditions Using Heat Kernel Pagerank
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. 307
The Simeck Family of Lightweight Block Ciphers
pp. 317
Experience with Z developing a control program for a radiation therapy machine
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
Some Steps into Verification of Exact Real Arithmetic
pp. 168
An Energy-Efficient Caching Strategy Based on Coordinated Caching for Green Content-Centric Network
pp. 172
Automatic Bridge Detection in High-Resolution Satellite Images
pp. 172
Matched median detectors for synchronous direct-sequence multiple-access communications
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. 190
Complexity of Simple Dependent Bimodal Logics
pp. 194
A Scalable Parallel Approach for Subgraph Census Computation
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. 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. 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
Narrow-Shallow-Low-Light Trees with and without Steiner Points
pp. 215
The Tree-String Problem: An Artificial Domain for Structure and Content Search
pp. 216
Evaluating Feature Selection Algorithms
pp. 224
Yasol: An Open Source Solver for Quantified Mixed Integer Programs
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. 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
Inheriting synchronization protocols via sound enrichment rules
pp. 267
Self-Adaptation for Multi-objective Evolutionary Algorithms
pp. 282
Relative Safety
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. 212
New Optimal Low Correlation Sequences for Wireless Communications
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. 269
The Safety Requirements Decomposition Pattern
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. 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. 296
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System
pp. 297
Tractable disjunctions of linear constraints
pp. 303
Model Checking Correctness Properties of Electronic Contracts
pp. 307
A Semantic Approach to Interpolation
pp. 312
Optimization in large partly nonlinear systems
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
Dynamic programming on intervals
pp. 199
Information Marginalization on Subgraphs
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. 204
Prov2ONE: An Algorithm for Automatically Constructing ProvONE Provenance Graphs
pp. 214
A GRASP Algorithm for Clustering
pp. 225
Parallel Homotopy Algorithms to Solve Polynomial Systems
pp. 231
Alternative Measures of Computational Complexity with Applications to Agnostic Learning
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. 251
Different learning strategies in a case-based reasoning system for image interpretation
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
Estimating Intrinsic Images from Image Sequences with Biased Illumination
pp. 274
Generalization Performance of Classifiers in Terms of Observed Covering Numbers
pp. 278
Spectroscopy of Traceroute Delays
pp. 280
A Population Adaptive Based Immune Algorithm for Solving Multi-objective Optimization Problems
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. 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. 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. 339
A Real-World, Simple Wireless Sensor Network for Monitoring Electrical Energy Consumption
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. 358
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
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. 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. 292
Fast Elliptic Curve Point Counting Using Gaussian Normal Basis
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. 313
Generating 3-D cardiac material markers using tagged MRI
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. 426
Infinity of Intermediate States Is Decidable for Petri Nets
pp. 480
Preservation theorems in finite model theory
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. 235
Size Functions for Image Retrieval: A Demonstrator on Randomly Generated Curves
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. 325
Zero-Distortion Authentication Watermarking
pp. 368
Formal Stability Analysis of Optical Resonators
pp. 385
A Semantic E-Wallet to Reconcile Privacy and Context Awareness
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. 301
Modelling a Random Access Channel with Collisions for M2M Traffic in LTE Networks
pp. 354
A Lambda Calculus for Quantum Computation with Classical Control
pp. 355
Load balancing for response time
pp. 380
Deterministic systems of sequential processes: Theory and tools
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. 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. 391
Linear unification of higher-order patterns
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. 285
Performance Evaluation of Stereo Algorithms for Automotive Applications
pp. 289
Energy-Efficient Design of the Reorder Buffer
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. 386
String matching algorithms and automata
pp. 418
On the Communication Complexity of Distributed Name-Independent Routing Schemes
pp. 489
Hybrid Approach to the Construction of Triangulated 3D Models of Building Interiors
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. 474
A Constraint Satisfaction Method for Configuring Non-local Service Interfaces
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. 328
From Language to Motion, and Back: Generating and Using Route Descriptions
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. 412
Direct Bundle Estimation for Recovery of Shape, Reflectance Property and Light Position
pp. 415
Combining Multiple Similarity Metrics Using a Multicriteria Approach
pp. 423
Keyword Search Based Mashup Construction with Guaranteed Diversity
pp. 477
The Rôle of Self-Calibration in Euclidean Reconstruction from Two Rotating and Zooming Cameras
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. 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. 436
Marked Point Process Model for Curvilinear Structures Extraction
pp. 441
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT
pp. 458
Pareto-Optimal Solutions for Multi-objective Production Scheduling Problems
pp. 501
Generalized Multi-camera Scene Reconstruction Using Graph Cuts
pp. 1466
Ontology-Based Spatial Query Expansion in Information Retrieval
pp. 261
Large Display Interaction Using Video Avatar and Hand Gesture Recognition
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. 356
#3-Regular Bipartite Planar Vertex Cover is #P-Complete
pp. 376
Ant Based Semi-supervised Classification
pp. 393
In-place calculation of minimum-redundancy codes
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. 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. 434
Sorting and Selection with Equality Comparisons
pp. 465
Creative Design: Exploring Value Propositions with Urban Nepalese Children
pp. 359
Visualising Class Distribution on Self-organising Maps
pp. 392
Generating Representative Views of Landmarks via Scenic Theme Detection
pp. 429
Reinforcement Learning in Nonstationary Environment Navigation Tasks
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. 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. 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. 455
A Hybrid Genetic Algorithm for School Timetabling
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. 271
Web Accessibility Conformity Assessment – Implementation Alternatives for a Quality Mark in Austria
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. 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. 509
Morphological PDE and Dilation/Erosion Semigroups on Length Spaces
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. 576
Search Space Reduction for MRF Stereo
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. 503
Grid-Based Parallel and Distributed Simulation Environment
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. 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. 668
Multi-objective Evolutionary Design of Fuzzy Autopilot Controller
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. 489
Non-rigid curve correspondence for estimating heart motion
pp. 501
To Relive a Valuable Experience of the World at the Digital Museum
pp. 593
Cyclic tree traversal
pp. 609
Scheduling master-slave multiprocessor systems
pp. 645
Residential Demand Response under Uncertainty
pp. 673
Requirements of Indoor Navigation System from Blind Users
pp. 677
Optimal Design of Water Distribution System by Multiobjective Evolutionary Methods
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. 370
A Model Transformation Approach to Derive Architectural Models from Goal-Oriented Requirements Models
pp. 382
Improving Speaker Recognition by Training on Emotion-Added Models
pp. 403
Segmentation of the Date in Entries of Historical Church Registers
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. 512
Discovering Interpretable Muscle Activation Patterns with the Temporal Data Mining Method
pp. 583
New Mathematical Optimization Approaches for LID Systems
pp. 453
Competitive Online Scheduling with Level of Service
pp. 535
Secure billing for mobile information services in UMTS
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. 511
Rectangular Basis Functions Applied to Imbalanced Datasets
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. 582
An Architecture for Unifying Web Services Authentication and Authorization
pp. 641
Active Online Learning for Interactive Segmentation Using Sparse Gaussian Processes
pp. 440
Gaussian Mixture Models for Supervised Classification of Remote Sensing Multispectral Images
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. 569
Decomposition of Classification Task with Selection of Classifiers on the Medical Diagnosis Example
pp. 423
A Model for a Component Based Grid-Aware Scientific Library Service
pp. 447
Motion-Aware Mosaicing for Confocal Laser Endomicroscopy
pp. 626
Intrinsic Image Decomposition: A Comprehensive Review
pp. 862
On degeneracy of linear reconstruction from three views: Linear line complex and applications
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. 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. 535
Balancing Logic Utilization and Area Efficiency in FPGAs
pp. 577
Vision Based Facial Action Recognition System for People with Disabilities
pp. 587
Systematic Isotropy Analysis of a Mobile Robot with Three Active Caster Wheels
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. 603
Transfer Regression Model for Indoor 3D Location Estimation
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. 669
Optimal Input Power Backoff of a Nonlinear Power Amplifier for SEFDM System
pp. 708
Data replication in a distributed system: A performance study
pp. 573
etiquetAR: Tagging Learning Experiences
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. 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. 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. 743
Towards a New Paradigm for Motion Extraction
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. 607
2D Image Registration in CT Images Using Radial Image Descriptors
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. 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. 785
Block Encryption Using Reversible Cellular Automata
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
Visual Cortex Frontend: Integrating Lines, Edges, Keypoints, and Disparity
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. 841
Variational Bayesian Dirichlet-Multinomial Allocation for Exponential Family Mixtures
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. 632
A Study on Demonstrative Words Extraction in Instructor Utterance on Communication Support for Hearing Impaired Persons
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. 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. 821
2D and 3D Shape Based Segmentation Using Deformable Models
pp. 977
Boundary Conditions for Thermal Lattice Boltzmann Simulations
pp. 1033
A New Data Normalization Function for Multibiometric Contexts: A Case Study
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. 863
Age and Gender Estimation Based on Facial Image Analysis
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. 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
2,904
The Zynq Book: Embedded Processing with the ARM Cortex-A9 on the Xilinx Zynq-7000 All Programmable SoC
Authors:
L.H. Crockett
,
L.H. Crockett
,
R Elliot
…
Power estimation and power measurement of Xilinx Virtex FPGAs: trade-offs and limitations
Authors:
Becker
Design and implementation of neural network computing framework on Zynq SoC embedded platform
Authors:
Xingying Li
,
Zhenyu Yin
,
Fulong Xu
…
See all similar
Cited by
1
Lockstep Dual-Core ARM A9: Implementation and Resilience Analysis Under Heavy Ion-Induced Soft Errors
Authors:
Adria Barros de Oliveira
,
Gennaro Severino Rodrigues
,
Fernanda Lima Kastensmidt
…
See all cited by