Sciweavers

1011 search results - page 183 / 203
» The three dimensions of proofs
Sort
View
LSSC
2007
Springer
15 years 6 months ago
Bridging Methods for Coupling Atomistic and Continuum Models
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
Santiago Badia, Pavel B. Bochev, Max Gunzburger, R...
BROADNETS
2006
IEEE
15 years 6 months ago
SeeMote: In-Situ Visualization and Logging Device for Wireless Sensor Networks
In this paper we address three challenges that are present when building and analyzing wireless sensor networks (WSN) as part of ubiquitous computing environment: the need for an ...
Leo Selavo, Gang Zhou, John A. Stankovic
ICPP
2006
IEEE
15 years 6 months ago
A Formal Analysis of Space Filling Curves for Parallel Domain Decomposition
Space filling curves (SFCs) are widely used for parallel domain decomposition in scientific computing applications. The proximity preserving properties of SFCs are expected to k...
Srikanta Tirthapura, Sudip Seal, Srinivas Aluru
INFOCOM
2006
IEEE
15 years 6 months ago
Theory and Network Applications of Dynamic Bloom Filters
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
Deke Guo, Jie Wu, Honghui Chen, Xueshan Luo
ICMCS
2005
IEEE
111views Multimedia» more  ICMCS 2005»
15 years 5 months ago
Manifold learning, a promised land or work in progress?
ABSTRACT In this paper, we report our experiments using a realworld image dataset to examine the effectiveness of Isomap, LLE and KPCA. The 1,897-image dataset we used consists of ...
Mei-Chen Yeh, I-Hsiang Lee, Gang Wu, Yi Wu, Edward...