9405 search results - page 160 / 1881 » Computing a Model of Set Theory |
111
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
142
click to vote
AB
2008
Springer
15 years 9 months ago
2008
Springer
Biochemical models that exhibit bistability are of interest to biologists and mathematicians alike. Chemical reaction network theory can provide sufficient conditions for the exist...
101
click to vote
IEEECGIV
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a novel approach to the problem of hairstyle construction from raw surface data such as the ones obtained from surface scans. Our approach is based on a shape matching ...
112
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
We present a case study to demonstrate the possibility of discovering complex and interesting latent structures using hierarchical latent class (HLC) models. A similar effort was m...
156
click to vote
IACR
2011
14 years 2 months ago
2011
Secure multiparty computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as we...