691 search results - page 108 / 139 » Equational Abstractions |
137
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. GeoFEM has been developed as a finite element solid earth simulator using the Earth Simulator (ES) (35.61 Tflops/peak according to the Linpack benchmark test). It is comp...
124
click to vote
ICPR
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract—A novel approach for reconstruction of sparse highresolution data from lower-resolution dense spatio-temporal data is introduced. The basic idea is to compute the dense ...
134
Voted
ACNS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zeroknowledge (and witness-indistinguishable) proofs in bilinear groups. While av...
154
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Q-learning is a technique used to compute an optimal policy for a controlled Markov chain based on observations of the system controlled using a non-optimal policy. It ...
172
click to vote
SCALESPACE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a novel implicit approach for surface patch segmentation in 3D images starting from a single point. Since the boundary surface of an object is locally homeom...