193 search results - page 32 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
ICCS
2007
Springer
14 years 14 days ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
We simultaneously approach two tasks of nonlinear discriminant analysis and kernel selection problem by proposing a unified criterion, Fisher+Kernel Criterion. In addition, an eff...
CISS
2007
IEEE
14 years 2 months ago
2007
IEEE
—Network coding and cooperative diversity have each extensively been explored in the literature as a means to substantially improve the performance of wireless networks. Yet, lit...
TCOM
2010
13 years 7 months ago
2010
—This paper analyzes the quality of service (QoS) of scheduling algorithms for heterogeneous users in multiuser (MU) wireless systems that take advantage from a crosslayer design...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...