2082 search results - page 6 / 417 » Change Paths in Reasoning! |
BIOINFORMATICS
2012
11 years 10 months ago
2012
d Abstract) Leonid Chindelevitch1 , Daniel Ziemek1, , Ahmed Enayetallah2 , Ranjit Randhawa1 , Ben Sidders3 , Christoph Brockel4 , and Enoch Huang1 1 Computational Sciences Center o...
ICNP
2003
IEEE
14 years 24 days ago
2003
IEEE
BGP has been deployed in Internet for more than a decade. However, the events that cause BGP topological changes are not well understood. Although large traces of routing updates ...
NOMS
2008
IEEE
14 years 1 months ago
2008
IEEE
—Interdomain routes change over time, and it is impressive to observe up to which extent. Routes may change many times in the same day and sometimes in the same hour or minute. S...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper, we propose a path planning method for nonholonomic multi-vehicle system in presence of moving obstacles. The objective is to find multiple fixed length paths f...
ASPDAC
2004
ACM
14 years 28 days ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...