close
1.

電子ブック

EB
edited by Nathalie Japkowicz, Stan Matwin
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9356
オンライン: http://dx.doi.org/10.1007/978-3-319-24282-8
目次情報: 続きを見る
Bilinear Prediction using Low Rank Models
Finding Hidden Structure in Data with Tensor Decompositions
Turning Prediction Tools Into Decision Tools
Overcoming obstacles to the adoption of machine learning by domain Experts
Resolution transfer in cancer classification based on amplification patterns
Very Short-Term Wind Speed Forecasting using Spatio-Temporal Lazy Learning
Discovery of Parameters for Animation of Midge Swarms
No Sentiment is an Island: Author's activity and sentiments transactions in sentiment classification
Active Learning for Classifying Template Matches in Historical Maps
An evaluation of score descriptors combined with non-linear models of expressive dynamics in music
Geo-Coordinated Parallel Coordinates (GCPC): A Case Study of Environmental Data Analysis
Generalized Shortest Path Kernel on Graphs
Ensembles of extremely randomized trees for multi-target regression
Clustering-Based Optimised Probabilistic Active Learning (COPAL)
Predictive Analysis on Tracking Emails for Targeted Marketing
Semi-supervised Learning for Stream Recommender Systems
Detecting Transmembrane Proteins Using Decision Trees
Change point detection for information diffusion tree
Multi-label Classification via Multi-target Regression on Data Streams
Periodical Skeletonization for Partially Periodic Pattern Mining
Predicting Drugs Adverse Side-Effects using a recommender-system
Dr. Inventor Framework: extracting structured information from scientific publications
Predicting Protein Function and Protein-Ligand Interaction with the 3D Neighborhood Kernel
Hierarchical Multidimensional Classification of web documents with MultiWebClass
Evaluating the Effectiveness of Hashtags as Predictors of the Sentiment of Tweets
On the Feasibility of Discovering Meta-Patterns from a Data Ensemble
An Algorithm for Influence Maximization in a Two-Terminal Series
Parallel Graph and Its Application to a Real Network
Benchmarking Stream Clustering for Churn Detection in Dynamic Networks
Canonical Correlation Methods for Exploring Microbe-Environment Interactions in Deep Subsurface
KeCo: Kernel-based Online Co-agreement Algorithm
Tree PCA for Extracting Dominant Substructures from Labeled Rooted Trees
Enumerating Maximal Clique Sets with Pseudo-Clique Constraint
Bilinear Prediction using Low Rank Models
Finding Hidden Structure in Data with Tensor Decompositions
Turning Prediction Tools Into Decision Tools
2.

電子ブック

EB
edited by Elisa Fromont, Tijl De Bie, Matthijs van Leeuwen
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9385
オンライン: http://dx.doi.org/10.1007/978-3-319-24465-5
目次情報: 続きを見る
Data analytics and optimization for assessing a ride sharing system
Constraint-Based Querying for Bayesian Network Exploration
Efficient Model Selection for Regularized Classification by Exploiting Unlabeled Data
Segregation Discovery in a Social Network of Companies
A first+-order-logic based model for grounded language learning
A parallel distributed processing algorithm for image feature extraction
Modeling concept drift: A probabilistic graphical model based approach
Diversity-driven Widening of Hierarchical Agglomerative Clustering
Batch Steepest-Descent-Mildest-Ascent for Interactive Maximum Margin Clustering
Time Series Classification with Representation Ensembles
Simultaneous Clustering and Model Selection for Multinomial Distribution: A Comparative Study
On Binary Reduction of Large-scale Multiclass Classification Problems
Probabilistic Active Learning in Data Streams
Implicitly Constrained Semi-Supervised Least Squares Classification
Diagonal Co-clustering Algorithm for Document-Word Partitioning
I-Louvain: an attributed graph clustering method
Class-based outlier detection: staying zombies or awaiting for resurrection?
Using Metalearning for Prediction of Taxi Trip Duration Using Different Granularity Levels
Using entropy as a measure of acceptance for multi-label classification
Investigation of Node Deletion Techniques for Clustering Applications of Growing Self Organizing Maps
Exploratory topic modeling with distributional semantics
Assigning Geo-Relevance of Sentiments Mined from Location-Based Social Media Posts
Continuous and Discrete Deep Classifiers for Data Integration
A Bayesian Approach for Identifying Multivariate Differences Between Groups
Automatically Discovering Offensive Patterns in Soccer Match Data
Fast Algorithm Selection using Learning Curves
Optimally Weighted Cluster Kriging for Big Data Regression
Slower can be faster: The iRetis incremental model tree learner
VoQs: A Web Application for Visualization of Questionnaire Surveys
Data analytics and optimization for assessing a ride sharing system
Constraint-Based Querying for Bayesian Network Exploration
Efficient Model Selection for Regularized Classification by Exploiting Unlabeled Data
3.

