8874 search results - page 303 / 1775 » A New Implementation of Automath |
143
click to vote
FLAIRS
2008
15 years 9 months ago
2008
This paper describes the efforts undertaken in an international research project LT4eL from the perspective of one of the participating languages, Czech. The project aims at explo...
170
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Scientific evaluation is based for the most part on citation analysis. The phenomena of citation is not yet well studied. The use of the Contextual Exploration technique that allo...
185
click to vote
APVIS
2008
15 years 8 months ago
2008
We define the concept of crossing numbers for simultaneous graphs by extending the crossing number problem of traditional graphs. We discuss differences to the traditional crossin...
155
click to vote
INFORMATIKTAGE
2008
15 years 8 months ago
2008
: This thesis focuses on the practical aspects of general two-party Secure Function Evaluation (SFE). A new SFE protocol that allows free evaluation of XOR gates and is provably se...
179
click to vote
TNC
2004
15 years 8 months ago
2004
To engage Internet2 users in an exploration of peer-to-peer, real-time communications, these users require connectivity. Superior networking connectivity alone is not sufficient. ...