3552 search results - page 531 / 711 » Proof theory in the abstract |
162
click to vote
HYBRID
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
171
click to vote
ICALP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We give an fpt approximation algorithm for the directed vertex disjoint cycle problem. Given a directed graph G with n vertices and a positive integer k, the algorithm co...
193
click to vote
INDOCRYPT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In MyCrypt 2005, Augot, Finiasz, and Sendrier proposed FSB, a family of cryptographic hash functions. The security claim of the FSB hashes is based on a coding theory pro...
179
click to vote
MIRAGE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of an alpha overlay shadow model. Previou...
184
click to vote
SCALESPACE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...