937 search results - page 79 / 188 » On the Complexity of Partial Order Properties |
155
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
144
click to vote
ASYNC
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
138
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
A new method is presented for detecting planar rotational symmetry under affine projection. The method can deal with partial occlusion and is able to detect multiple rotationally ...
105
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Diffusion-type algorithms have been integrated in recent years successfully into the toolbox of image processing. We introduce a new more flexible and powerful family of parabolic...
198
click to vote
LSSC
2007
Springer
16 years 5 days ago
2007
Springer
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...