10304 search results - page 1823 / 2061 » Computer science with the sciences: an emphasis in computati... |
EJWCN
2010
14 years 8 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...
160
click to vote
IHI
2010
14 years 8 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...
128
click to vote
JDCTA
2010
14 years 8 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...
112
click to vote
SIAMREV
2010
14 years 8 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...
121
click to vote
TRANSCI
2010
14 years 8 months ago
2010
Consider the following game. Given a network with a continuum of users at some origins, suppose that users wish to reach specic destinations, but that they are not indierent to the...