1604 search results - page 144 / 321 » Development Separation in Lambda-Calculus |
IJON
2006
13 years 10 months ago
2006
There is a trend to develop blind or semi-blind source extraction algorithms based on second-order statistics, due to its low computation load and fast processing speed. An import...
JUCS
2008
13 years 10 months ago
2008
: The European Regulator Group (ERG) defines Bitstream Access Service as a wholesale service offered by a broadband network operator with significant market power to an Internet Se...
KBS
2008
13 years 10 months ago
2008
Image registration is the process of geometrically aligning images taken from different sensors, viewpoints or instances in time. It plays a key role in the detection of defects o...
ENTCS
2007
13 years 10 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
FGCS
2007
13 years 10 months ago
2007
We report on our experiences so far with running a bioinformatics simulation study on a newly developed Grid architecture. We briefly describe the bioinformatics application – ...