Sciweavers

4047 search results - page 419 / 810
» The Discrete Basis Problem
Sort
View
COMPGEOM
2004
ACM
16 years 7 days ago
Binary space partitions of orthogonal subdivisions
We consider the problem of constructing binary space partitions (BSPs) for orthogonal subdivisions (space filling packings of boxes) in d-space. We show that a subdivision with n...
John Hershberger, Subhash Suri, Csaba D. Tó...
HYBRID
2004
Springer
16 years 5 days ago
On O-Minimal Hybrid Systems
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
Thomas Brihaye, Christian Michaux, Cédric R...
GMP
2003
IEEE
247views Solid Modeling» more  GMP 2003»
16 years 3 days ago
Message Recovery Signature Scheme Using Complementary Elliptic Curves
Elliptic curve cryptography is known for its complexity due to its discrete logarithm problem, and this gives advantage to the system used since the formula developed using this c...
Teo Chun Yew, Hailiza Kamarulhaili, Putra Sumari
LICS
2003
IEEE
16 years 2 days ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
Joël Ouaknine, James Worrell
COMPGEOM
2003
ACM
16 years 2 days ago
High-dimensional shape fitting in linear time
Let P be a set of n points in Rd. The radius of a k-dimensional flat F with respect to P, denoted by RD(F, P), is defined to be maxp∈P dist(F, p), where dist(F, p) denotes the...
Sariel Har-Peled, Kasturi R. Varadarajan