26071 search results - page 5095 / 5215 » Making the |
118
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This paper addresses the following question: Is it possible to migrate TCP/IP flows between different networks on modern mobile devices, without infrastructure support or protocol...
115
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
92
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We study the calibration problem in circular ultrasound tomography devices for breast imaging, where the sensor positions deviate from the circumference of a perfect circle. We in...
98
Voted
DEBU
2010
14 years 10 months ago
2010
A great deal of research has been done on solid-state storage media such as flash memory and non-volatile memory in the past few years. While NAND-type flash memory is now being c...
134
Voted
DKE
2010
14 years 10 months ago
2010
Trajectories are spatio-temporal traces of moving objects which contain valuable information to be harvested by spatio-temporal data mining techniques. Applications like city traf...