Sciweavers

1604 search results - page 265 / 321
» A Functional Approach to Generation with TAG
Sort
View
CISIS
2007
IEEE
15 years 10 months ago
Obtaining Performance Measures through Microbenchmarking in a Peer-to-Peer Overlay Computer
: 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...
Paolo Bertasi, Mauro Bianco, Andrea Pietracaprina,...
ICRA
2007
IEEE
154views Robotics» more  ICRA 2007»
15 years 10 months ago
Path Planning for Planetary Exploration Rovers and Its Evaluation based on Wheel Slip Dynamics
— 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...
Genya Ishigami, Keiji Nagatani, Kazuya Yoshida
IROS
2007
IEEE
250views Robotics» more  IROS 2007»
15 years 10 months ago
Multi-cue 3D object recognition in knowledge-based vision-guided humanoid robot system
— 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...
Kei Okada, Mitsuharu Kojima, Satoru Tokutsu, Toshi...
PG
2007
IEEE
15 years 10 months ago
Lighting Details Preserving Photon Density Estimation
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...
Robert Herzog, Hans-Peter Seidel
APN
2007
Springer
15 years 10 months ago
Improving Static Variable Orders Via Invariants
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 ...
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqi...