1139 search results - page 95 / 228 » A New View On The Process Of Translation |
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
DEXA
2005
Springer
15 years 3 months ago
2005
Springer
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between di�...
WSCG
2004
14 years 11 months ago
2004
Volume rendering is a widespread method for displaying graphical models in fields such as medical visualization or engineering. The required image information is stored in a volum...
JAIR
2006
14 years 9 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
GRAPHITE
2007
ACM
15 years 1 months ago
2007
ACM
In this paper, we present a new method for surface-based shape reconstruction from a set of silhouette images. We propose to project the viewing cones from all viewpoints to the 3...