1984 search results - page 253 / 397 » The colourful feasibility problem |
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
177
click to vote
IJPP
2008
15 years 5 months ago
2008
Analyzing gene expression patterns is becoming a highly relevant task in the Bioinformatics area. This analysis makes it possible to determine the behavior patterns of genes under...
192
click to vote
MICS
2008
15 years 5 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
172
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
164
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We consider the kinematic control problem for nonholonomic mobile manipulators (NMMs) whose base contains steering wheels. For all typical tasks, the steering velocity inputs o...