799 search results - page 135 / 160 » Generating Reliable Code from Hybrid-Systems Models |
IGARSS
2009
13 years 7 months ago
2009
A problem when working with optical satellite or airborne images is the need to compensate for changes in the illumination conditions at the time of acquisition. This is particula...
CODES
2006
IEEE
13 years 11 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
PLDI
2012
ACM
12 years 9 days ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
BMCBI
2005
13 years 9 months ago
2005
Background: Expressed Sequence Tags (ESTs) are short and error-prone DNA sequences generated from the 5' and 3' ends of randomly selected cDNA clones. They provide an im...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Independent component analysis (ICA) is not only popular for blind source separation but also for unsupervised learning when the observations can be decomposed into some independe...