Sciweavers

2725 search results - page 321 / 545
» Constraint Solving for Interpolation
Sort
View
ICST
2008
IEEE
16 years 17 days ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
IROS
2008
IEEE
141views Robotics» more  IROS 2008»
16 years 17 days ago
Kinodynamic gait planning for full-body humanoid robots
Abstract— This paper proposes the kinodynamic gait planning for humanoid robots where both kinematics and dynamics of the system are considered. We can simultaneously plan both t...
Kensuke Harada, Mitsuharu Morisawa, Kanako Miura, ...
FOCI
2007
IEEE
16 years 14 days ago
A New Reduction from 3SAT to n-Partite Graphs
— The Constraint Satisfaction Problem (CSP) is one of the most prominent problems in artificial intelligence, logic, theoretical computer science, engineering and many other are...
Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, ...
144
Voted
IROS
2007
IEEE
309views Robotics» more  IROS 2007»
16 years 13 days ago
3D relative pose estimation from distance-only measurements
Abstract— In this paper, we develop an algorithm for determining the relative position and attitude of two robots moving in 3D, using only dead-reckoning and inter-robot distance...
Nikolas Trawny, Xun S. Zhou, Ke X. Zhou, Stergios ...
RTAS
2007
IEEE
16 years 12 days ago
Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
Unmesh D. Bordoloi, Samarjit Chakraborty