249 search results - page 35 / 50 » Linear Realizability |
ISCAS
2007
IEEE
14 years 1 months 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...
WECWIS
2007
IEEE
14 years 1 months 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...
ACCV
2007
Springer
14 years 1 months 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 ...
CAV
2007
Springer
14 years 1 months 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...
FC
2007
Springer
14 years 1 months 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...