1357 search results - page 242 / 272 » Compositional analysis for linear systems |
SSDBM
2010
IEEE
14 years 3 months ago
2010
IEEE
We present a technique for organizing data in spatial databases with non-convex domains based on an automatic characterization using the medial-axis transform (MAT). We define a t...
COMPGEOM
2010
ACM
14 years 3 months ago
2010
ACM
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
AFPAC
2000
Springer
14 years 2 months ago
2000
Springer
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...