334 search results - page 65 / 67 » Interactive motion generation from examples |
147
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
127
Voted
TCC
2009
Springer
16 years 3 months ago
2009
Springer
It is well known that universally composable multiparty computation cannot, in general, be achieved in the standard model without setup assumptions when the adversary can corrupt a...
107
Voted
PATAT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
157
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
120
Voted
DATAMINE
2008
15 years 2 months ago
2008
Learning from imbalanced datasets presents a convoluted problem both from the modeling and cost standpoints. In particular, when a class is of great interest but occurs relatively...