7121 search results - page 356 / 1425 » Functions as Session-Typed Processes |
118
click to vote
JSAC
2006
15 years 6 months ago
2006
This manuscript introduces a mathematically tractable and accurate model of narrowband power line noise based on experimental measurements. In this paper, the noise is expressed as...
153
click to vote
ISF
2007
15 years 6 months ago
2007
This article discusses methods to support assurance of surveillance monitoring; and compliance verification knowledge management (CV-KM). The discussion includes aspects of primar...
168
click to vote
VC
2008
15 years 6 months ago
2008
Particle-based simulations are widely used to simulate fluids. We present a real-time rendering method for the results of particle-based simulations of water. Traditional approache...
135
click to vote
LISP
2007
15 years 6 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
184
click to vote
SWARM
2010
SPRINGER
15 years 5 months ago
2010
SPRINGER
Abstract. Inspired by observing fireworks explosion, a novel swarm intelligence algorithm, called Fireworks Algorithm (FA), is proposed for global optimization of complex function...