1604 search results - page 265 / 321 » A Functional Approach to Generation with TAG |
CISIS
2007
IEEE
14 years 2 months ago
2007
IEEE
: The availability of enormous amounts of un-used computing power and data storage over the In-ternet makes the development of a globally distributed computing platform, called Ove...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, a path planning and its evaluation method is described with taking into account wheel slip dynamics of lunar/planetary exploration rovers. The surface of the pla...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— A vision based object recognition subsystem on knowledge-based humanoid robot system is presented. Humanoid robot system for real world service application must integrate an ob...
PG
2007
IEEE
14 years 2 months ago
2007
IEEE
Standard density estimation approaches suffer from visible bias due to low-pass filtering of the lighting function. Therefore, most photon density estimation methods have been us...
APN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...