16430 search results - page 926 / 3286 » On Computable Tree Functions |
212
click to vote
CAAP
1990
15 years 11 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
200
click to vote
CTRSA
2008
Springer
15 years 9 months ago
2008
Springer
We motivate and describe the problem of finding protocols for multiparty computations that only use a single broadcast round per computation (latency-free computations). We show t...
223
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
168
click to vote
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
A major contributing factor to the complexity of creating and evolving distributed systems is the tangling of middleware-specific functionality with core business functionality in...
218
click to vote
ECCV
2002
Springer
16 years 9 months ago
2002
Springer
Abstract. Brightness values of pixels in an image are related to image irradiance by a non-linear function, called the radiometric response function. Recovery of this function is i...