Sciweavers

1071 search results - page 160 / 215
» Solving Geometric Constraint Systems
Sort
View
ICIP
2005
IEEE
15 years 11 months ago
Estimating sub-pixel shifts directly from the phase difference
In this paper, we establish the exact relationship between the continuous and the discrete phase-difference of two shifted images, and show that their discrete phase difference is...
Murat Balci, Hassan Foroosh
ICFP
2008
ACM
15 years 9 months ago
Type checking with open type functions
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T...
TASE
2009
IEEE
15 years 4 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...
CISS
2008
IEEE
15 years 4 months ago
Improved sum-rate optimization in the multiuser MIMO downlink
—We consider linear precoding and decoding in the downlink of a multiuser multiple-input, multiple-output (MIMO) system. In this scenario, the transmitter and the receivers may e...
Adam J. Tenenbaum, Raviraj S. Adve
GLOBECOM
2008
IEEE
15 years 4 months ago
Failure Rate Minimization with Multiple Function Unit Scheduling for Heterogeneous WSNs
— Failure-Rate Minimization is becoming one of the major design issues in wireless sensor network (WSN) architecture due to multiple available Functional-units (FUs). There is a ...
Meikang Qiu, Jing Deng, Edwin Hsing-Mean Sha