36320 search results - page 310 / 7264 » From Code to Models |
188
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
We presen t a multiview method for the computation of object shape and re ectance characteristics based on the integration of shape from shading (SFS) and stereo, for nonconstan t...
212
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
188
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
Despite the fact that electronic publishing is a common activity to scholars, electronic journals are still based in the print model and do not take full advantage of the faciliti...
193
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
157
click to vote
CSC
2006
15 years 8 months ago
2006
-- A computer program has been developed to simulate the helium atom scattering from stepped surface for both up hill and down hill scattering with diffraction kinematics chosen to...