6413 search results - page 165 / 1283 » Classes of cycle bases |
182
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
174
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
We consider the problem of coloring a planar graph with the minimum number of colors so that each color class avoids one or more forbidden graphs as subgraphs. We perform a detail...
188
click to vote
TSP
2008
15 years 6 months ago
2008
Markov random fields are designed to represent structured dependencies among large collections of random variables, and are well-suited to capture the structure of real-world sign...
163
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
A cache access time model, PRACTICS (PRedictor of Access and Cycle TIme for Cache Stack), has been developed to optimize the memory array architecture for the minimum access and c...
167
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— Trotting and galloping allow a quadruped to rapidly traverse rough terrain. Modeling this motion, which is only dynamically stable, is of importance for legged robot operation ...