Sciweavers

3006 search results - page 350 / 602
» Overview
Sort
View
WCRE
2010
IEEE
15 years 3 months ago
Visually Supporting Source Code Changes Integration: The Torch Dashboard
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
Veroonica Uquillas Gomez, Stéphane Ducasse,...
IGARSS
2009
15 years 2 months ago
Developing a New Automated Tool for Detecting and Monitoring Dust and Sand Storms using MODIS and Meteosat SEVIRI-MSG Data
In the last three decades, significant advances have been made in mapping and monitoring environmental changes from Earth Observation satellites across a range of spatial and temp...
Hosni Ghedira, Adnan Al Rais
NAR
2011
209views Computer Vision» more  NAR 2011»
14 years 7 months ago
CancerResource: a comprehensive database of cancer-relevant proteins and compound interactions supported by experimental knowled
During the development of methods for cancer diagnosis and treatment, a vast amount of information is generated. Novel cancer target proteins have been identified and many compoun...
Jessica Ahmed, Thomas Meinel, Mathias Dunkel, Manu...
CASE
2011
70views more  CASE 2011»
14 years 4 months ago
Automation of assembly and packaging at the micro/nano-scale
— This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at...
Micky Rakotondrabe, Yassine Haddab, Cédric ...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 11 days ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...