7890 search results - page 481 / 1578 » The MathSAT 3 System |
172
click to vote
CHINAF
2008
15 years 7 months ago
2008
Pairing-based cryptosystems have been developing very fast in the last few years. The efficiencies of the cryptosystems are determined by the computation of the Tate pairing. In th...
182
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
IGW is a software environment for real-time 2D and 3D groundwater modeling. The software functions as a ``numerical laboratory'' in which the modeler can freely explore:...
177
click to vote
IJISTA
2008
15 years 6 months ago
2008
: We present techniques for computing 3D velocity fields from range data acquired with cameras working on the principles of modulation based Time-Of-Flight measurement. We derive a...
194
click to vote
IIE
2006
15 years 6 months ago
2006
We present a collaborative learning tool for programming, Jeliot Collaboratively or JeCo. Jeliot Collaboratively is a combination of a program visualization tool for Java programs,...
176
click to vote
TCS
2008
15 years 6 months ago
2008
We study the computational power of pure insertion grammars. We show that pure insertion grammars of weight 3 can characterize all recursively enumerable languages. This is achiev...