4172 search results - page 530 / 835 » Computing Machinery and Understanding |
160
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
216
click to vote
CVPR
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently proposed Sobolev active contours introduced a new paradigm for minimizing energies defined on curves by changing the traditional cost of perturbing a curve and thereby re...
162
Voted
ECOOPW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
180
click to vote
EGICE
2006
15 years 8 months ago
2006
System identification is an abductive task which is affected by several kinds of modeling assumptions and measurement errors. Therefore, instead of optimizing values of parameters ...
172
Voted
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...