13784 search results - page 447 / 2757 » On Computing Functions with Uncertainty |
194
Voted
CGF
2005
15 years 6 months ago
2005
Current surface-based methods for interactive freeform editing of high resolution 3D models are very powerful, but at the same time require a certain minimum tessellation or sampl...
175
Voted
JMIV
2007
15 years 6 months ago
2007
Recently, a powerful two-phase method for restoring images corrupted with high level impulse noise has been developed. The main drawback of the method is the computational efficie...
208
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
171
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Performance of an application can be improved through augmenting the processor with Application specific Functional Units (AFUs). Usually a cluster of operations identified from th...
181
click to vote
ICIAP
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we describe a method for the reconstruction and visualization of functional models of monkey brains. Models are built through the registration of high resolution imag...