7924 search results - page 983 / 1585 » Non-Malleable Functions and Their Applications |
193
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we show the optimality of a certain class of disturbance-affine control policies in the context of one-dimensional, constrained, multi-stage robust optimization. Ou...
225
Voted
CSL
2007
Springer
15 years 11 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
203
Voted
ITP
2010
15 years 11 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
207
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
226
Voted
GFKL
2007
Springer
15 years 11 months ago
2007
Springer
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...