12774 search results - page 2491 / 2555 » A Framework for Proof Systems |
HPDC
2006
IEEE
14 years 2 months ago
2006
IEEE
Parallel sequence-search tools are rising in popularity among computational biologists. With the rapid growth of sequence databases, database segmentation is the trend of the futu...
ICNP
2006
IEEE
14 years 2 months ago
2006
IEEE
— The Internet is a complex structure arising from the interconnection of numerous autonomous systems (AS), each exercising its own administrative policies to reflect the commer...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— In this paper we predict the amount of slip an exploration rover would experience using stereo imagery by learning from previous examples of traversing similar terrain. To do t...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— A key function for network traffic monitoring and analysis is the ability to perform aggregate queries over multiple data streams. Change detection is an important primitive w...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— In this paper, we propose a simulation framework, TranSim, that reduces the rate at which packet-events are generated, in order to accelerate large-scale simulation of IP netwo...