5525 search results - page 879 / 1105 » Verification of Model Transformations |
156
click to vote
IAJIT
2008
15 years 4 months ago
2008
: This paper studies the impact of wireless technologies on enterprises. A multitude of new paradigms and new software technologies have emerged from the web. E-business and e-manu...
117
click to vote
IANDC
2008
15 years 4 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
131
click to vote
CGF
2007
15 years 4 months ago
2007
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...
106
click to vote
JFR
2008
15 years 4 months ago
2008
The usability of mobile robots for surveillance, search and rescue missions can be significantly improved by intelligent functionalities decreasing the cognitive load on the opera...
144
click to vote
PAMI
2008
15 years 4 months ago
2008
Defocus can be modeled as a diffusion process and represented mathematically using the heat equation, where image blur corresponds to the diffusion of heat. This analogy can be ext...