950 search results - page 119 / 190 » Modified global k |
SSS
2010
Springer
13 years 8 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
SIAMCO
2011
13 years 5 months ago
2011
We consider Bayesian information collection, in which a measurement policy collects information to support a future decision. This framework includes ranking and selection, continu...
ICML
2003
IEEE
14 years 10 months ago
2003
IEEE
We present a new method for transductive learning, which can be seen as a transductive version of the k nearest-neighbor classifier. Unlike for many other transductive learning me...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
Indian business clusters have contributed immensely to the country's industrial output, poverty alleviation and employment generation. However, with recent globalization thes...
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...