5863 search results - page 1012 / 1173 » On Model-Checking of P Systems |
125
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Well designed domain specific languages enable the easy expression of problems, the application of domain specific optimizations, and dramatic improvements in productivity for t...
126
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
To use heterogeneous and geographically distributed resources as a platform for parallel visualization is an intriguing topic of research. This is because of the immense potential...
160
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In an effort to ease the burden of programming motor commands for humanoid robots, a computer vision technique is developed for converting a monocular video sequence of human p...
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— An important tool in clarifying various theories governing the dynamics of rapid quadrupedal gaits, such as the trot and gallop, is the measurement of body attitude. Such measu...
132
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Although the human hand is a complex biomechanical system, only a small set of features may be necessary for observation learning of functional grasp classes. We explor...