871 search results - page 107 / 175 » The vertex-cover polynomial of a graph |
182
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper considers a relay-assisted bidirectional cellular network where the base station (BS) communicates with each mobile station (MS) using orthogonal frequency-division mult...
459
click to vote
IPMI
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Multi-object segmentation with mutual interaction is a challenging task in medical image analysis. We report a novel solution to a segmentation problem, in which target o...
134
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
A recent flooding algorithm [1] guaranteed correctness for networks with dynamic edges and fixed nodes. The algorithm provided a partial answer to the highly dynamic network (HDN)...
177
click to vote
ISSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
161
click to vote
CONCUR
2007
Springer
16 years 11 days ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...