1188 search results - page 108 / 238 » Extended Graph Unification |
122
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— The problem of coverage of known space by a mobile robot has many applications. Of particular interest is providing a solution that guarantees the complete coverage of the free...
103
click to vote
WIOPT
2010
IEEE
15 years 27 days ago
2010
IEEE
—K-shell (or k-core) graph decomposition methods were introduced as a tool for studying the structure of large graphs. K-shell decomposition methods have been recently proposed [...
99
Voted
ENTCS
2011
14 years 9 months ago
2011
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of...
152
Voted
CC
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
120
Voted
AAAI
2012
13 years 5 months ago
2012
Widespread accounts of the harmful effects of invasive species have stimulated both practical and theoretical studies on how the spread of these destructive agents can be containe...