Sciweavers

1511 search results - page 93 / 303
» Relational Parametricity for Computational Effects
Sort
View
WIOPT
2011
IEEE
14 years 8 months ago
Lower bounds on the success probability for ad hoc networks with local FDMA scheduling
—This paper studies the performance of ad hoc networks with local FDMA scheduling using stochastic point processes. In such networks, the Poisson assumption is not justified due...
Ralph Tanbourgi, Jens P. Elsner, Holger Jäkel...
ICCV
1998
IEEE
16 years 6 months ago
Shading Primitives: Finding Folds and Shallow Grooves
Diffuse interreflections cause effects that make current theories of shape from shading unsatisfactory. We show that distant radiating surfaces produce radiosity effects at low sp...
John A. Haddon, David A. Forsyth
ICAD
2004
15 years 6 months ago
The Audio Abacus: Representing a Wide Range of Values with Accuracy and Precision
Point estimation is a relatively unexplored facet of sonfication. We present a new computer application, the Audio Abacus, designed to transform numbers into tones following the a...
Bruce N. Walker, Lisa M. Mauney, Justin Godfrey
151
Voted
TIP
2002
110views more  TIP 2002»
15 years 4 months ago
Localization based on DEM matching using multiple aerial image pairs
This paper proposes the localization algorithm that estimates translation parameters of an aircraft by comparing the sampled elevation map recovered from aerial sequence images, an...
Dong-Gyu Sim, Rae-Hong Park
GROUP
2007
ACM
15 years 8 months ago
Unpacking the social dimension of external interruptions
The paper systematically explores the social dimension of external interruptions of human activities. Interruptions and interruption handling are key issues in human-computer inte...
Rikard Harr, Victor Kaptelinin