269 search results - page 44 / 54 » Computational soundness of observational equivalence |
100
click to vote
IJCV
2007
14 years 11 months ago
2007
This article presents a novel method for computing the visual hull of a solid bounded by a smooth surface and observed by a finite set of cameras. The visual hull is the intersect...
119
click to vote
TSC
2008
14 years 11 months ago
2008
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
111
click to vote
GRC
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract—Many experiments have shown that interval type2 (IT2) fuzzy PI controllers are generally more robust than their type-1 (T1) counterparts, as they are better able to cope...
102
click to vote
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
Among image restoration literature, there are mainly two kinds of approach. One is based on a process over image wavelet coefficients, as wavelet shrinkage for denoising. The other...
113
Voted
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...