2584 search results - page 77 / 517 » On the Forward Checking Algorithm |
FAW
2008
Springer
13 years 9 months ago
2008
Springer
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
JFR
2007
13 years 7 months ago
2007
NASA’s two Mars Exploration Rovers (MER) have successfully demonstrated a robotic Visual Odometry capability on another world for the first time. This provides each rover with ...
ECMDAFA
2005
Springer
14 years 1 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Position-based routing protocols use location information to refine the traditional packet flooding method in mobile ad hoc networks. They mainly focus on densely and ...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
We investigate fast iterative image reconstruction methods for fully 3D multispectral optical bioluminescence tomography where inhomogeneous optical properties are modeled using t...