313 search results - page 46 / 63 » Lazy Abstraction with Interpolants |
HAPTICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. The apparent mass of haptic device end-effector depends on its position inside the workspace. This paper presents a recursive algorithm to detect effective direction of g...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Important throughput improvements in multipleinput multiple-output (MIMO) fading channels can be obtained by merging beamforming at the transmitter and maximal ratio co...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Compliant mechanisms provide an attractive alternative to conventional rigid mechanisms in the design of ultra low-cost precision positioning systems. The desirable per...