11345 search results - page 2079 / 2269 » Foundations of Computer Science |
105
click to vote
EJWCN
2010
14 years 9 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
167
click to vote
IHI
2010
14 years 9 months ago
2010
The rising cost of healthcare is one of the major concerns faced by the nation. One way to lower healthcare costs and provide better quality care to patients is through the effect...
139
click to vote
JDCTA
2010
14 years 9 months ago
2010
Web service technology is one of the trend technologies in computer science now, and recently with the rapid growth of web services deployed with the same functionality, many rese...
128
click to vote
SIAMIS
2010
14 years 9 months ago
2010
Image restoration problems are often converted into large-scale, nonsmooth and nonconvex optimization problems. Most existing minimization methods are not efficient for solving su...
121
click to vote
SIAMREV
2010
14 years 9 months ago
2010
Suppose x and y are unit 2-norm n-vectors whose components sum to zero. Let P(x, y) be the polygon obtained by connecting (x1, y1), . . . , (xn, yn), (x1, y1) in order. We say that...