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 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
3.

電子ブック

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
4.

電子ブック

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
5.

電子ブック

EB
edited by Paul Johannesson, Mong Li Lee, Stephen W. Liddle, Andreas L. Opdahl, Oscar Pastor Lopez
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9381
オンライン: http://dx.doi.org/10.1007/978-3-319-25264-3
6.

電子ブック

EB
edited by Xue-Cheng Tai, Egil Bae, Tony F. Chan, Marius Lysaker
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8932
オンライン: http://dx.doi.org/10.1007/978-3-319-14612-6
目次情報: 続きを見る
Discrete and continuous optimization
Image restoration and inpainting
Segmentation
PDE and variational methods
Motion, tracking and multiview reconstruction
Statistical methods and learning
Medical image analysis
Discrete and continuous optimization
Image restoration and inpainting
Segmentation
7.

電子ブック

EB
edited by Teresa M. Przytycka
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9029
オンライン: http://dx.doi.org/10.1007/978-3-319-16706-0
8.

電子ブック

EB
edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9157
オンライン: http://dx.doi.org/10.1007/978-3-319-21470-2
目次情報: 続きを見る
Agricultural and environment information and decision support systems
Approaches or methods of security engineering
Information systems and technologies for emergency preparedness and risk assessment
Web-based learning
Bio-inspired computing and applications
Computer-aided modeling, simulation, and analysis
Computational and applied statistics
Computational geometry and security applications
Computational algorithms and sustainable assessment
Chemistry and materials sciences and technologies
Computational optimization and applications
Cities, technologies and planning
Econometrics and multidimensional evaluation in the urban environment
Future computing systems, technologies, and applications
Geographical analysis, urban modeling, spatial statistics
Land use monitoring for soil consumption reduction
Mobile communications
Mobile computing, sensing, and actuation for cyber physical systems
Quantum mechanics: computational strategies and applications
Scientific computing infrastructure
Software engineering processes and applications
Software quality
Spatio-temporal analytics
Virtual reality and its applications
Agricultural and environment information and decision support systems
Approaches or methods of security engineering
Information systems and technologies for emergency preparedness and risk assessment
9.

電子ブック

EB
edited by Manuel Nunez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawi?ski
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9329
オンライン: http://dx.doi.org/10.1007/978-3-319-24069-5
目次情報: 続きを見る
Multi-agent systems
Social networks and NLP
Sentiment analysis
Computational intelligence and games
Ontologies and information extraction
Formal methods and simulation
Neural networks, SMT and MIS
Collective intelligence in Web systems ? Web systems analysis.-Computational swarm intelligence
Cooperative strategies for decision making and optimization.-Advanced networking and security technologies
IT in biomedicine
Collective computational intelligence in educational context
Science intelligence and data analysis
Computational intelligence in financial markets
Ensemble learning
Big data mining and searching
Multi-agent systems
Social networks and NLP
Sentiment analysis
10.

電子ブック

EB
edited by Bernhard Pfahringer, Jochen Renz
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9457
オンライン: http://dx.doi.org/10.1007/978-3-319-26350-2