1567 search results - page 195 / 314 » A Mechanized Model of the Theory of Objects |
180
click to vote
PLPV
2011
ACM
14 years 4 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
IOLTS
2002
IEEE
15 years 6 months ago
2002
IEEE
A silicon independent C-Based model of the TTP/C protocol was implemented within the EU-founded project FIT. The C-based model is integrated in the C-Sim simulation environment. T...
108
click to vote
CGI
1999
IEEE
15 years 6 months ago
1999
IEEE
Many activities in computer graphics can be regarded as experiments on virtual objects or models. In the process of experimentation the existing models are gradually improved and ...
WSC
1998
15 years 3 months ago
1998
The article deals with the development of simulation models for the semiconductor industry at the Technical University of Ilmenau. Hereby, the main focus is set on the development...
115
click to vote
CVPR
1998
IEEE
16 years 3 months ago
1998
IEEE
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...