6568 search results - page 973 / 1314 » Reducing the Complexity of Reductions |
206
click to vote
FDL
2008
IEEE
16 years 1 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
201
click to vote
P2P
2008
IEEE
16 years 1 months ago
2008
IEEE
Redundancy is the basic technique to provide reliability in storage systems consisting of multiple components. A redundancy scheme defines how the redundant data are produced and...
198
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recently it has been shown that an inverse depth parametrization can improve the performance of real-time monocular EKF SLAM, permitting undelayed initialization of features at...
189
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—We analyze the performance limits of data dissemination with multi-channel, single radio sensors. We formulate the problem of minimizing the average delay of data dissem...
157
Voted
COCOON
2007
Springer
16 years 29 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...