1389 search results - page 164 / 278 » Definability as hypercomputational effect |
PLDI
2010
ACM
14 years 7 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
WISE
2009
Springer
14 years 7 months ago
2009
Springer
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
Current uses of tagged images typically exploit only the most explicit information: the link between the nouns named and the objects present somewhere in the image. We propose to ...
HICSS
2010
IEEE
14 years 4 months ago
2010
IEEE
Defining requirements without satisfying success critical stakeholders often leads to expensive project failures. Enabling interdisciplinary stakeholders to rapidly and effectivel...
ACIIDS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Bandwidth allocation is a fundamental problem in communication networks. With current network moving towards the Future Internet model, the problem is further intensified as net...