3166 search results - page 514 / 634 » Translation By Structural Correspondences |
157
click to vote
EDOC
1997
IEEE
15 years 10 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...
133
click to vote
VTS
1997
IEEE
15 years 10 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,...
156
click to vote
PODS
1997
ACM
15 years 10 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...
174
click to vote
VRST
1997
ACM
15 years 10 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...
187
click to vote
APSEC
1996
IEEE
15 years 10 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...