Sciweavers

4352 search results - page 35 / 871
» A Representation Theorem and Applications
Sort
View
SIAMCO
2008
108views more  SIAMCO 2008»
13 years 10 months ago
A Viability Theorem for Morphological Inclusions
The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite dimensional space) to so-called morphological i...
Thomas Lorenz
SIAMCOMP
2010
147views more  SIAMCOMP 2010»
13 years 9 months ago
Uniform Direct Product Theorems: Simplified, Optimized, and Derandomized
The classical direct product theorem for circuits says that if a Boolean function f : {0, 1}n → {0, 1} is somewhat hard to compute on average by small circuits, then the correspo...
Russell Impagliazzo, Ragesh Jaiswal, Valentine Kab...
IROS
2009
IEEE
230views Robotics» more  IROS 2009»
14 years 5 months ago
Stability and robustness analysis tools for marine robot localization and SLAM applications
— Our aim is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Moti...
Brendan Englot, Franz Hover
CAGD
2006
72views more  CAGD 2006»
13 years 10 months ago
Discrete one-forms on meshes and applications to 3D mesh parameterization
We describe how some simple properties of discrete one-forms directly relate to some old and new results concerning the parameterization of 3D mesh data. Our first result is an ea...
Steven J. Gortler, Craig Gotsman, Dylan Thurston
CADE
1998
Springer
14 years 3 months ago
System Description: card TAP: The First Theorem Prover on a Smart Card
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
Rajeev Goré, Joachim Posegga, Andrew Slater...