2584 search results - page 27 / 517 » On the Forward Checking Algorithm |
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
In wireless sensor networks (WSNs), sensor nodes are typically subjected to energy constraints and often prone to topology changes. While duty cycling has been widely used for ener...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
We introduce a new wavelet image coder which is the forward-adaptive counterpart of the state-of-the-art backward-adaptive Estimation-Quantization coder. The variance field associ...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Cooperative diversity obtains the spatial diversity gains created by sharing antennas of terminals in wireless networks. In this paper, adaptive amplify-and-forward (AF) cooper...
ICNC
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a novel learning feed-forward controller design approach for accurate robotics trajectory tracking. Based on the joint nonlinear dynamics characteristics, a mod...