8874 search results - page 291 / 1775 » A New Implementation of Automath |
184
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Existing transport protocols, be it TCP, SCTP or DCCP, do not provide an efficient congestion control mechanism for heterogeneous wired-cum-wireless networks. Solutions involving i...
150
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
Various extensions of the tanh-function method and their implementations for finding explicit travelling wave solutions to nonlinear partial differential equations (PDEs) have bee...
138
click to vote
CGA
2006
15 years 6 months ago
2006
We discuss work carried out at the University of Salford (UK) and INESC-id (Portugal) on the design and implementation of interactive dramas in 3D graphics environments. We presen...
201
click to vote
JEA
2008
15 years 6 months ago
2008
Suffix arrays are a simple and powerful data structure for text processing that can be used for full text indexes, data compression, and many other applications in particular in b...
159
click to vote
JC
2007
15 years 6 months ago
2007
Compressed sensing is a new area of signal processing. Its goal is to minimize the number of samples that need to be taken from a signal for faithful reconstruction. The performan...