36320 search results - page 6913 / 7264 » From Code to Models |
156
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
167
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper characterizes the workload seen at the storage subsystem of an e-commerce system. Measurements are conducted on multi-tiered systems running three different benchmarks,...
169
click to vote
SIBGRAPI
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a 3D face photography system based on a small set of training facial range images. The training set is composed by 2D texture and 3D range images (i.e. geometr...
181
click to vote
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
156
click to vote
3DIM
2007
IEEE
15 years 11 months ago
2007
IEEE
In order to construct three dimensional shape models of large scale architectures by a laser range finder, a number of range images are normally taken from various viewpoints and...