2206 search results - page 364 / 442 » On the power of coercion abstraction |
CP
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...
DSL
2009
13 years 5 months ago
2009
Abstract. Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of cust...
GLOBECOM
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--In this paper we investigate hardware implementations of ciphering algorithms, SNOW 3G and the Advanced Encryption Standard (AES), for the acceleration of the protocol st...
GLOBECOM
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--In this paper, we consider multiple-input multipleoutput (MIMO) communication systems with combined channel covariance feedback (CCF) and channel gain feedback (CGF), her...
HIS
2009
13 years 5 months ago
2009
Abstract--The nonlinear characteristic of an LED (light emitting diode) imposes limitations on the performance of indoor optical wireless (OW) systems when using intensity modulati...