7623 search results - page 1002 / 1525 » Constructive Volume Modeling |
220
click to vote
CAD
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a novel feature based parameterization approach of human bodies from the unorganized cloud points and the parametric design method for generating new models ba...
214
click to vote
SCP
2010
15 years 5 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
225
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...
207
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
190
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Many ranking models have been proposed in information retrieval, and recently machine learning techniques have also been applied to ranking model construction. Most of the existin...