21324 search results - page 394 / 4265 » Making the case for computing |
133
click to vote
ICAC
2007
IEEE
15 years 11 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
137
click to vote
JUCS
2010
14 years 12 months ago
2010
: We investigate the relationship between computable metric spaces (X, d, ) and (X, d, ), where (X, d) is a given metric space. In the case of Euclidean space, and are equivalent ...
148
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
170
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
One of the key steps in economy based grid resource allocation is to make reasonable prices for the grid resources. For resources’ prices decide the resource flow in the Grid, f...
134
click to vote
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
The problem of Writer Verification is to make a decision of whether or not two handwritten documents are written by the same person. Providing a strength of evidence for any such ...