891 search results - page 173 / 179 » Full Abstraction for PCF |
105
click to vote
CIKM
2010
Springer
15 years 12 days ago
2010
Springer
Scientists depend on literature search to find prior work that is relevant to their research ideas. We introduce a retrieval model for literature search that incorporates a wide ...
121
click to vote
ICA
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. The recovery of the mixture of an N-dimensional signal generated by N independent processes is a well studied problem (see e.g. [1,10]) and robust algorithms that solve t...
136
Voted
LATINCRYPT
2010
15 years 7 days ago
2010
the full version of the extended abstract which appears in Latincrypt '10 (august 8-11, 2010, Puebla, Mexico) M. Abdalla and P. Barreto Eds., Springer-Verlag, LNCS 6212, pages...
128
Voted
MP
2010
15 years 7 days ago
2010
Abstract. We present a null-space primal-dual interior-point algorithm for solving nonlinear optimization problems with general inequality and equality constraints. The algorithm a...
146
Voted
PVM
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...