10412 search results - page 264 / 2083 » The efficiency of algorithms - misconceptions |
161
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
Earlier research has shown that the problem of optimal weighted median filtering with structural constraints can be formulated as a nonconvex nonlinear programming problem in gene...
165
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
155
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
The post-T/pre-T trace refers to the trace captured before/after a target point is reached, respectively. Real time compression of the post-T trace in a circular buffer is a challe...
173
click to vote
ICSAP
2010
15 years 10 months ago
2010
— When sensors are redundantly deployed, a subset of sensors should be selected to actively monitor the field (referred to as a "cover"), while the rest of the sensors ...
164
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...