1604 search results - page 144 / 321 » Development Separation in Lambda-Calculus |
IJON
2006
15 years 3 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...
108
click to vote
JUCS
2008
15 years 3 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...
109
click to vote
KBS
2008
15 years 3 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...
109
click to vote
ENTCS
2007
15 years 3 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
15 years 3 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 – ...