Specifying nonspecific evidence
Spectrashift Exoplanet Transit Search Project: 40,000 Light Curves and Counting
SPHERES: a platform for formation-flight research
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
Splitting and Updating Hybrid Knowledge Bases (Extended Version)
SPPAM - Statistical PreProcessing AlgorithM
Squeaky Wheel Optimization
Stable marriage problems with quantitative preferences
Stationary probability density of stochastic search processes in global optimization
Steady State Resource Allocation Analysis of the Stochastic Diffusion Search
Steepest Ascent Hill Climbing For A Mathematical Problem
Stereotypical Reasoning: Logical Properties
Stochastic Constraint Programming
Stochastic Constraint Programming: A Scenario-Based Approach
Stochastic Optimization of Linear Dynamic Systems with Parametric Uncertainties
Stochastic Process Semantics for Dynamical Grammar Syntax: An Overview
STORM - A Novel Information Fusion and Cluster Interpretation Technique
Strange Beta: An Assistance System for Indoor Rock Climbing Route Setting Using Chaotic Variations and Machine Learning
Stream Computing
Structure and Complexity in Planning with Unary Operators