7326 search results - page 1073 / 1466 » Methods for modalities 3 |
165
Voted
WAOA
2007
Springer
16 years 29 days 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...
152
Voted
TPHOL
2006
IEEE
16 years 26 days 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, (...
162
Voted
3DGIS
2006
Springer
16 years 26 days 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...
203
Voted
ICA3PP
2005
Springer
16 years 11 days 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...
191
Voted
MM
2004
ACM
16 years 8 days 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...