36320 search results - page 6913 / 7264 » From Code to Models |
180
click to vote
LICS
2008
IEEE
16 years 1 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 ...
189
click to vote
QEST
2008
IEEE
16 years 1 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,...
203
click to vote
SIBGRAPI
2008
IEEE
16 years 1 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...
224
click to vote
WCRE
2008
IEEE
16 years 1 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...
179
click to vote
3DIM
2007
IEEE
16 years 1 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...