7404 search results - page 636 / 1481 » New Tools in Education |
233
click to vote
ASIACRYPT
1992
Springer
15 years 11 months ago
1992
Springer
Collision resistant hash functions are an important basic tool for cryptographic applications such as digital signature schemes and integrity protection based on "fingerprinti...
213
click to vote
HYBRID
2000
Springer
15 years 11 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
221
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...
197
click to vote
CIMCA
2008
IEEE
15 years 9 months ago
2008
IEEE
On the one hand, mashups are a new kind of web application built upon the composition of different resources in a user-friendly way. Tools based on such concepts focus on graphic ...
138
click to vote
LREC
2010
15 years 9 months ago
2010
We present a new morphological processor for Biscayan, a dialect of Basque, developed on the description of the morphology of standard Basque. The database for the standard morpho...