7289 search results - page 227 / 1458 » A Dependent Set Theory |
197
click to vote
PODC
2010
ACM
15 years 9 months ago
2010
ACM
An edge dominating set for a graph G is a set D of edges such that each edge of G is in D or adjacent to at least one edge in D. This work studies deterministic distributed approx...
146
click to vote
IJRR
2010
15 years 4 months ago
2010
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
160
click to vote
IPMI
2005
Springer
16 years 6 months ago
2005
Springer
We present a method for segmenting white matter tracts from high angular resolution diffusion MR images by representing the data in a 5 dimensional space of position and orientatio...
170
click to vote
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
16 years 15 hour ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
143
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...