16430 search results - page 785 / 3286 » On Computable Tree Functions |
202
click to vote
FSTTCS
2003
Springer
16 years 22 days ago
2003
Springer
Recently, Jain, Mahdian and Saberi [5] had given a FPTAS for the problem of computing a market equilibrium in the Arrow-Debreu setting, when the utilities are linear functions. The...
141
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
237
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
211
click to vote
HCI
1993
15 years 8 months ago
1993
There currently are 4 different views on human computer interaction in measuring interactive qualities: (1) the interaction-oriented view, (2) the user-oriented view, (3) the prod...
165
click to vote
AMC
2007
15 years 7 months ago
2007
In this contribution instances of a problem introduced by the differential cryptanalysis of Feistel cryptosystems are formulated as optimization tasks. The performance of Evoluti...