8699 search results - page 1451 / 1740 » Elements of the Theory of Computation |
153
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
187
click to vote
HAPTICS
2006
IEEE
16 years 24 days ago
2006
IEEE
We present a novel bilateral telemanipulation control system called Pseudo-admittance, which is designed to mimic admittance control on systems where the master is an impedance-ty...
178
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
195
click to vote
ICNP
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
171
click to vote
ICNP
2006
IEEE
16 years 23 days ago
2006
IEEE
— Some commonly used inter-domain-routing policies—e.g., those using BGP’s MED attribute for cold-potato routing—are beyond the scope of routing theory developed to date. T...