7326 search results - page 1073 / 1466 » Methods for modalities 3 |
181
click to vote
WAOA
2007
Springer
16 years 1 months ago
2007
Springer
We consider the following distributed optimization problem: three agents i = 1, 2, 3 are each presented with a load drawn independently from the same known prior distribution. Then...
171
click to vote
TPHOL
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...
188
click to vote
3DGIS
2006
Springer
16 years 1 months ago
2006
Springer
The objective of this work is to define procedures to improve spatial resolution of SRTM data and to evaluate their applicability in the Serra Negra region, in the district of Pat...
231
click to vote
ICA3PP
2005
Springer
16 years 1 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
213
click to vote
MM
2004
ACM
16 years 1 months ago
2004
ACM
We propose a framework to achieve bandwidth efficient, error robust and bitrate scalable audio streaming. Our approach is compatible with most audio compression format. The main c...