電子ブック

EB
edited by Mohammad Reza Mousavi, Christian Berger
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9361
オンライン: http://dx.doi.org/10.1007/978-3-319-25141-7
4.

電子ブック

EB
edited by Guojun Wang, Albert Zomaya, Gregorio Martinez Perez, Kenli Li
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9532
オンライン: http://dx.doi.org/10.1007/978-3-319-27161-3
目次情報: 続きを見る
Trust, security and privacy for Big Data
Trust, security and privacy for emerging applications
Network optimization and performance evaluation
Sensor-cloud systems
Security and privacy protection in computer and network Systems
Dependability in sensor, cloud, and Big Data systems
Trust, security and privacy for Big Data
Trust, security and privacy for emerging applications
Network optimization and performance evaluation
5.

電子ブック

EB
edited by Emilio Di Giacomo, Anna Lubiw
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9411
オンライン: http://dx.doi.org/10.1007/978-3-319-27261-0
目次情報: 続きを見る
Large and Dynamic Graphs
Crossing Numbers
Experiments
Area, Bends, Crossings
Intersection Representations
Applications
Drawings with Crossings
Polygons and Convexity
Drawing Graphs on Point Sets
Contact Representations
User Studies
Graph Drawing Contest
Graduate Workshop Report
Posters
Large and Dynamic Graphs
Crossing Numbers
Experiments
6.

電子ブック

EB
edited by Abdelkader Hameurlain, Josef Kung, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8980
オンライン: http://dx.doi.org/10.1007/978-3-662-46485-4
目次情報: 続きを見る
Using Argumentation to Structure E-Participation in Policy Making
Horizontal Business Process Model Integration
Exact and Approximate Generic Multi-criteria Top-k Query Processing
Continuous Predictive Line Queries for On-the-Go Traffic Estimation
Query Operators for Comparing Uncertain Graphs
Fast Disjoint and Overlapping Community Detection
A Hybrid Approach Using Genetic Programming and Greedy Search for QoS-Aware Web Service Composition
Using Argumentation to Structure E-Participation in Policy Making
Horizontal Business Process Model Integration
Exact and Approximate Generic Multi-criteria Top-k Query Processing
7.

電子ブック

EB
edited by Jan Vitek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9032
オンライン: http://dx.doi.org/10.1007/978-3-662-46669-8
目次情報: 続きを見る
Probabilistic Programs as Spreadsheet Queries
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Running Probabilistic Programs Backwards
A Verified Compiler for Probability Density Functions
Segment Abstraction for Worst-Case Execution Time Analysis
Automatic Static Cost Analysis for Parallel Programs
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. A Theory of Name Resolution
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
IsoLate: A Type System for Self-recursion
The Problem of PL Concurrency Semantics
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
Witnessing (Co)datatypes
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Refinement Types for Incremental Computational Complexity
Monotonic References for Efficient Gradual Typing
Inter-procedural Two-Variable Herbrand Equalities
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
Analysis of Asynchronous Programs with Event-Based Synchronization
A Semantics for Propositions as Sessions
Composite Replicated Data Types
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
Spatial Interpolants
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
Full Reduction in the Face of Absurdity
CoLoSL: Concurrent Local Subjective Logic
A Separation Logic for Fictional Sequential Consistency
Binding Structures as an Abstract Data Type
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
Type Targeted Testing
Probabilistic Programs as Spreadsheet Queries
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Running Probabilistic Programs Backwards
8.

電子ブック

EB
edited by Francesco Masulli, Alfredo Petrosino, Stefano Rovetta
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 7627
オンライン: http://dx.doi.org/10.1007/978-3-662-48577-4
9.

電子ブック

