2351 search results - page 351 / 471 » A Method of Requirement Inconsistency Analysis |
114
click to vote
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
Many computer vision algorithms such as object tracking and event detection assume that a background model of the scene under analysis is known. However, in many practical circums...
SADM
2011
14 years 5 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
TSE
2011
14 years 5 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
A scalable blind source separation paradigm aimed at sensor networks is described. The approach facilitates an unlimited number of sensors and sources and does not require a fusio...
191
click to vote
SPIN
2012
Springer
13 years 13 days ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...