3166 search results - page 514 / 634 » Translation By Structural Correspondences |
105
Voted
EDOC
1997
IEEE
15 years 5 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
81
Voted
VTS
1997
IEEE
15 years 5 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
89
Voted
PODS
1997
ACM
15 years 5 months ago
1997
ACM
During the 1980's there was a lot of activity in the area of Statistical Databases, focusing mostly on socio-economic type applications, such as census data, national product...
119
Voted
VRST
1997
ACM
15 years 5 months ago
1997
ACM
We present a new method for rendering novel images of flexible 3D objects from a small number of example images in correspondence. The strength of the method is the ability to sy...
123
click to vote
APSEC
1996
IEEE
15 years 5 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...