215 search results - page 34 / 43 » Church-Rosser Made Easy |
IRI
2007
IEEE
14 years 1 months ago
2007
IEEE
Packaging software assets for reuse can improve the potential for others to adopt the software. Packaging the software with appropriate documentation and other resources can facil...
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
We present a research effort into the application of semantic web methods and technologies to address the challenging problem of integrating heterogeneous volcanic and atmospheri...
EVOW
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Overcompression is the process of post-processing compressed images to gain either further size reduction or improved quality. This is made possible by the fact that the ...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— Reliable navigation is a very important part of an autonomous mobile robot system. This means for instance that the robot should not lose track of its position, even if unexpec...