3557 search results - page 319 / 712 » Authoring Presentation for OpenMath |
148
click to vote
APAL
2005
15 years 6 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
179
click to vote
ITA
2007
15 years 6 months ago
2007
We study the problem of learning regular tree languages from text. We show that the framework of function distinguishability as introduced by the author in Theoretical Computer Sc...
136
Voted
JAT
2007
15 years 6 months ago
2007
We derive new convergence results for the Schoenberg operator and more general quasi-interpolation operators. In particular, we prove that natural conditions on the generator func...
184
click to vote
JCP
2007
15 years 6 months ago
2007
— Integrity of digital documents is a very important issue if they are to be legally binding. Common solutions, like digital signatures or message authentication codes, are based...
181
click to vote
JNW
2007
15 years 6 months ago
2007
—Performance of IEEE 802.11 distributed coordination function (DCF) has been studied by several authors under steady-state conditions. Behavior of DCF under transient state condi...