EB
edited by Antonio Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9018
オンライン: http://dx.doi.org/10.1007/978-3-319-15934-8
目次情報: 続きを見る
Plenary Talks
Interactive Approaches in Multiple Criteria Decision Making and Evolutionary Multi-objective Optimization
Towards Automatically Configured Multi-objective Optimizers
A Review of Evolutionary Multiobjective Optimization Applications in Aerospace Engineering
Performance evaluation of multiobjective optimization algorithms: quality indicators and the attainment function
Theory and Hyper-Heuristics
A Multimodal Approach for Evolutionary Multi-objective Optimization (MEMO): Proof-of-Principle Results
Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization
Neutral but a Winner! How Neutrality helps Multiobjective Local Search Algorithms
To DE or not to DE? Multi-Objective Differential Evolution Revisited from a Component-Wise Perspective
Model-Based Multi-Objective Optimization: Taxonomy, Multi-Point Proposal, Toolbox and Benchmark
Temporal Innovization: Evolution of Design Principles Using Multi-objective ?Optimization
MOEA/D-HH: A Hyper-Heuristic for Multi-objective Problems
Using hyper-heuristic to select leader and archiving methods for many-objective problems
Algorithms
Adaptive Reference Vector Generation for Inverse Model Based Evolutionary Multiobjective Optimization with Degenerate and Disconnected Pareto Fronts
MOEA/PC: Multiobjective Evolutionary Algorithm Based on Polar Coordinates
GD-MOEA: A New Multi-Objective Evolutionary Algorithm based on the Generational Distance Indicator
Experiments on Local Search for Bi-objective Unconstrained Binary Quadratic Programming
A Bug in the Multiobjective Optimizer IBEA: Salutary Lessons for Code Release and a Performance Re-Assessment
A Knee-based EMO Algorithm with an Efficient Method to Update Mobile Reference Points
A Hybrid Algorithm for Stochastic Multiobjective Programming Problem
Parameter Tuning of MOEAs using a Bilevel Optimization Approach
Pareto adaptive scalarising functions for decomposition based algorithms
A bi-level multiobjective PSO algorithm
An interactive simple indicator-based evolutionary algorithm (I-SIBEA) for multiobjective optimization problems
Combining Non-dominance, Objective-sorted and Spread Metric to Extend Firefly Algorithm to Multi-objective Optimization
GACO: a parallel evolutionary approach to multi-objective scheduling
Kriging Surrogate Model Enhanced by Coordinate Transformation of Design Space Based on Eigenvalue Decomposition
A Parallel Multi-Start NSGA II Algorithm for Multiobjective Energy Reduction Vehicle Routing Problem
Evolutionary Inference of Attribute-based Access Control Policies
Hybrid Dynamic Resampling for Guided Evolutionary Multi-Objective Optimization
A Comparison of Decoding Strategies for the 0/1 Multi-objective Unit Commitment Problem
Comparing Decomposition-based and Automatically Component-Wise Designed Multi-objective Evolutionary Algorithms
Upper Confidence Bound (UCB) Algorithms for Adaptive Operator Selection in MOEA/D
Towards Understanding Bilevel Multi-objective Optimization with Deterministic Lower Level Decisions
Plenary Talks
Interactive Approaches in Multiple Criteria Decision Making and Evolutionary Multi-objective Optimization
Towards Automatically Configured Multi-objective Optimizers
10.

電子ブック

EB
edited by Gabriela Ochoa, Francisco Chicano
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9026
オンライン: http://dx.doi.org/10.1007/978-3-319-16468-7
目次情報: 続きを見る
A Biased Random-Key Genetic Algorithm for the Cloud Resource Management Problem
A Computational Comparison of Different Algorithms for Very Large p-median Problems
A New Solution Representation for the Firefighter Problem
A Variable Neighborhood Search Approach for the Interdependent Lock Scheduling Problem
A Variable Neighborhood Search for the Generalized Vehicle Routing Problem with Stochastic Demands
An Iterated Local Search Algorithm for Solving the Orienteering Problem with Time Windows
Analysis of Solution Quality of a Multi objective Optimization-Based Evolutionary Algorithm for Knapsack Problem
Evolving Deep Recurrent Neural Networks Using Ant Colony Optimization
Hyper-heuristic Operator Selection and Acceptance Criteria
Improving the Performance of the Germinal Center Artificial Immune System Using ε-Dominance: A Multi-objective Knapsack Problem
Mixing Network Extremal Optimization for Community Structure Detection
Multi-start Iterated Local Search for the Mixed Fleet Vehicle Routing Problem with Heterogeneous Electric Vehicles
On the Complexity of Searching the Linear Ordering Problem Neighborhoods
Runtime Analysis of (1 + 1) Evolutionary Algorithm Controlled with Q-learning Using Greedy Exploration Strategy on ONEMAX+ZEROMAX Problem
The New Memetic Algorithm HEAD for Graph Coloring: An Easy Way for Managing Diversity
The Sim-EA Algorithm with Operator Auto adaptation for the Multi objective Firefighter Problem
True Pareto Fronts for Multi-objective AI Planning Instances
Upper and Lower Bounds on Unrestricted Black-Box Complexity of JUMPn,l
Using Local Search to Evaluate Dispatching Rules in Dynamic Job Shop Scheduling
A Biased Random-Key Genetic Algorithm for the Cloud Resource Management Problem
A Computational Comparison of Different Algorithms for Very Large p-median Problems
A New Solution Representation for the Firefighter Problem