933 search results - page 16 / 187 » Extending Forward Checking |
IJCAI
2001
13 years 9 months ago
2001
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...
BC
2008
13 years 8 months ago
2008
Abstract This paper presents a simple yet biologicallygrounded model for the neural control of Caenorhabditis elegans forward locomotion. We identify a minimal circuit within the C...
ESORICS
2012
Springer
11 years 10 months ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
Fourier-based forward and back-projection methods have the potential to reduce computation demands in iterative tomographic image reconstruction. Interpolation errors are a limita...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—The rapid growth of global routing tables has raised concerns among many Internet Service Providers. The most immediate concern regarding routing scalability is the size of the ...