3055 search results - page 522 / 611 » Randomized Search Trees |
113
click to vote
JUCS
2006
15 years 2 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
120
click to vote
NAR
2008
15 years 2 months ago
2008
The Generation Challenge Programme (GCP; www.generationcp.org) has developed an online resource documenting stress-responsive genes comparatively across plant species. This public...
131
Voted
CG
2004
Springer
15 years 2 months ago
2004
Springer
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
105
click to vote
NAR
2007
15 years 2 months ago
2007
Snap (Single Nucleotide Polymorphism Annotation Platform) is a server designed to comprehensively analyze single genes and relationships between genes basing on SNPs in the human ...
114
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— In this work, we present an integrated planner for collision-free single and dual arm grasping motions. The proposed Grasp-RRT planner combines the three main tasks needed for ...