3856 search results - page 461 / 772 » Models for Automated Earthmoving |
146
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a non-rigid registration technique that achieves spatial, photometric, and visibility accuracy. It lets us photo-realistically augment 3D deformable surfaces under comp...
177
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
158
click to vote
BTW
2007
Springer
16 years 26 days ago
2007
Springer
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...
170
click to vote
ECSA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
177
click to vote
ECSQARU
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...