1969 search results - page 220 / 394 » Financial Theory 1 |
180
click to vote
CADE
2007
Springer
16 years 21 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
181
click to vote
MEMOCODE
2006
IEEE
16 years 16 days ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
171
click to vote
COMPGEOM
2006
ACM
16 years 15 days ago
2006
ACM
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...
179
click to vote
SPAA
2006
ACM
16 years 14 days ago
2006
ACM
One of the fundamental trade-offs in compact routing schemes is between the space used to store the routing table on each node and the stretch factor of the routing scheme – th...
209
click to vote
IWLCS
2005
Springer
16 years 21 hour ago
2005
Springer
Aiming to clarify the convergence or divergence conditions for Learning Classifier System (LCS), this paper explores: (1) an extreme condition where the reinforcement process of ...