Sciweavers

1068 search results - page 112 / 214
» For completeness, sublogarithmic space is no space
Sort
View
AIPS
2009
13 years 10 months ago
Ant Search Strategies For Planning Optimization
In this paper a planning framework based on Ant Colony Optimization techniques is presented. It is well known that finding optimal solutions to planning problems is a very hard co...
Marco Baioletti, Alfredo Milani, Valentina Poggion...
AICOM
2010
92views more  AICOM 2010»
13 years 9 months ago
SOLAR: An automated deduction system for consequence finding
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, O...
ALIFE
2010
13 years 9 months ago
Codd's Self-Replicating Computer
Edgar Codd's 1968 design for a self-replicating cellular automata machine has never been implemented. Partly this is due to its enormous size but we have also identified four...
Tim J. Hutton
CGA
2008
13 years 9 months ago
Legible Simplification of Textured Urban Models
Mesh simplification and discrete levels of detail (LOD) are wellstudied areas of research in computer graphics. However, until recently, most of the developed algorithms have focu...
Remco Chang, Thomas Butkiewicz, Caroline Ziemkiewi...
IJHR
2008
155views more  IJHR 2008»
13 years 8 months ago
The Challenge of Motion Planning for Soccer Playing Humanoid Robots
Motion planning for humanoids faces several challenging issues: high dimensionality of the configuration space, necessity to address balance constraints in single and double suppo...
Stefano Carpin, Marcelo Kallmann, Enrico Pagello