2542 search results - page 135 / 509 » One step ahead |
LICS
1996
IEEE
14 years 1 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
SI3D
1992
ACM
14 years 1 months ago
1992
ACM
Designing the illumination of a scene is a di cult task because one needs to render the whole scene in order to look at the result. Obtaining the correct lighting e ects may requi...
CAISE
2009
Springer
14 years 1 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
CAIP
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a novel texture descriptor based on the wavelet transform. First, we will consider vertical and horizontal coefficients at the same position as the components o...
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract-- Shotgun sequencing is the state-of-the-art to decode genome sequence. However this technique needs a lot of fragments. Combining those fragments correctly requires enorm...