Sciweavers

661 search results - page 109 / 133
» Robustness Guarantees for Anonymity
Sort
View
CGF
2007
127views more  CGF 2007»
13 years 7 months ago
A Finite Element Method on Convex Polyhedra
We present a method for animating deformable objects using a novel finite element discretization on convex polyhedra. Our finite element approach draws upon recently introduced ...
Martin Wicke, Mario Botsch, Markus H. Gross
JALC
2006
87views more  JALC 2006»
13 years 7 months ago
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...
SCL
2008
108views more  SCL 2008»
13 years 7 months ago
On input-to-state stability of min-max nonlinear model predictive control
In this paper we consider discrete-time nonlinear systems that are affected, possibly simultaneously, by parametric uncertainties and disturbance inputs. The min-max Model Predict...
Mircea Lazar, David Muñoz de la Peña...
SIMPRA
2008
125views more  SIMPRA 2008»
13 years 7 months ago
Identification of Wiener models using optimal local linear models
The Wiener model is a versatile nonlinear block oriented model structure for miscellaneous applications. In this paper a method for identifying the parameters of such a model usin...
Martin Kozek, Sabina Sinanovic
JAIR
2007
95views more  JAIR 2007»
13 years 7 months ago
Consistency and Random Constraint Satisfaction Models
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...
Yong Gao, Joseph C. Culberson