378 search results - page 66 / 76 » Traceability-Driven Model Refinement for Test Case Generatio... |
WSC
2007
13 years 9 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
TSP
2010
13 years 2 months ago
2010
A parametric generalized likelihood ratio test (GLRT) for multichannel signal detection in spatially and temporally colored disturbance was recently introduced by modeling the dist...
PASTE
2010
ACM
14 years 18 days ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...