6978 search results - page 1237 / 1396 » On Proofs in System P |
ICEIS
2007
IEEE
14 years 3 months ago
2007
IEEE
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. In this paper we propose and detail out...
IPPS
2007
IEEE
14 years 3 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...
IPPS
2007
IEEE
14 years 3 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...
IROS
2007
IEEE
14 years 3 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
14 years 3 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...