10891 search results - page 20 / 2179 » Combining Model Reductions |
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents a novel algorithm for 2D planar curve recognition based on B-Spline modeling. It combines the advantages of the B-Spline that are continuous curve representati...
DAC
1999
ACM
14 years 19 hour ago
1999
ACM
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...
HAPTICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Friction cancellation and high gain force feedback are studied for their relative benefits in mitigating the effects of friction in haptic interfaces. Although either technique a...