1969 search results - page 34 / 394 » Financial Theory 1 |
102
click to vote
MLQ
2006
15 years 4 months ago
2006
Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive ZermeloFraenkel Set Theory...
112
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
153
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Microeconomics offer a far developed theory on the subject of rational choice. This theory is applied to a multi-agent system, which has been modeled in order to establish schedul...
125
click to vote
NN
1998
Springer
15 years 4 months ago
1998
Springer
We experimented on task-level robot learning based on bi-directional theory. The via-point representation was used for ‘learning by watching’. In our previous work, we had a r...
162
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In our previous work [1, 2] we studied detection of anomalies in packet arrival times for computer networks, most detection of denialof-service (DoS) attacks in Internet traffic....