313 search results - page 46 / 63 » Lazy Abstraction with Interpolants |
147
Voted
HAPTICS
2008
IEEE
16 years 16 days 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...
165
Voted
GLOBECOM
2007
IEEE
16 years 12 days 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...
135
click to vote
FMCAD
2007
Springer
16 years 7 days 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 ...
145
click to vote
FMCAD
2007
Springer
16 years 7 days 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...
146
click to vote
ICRA
2006
IEEE
16 years 3 days 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...