Sciweavers

1199 search results - page 118 / 240
» How to Compare the Power of Computational Models
Sort
View
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 12 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
EWSN
2008
Springer
16 years 6 months ago
Characterizing Mote Performance: A Vector-Based Methodology
Sensors networks instrument the physical space using motes that run network embedded programs thus acquiring, processing, storing and transmitting sensor data. The motes commercial...
Martin Leopold, Marcus Chang, Philippe Bonnet
ERCIMDL
2004
Springer
104views Education» more  ERCIMDL 2004»
15 years 12 months ago
Servicing the Federation: The Case for Metadata Harvesting
The paper presents a comparative analysis of data harvesting and distributed computing as complementary models of service delivery within large-scale federated digital libraries. I...
Fabio Simeoni
MOBICOM
2010
ACM
15 years 6 months ago
Directional antenna diversity for mobile devices: characterizations and solutions
We report a first-of-its-kind realization of directional transmission for smartphone-like mobile devices using multiple passive directional antennas, supported by only one RF chai...
Ardalan Amiri Sani, Lin Zhong, Ashutosh Sabharwal
CVPR
2007
IEEE
16 years 8 months ago
Topology Preserving Log-Unbiased Nonlinear Image Registration: Theory and Implementation
In this paper, we present a novel framework for constructing large deformation log-unbiased image registration models that generate theoretically and intuitively correct deformati...
Igor Yanovsky, Paul M. Thompson, Stanley Osher, Al...