249 search results - page 35 / 50 » Linear Realizability |
132
click to vote
ISCAS
2007
IEEE
16 years 11 days ago
2007
IEEE
—This paper presents a DAC architecture built on parallel current-steering sub-DAC entities. Two main novelties are explored: flexibility and smartness. Firstly, a number of avai...
145
click to vote
WECWIS
2007
IEEE
16 years 11 days ago
2007
IEEE
Formation of high value procurement networks involves a bottom-up assembly of complex production, assembly, and exchange relationships through supplier selection and contracting d...
173
click to vote
ACCV
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper proposes a fast method for dense 3-D interpretation to directly estimate a dense map of relative depth and motion from a monocular sequence of images on large ...
143
click to vote
CAV
2007
Springer
16 years 8 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
163
Voted
FC
2007
Springer
16 years 8 days ago
2007
Springer
A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for some goods or services. Nguyen (FC 2006), deepening the ideas of Chen et...