5506 search results - page 295 / 1102 » Visualizing Software Changes |
162
click to vote
LREC
2010
15 years 8 months ago
2010
This paper describes a software toolkit for the interactive display and analysis of automatically extracted or manually derived annotation features of visual and audio data. It ha...
170
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Current imaging methods such as Magnetic Resonance Imaging (MRI), Confocal microscopy, Electron Microscopy (EM) or Selective Plane Illumination Microscopy (SPIM) yield...
156
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
164
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
149
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...