5879 search results - page 19 / 1176 » Separation - Past, Present, and Future |
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
ICCCN
2007
IEEE
15 years 3 months ago
2007
IEEE
While research on cross-layer network optimization has been progressing, useful implementations have been lagging because the current Internet architecture does not accommodate cro...
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
The intrinsic image decomposition aims to retrieve “intrinsic”
properties of an image, such as shading and reflectance.
To make it possible to quantitatively compare
differe...
LCN
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper presents measurements of radio interference using ”Ambient µNode” sensor nodes. We varied distances and frequencies giving us a measure of the amount of...
100
click to vote
IDEAL
2004
Springer
15 years 5 months ago
2004
Springer
Most financial time series processes are nonstationary and their frequency characteristics are time-dependant. In this paper we present a time series summarization and prediction ...