1002 search results - page 177 / 201 » Towards Graph Programs for Graph Algorithms |
119
click to vote
SPIN
2010
Springer
15 years 9 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
107
click to vote
CLOUDCOM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...
110
click to vote
CONEXT
2010
ACM
14 years 12 months ago
2010
ACM
Client-server networks are pervasive, fundamental, and include such key networks as the Internet, power grids, and road networks. In a client-server network, clients obtain a serv...
117
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
Multiple phenomena often diffuse through a social network, sometimes in competition with one another. Product adoption and political elections are two examples where network diffus...
ICCV
2009
IEEE
16 years 6 months ago
2009
IEEE
User-provided object bounding box is a simple and
popular interaction paradigm considered by many existing
interactive image segmentation frameworks. However,
these frameworks t...